Autor: Biernacki, J. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Tools and Methods for RTCP-Nets Modeling and Verification
Autorzy:: Szpyrka, M.
Biernacki, J.
Biernacka, A.
Powiązania:: https://bibliotekanauki.pl/articles/229254.pdf
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: RTCP-nets
Petri nets
model checking
coverability graphs
nuXmv
CADP
Opis:: RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems. It contains a survey of software tools developed to support RTCP-nets. Verification of RTCP-nets is based on coverability graphs which represent the set of reachable states in the form of directed graph. Two approaches to verification of RTCP-nets are considered in the paper. The former one is oriented towards states and is based on translation of a coverability graph into nuXmv (NuSMV) finite state model. The later approach is oriented towards transitions and uses the CADP toolkit to check whether requirements given as μ-calculus formulae hold for a given coverability graph. All presented concepts are discussed using illustrative examples.
Źródło:: Archives of Control Sciences; 2016, 26, 3; 339-365
1230-2384
Pojawia się w:: Archives of Control Sciences
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: A survey of Alvis communication modes
Autorzy:: Szpyrka, M.
Biernacki, J.
Matyasik, P.
Wypych, M.
Powiązania:: https://bibliotekanauki.pl/articles/397797.pdf
Data publikacji:: 2017
Wydawca:: Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:: Alvis language
communication modes
concurrent systems
real-time systems
język modelowania Alvis
tryby komunikacji
systemy współbieżne
systemy czasu rzeczywistego
Opis:: Concurrent systems appear natural and intuitive solution for many real IT problems. However, designing a more complex concurrent system is a difficult task. The main problem is that for systems that have more than several subsystems it becomes difficult to control their properties at the design stage. Applications of formal methods in the development process may remarkable reduce the problem. An important issue is to choose a suitable formal modelling language, that supports the required methods of communication between subsystems. The paper provides a survey of communication modes introduced to the Alvis modelling language and discusses how the communication modes may be used while modelling concurrent systems.
Źródło:: International Journal of Microelectronics and Computer Science; 2017, 8, 1; 1-9
2080-8755
2353-9607
Pojawia się w:: International Journal of Microelectronics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Wrażliwość społeczna na klęski żywiołowe — ujęcia teoretyczne i praktyka badawcza
Social vulnerability to natural disasters --Theoretical and empirical approaches
Autorzy:: Dzialek, J.
Biernacki, W.
Powiązania:: https://bibliotekanauki.pl/articles/2078751.pdf
Data publikacji:: 2014
Wydawca:: Uniwersytet Warszawski. Wydział Geografii i Studiów Regionalnych
Tematy:: kleski zywiolowe
analiza wrazliwosci
spoleczenstwo
wrazliwosc
zagrozenia naturalne
odpornosc czlowieka
grupy spoleczne
Źródło:: Prace i Studia Geograficzne; 2014, 55; 27-41
0208-4589
Pojawia się w:: Prace i Studia Geograficzne
Dostawca treści:: Biblioteka Nauki