Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ČEŠKA, M. HÝSEK, J. JANOUŠEK, V.
Originální název
Model-Based Design and Verification of Reactive Systems
Typ
článek v časopise - ostatní, Jost
Jazyk
angličtina
Originální abstrakt
The article is focused on a model-based design and verification of reactive systems. In opposite to common approaches to developing reliable systems, at first a model of a system is constructed in high level visual language, then it is verified on this level of abstraction and consequently a low level code for target platform is generated. In approach discussed in this article an UML statechart formalism is used for construction of the model. This model is translated into Promela model and verified by the SPIN model checker.
Klíčová slova
model-based design, formal verification, state charts, reactive systems
Autoři
ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V.
Rok RIV
2009
Vydáno
8. 9. 2009
Místo
Heidelberg
ISBN
978-3-642-04771-8
Kniha
Computer Aided Systems Theory - EUROCAST 2009
ISSN
0302-9743
Periodikum
Lecture Notes in Computer Science
Ročník
Číslo
5717
Stát
Spolková republika Německo
Strany od
865
Strany do
872
Strany počet
8
BibTex
@article{BUT46898, author="Milan {Češka} and Jiří {Hýsek} and Vladimír {Janoušek}", title="Model-Based Design and Verification of Reactive Systems", journal="Lecture Notes in Computer Science", year="2009", volume="2009", number="5717", pages="865--872", issn="0302-9743" }