- 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ł