Journal article

ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science. 2009, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.
Publication language:english
Original title:Model-Based Design and Verification of Reactive Systems
Title (cs):Modelem řízený návrh a verifikace reaktivních systémů
Pages:865-872
Book:Computer Aided Systems Theory - EUROCAST 2009
Place:Heidelberg, DE
Year:2009
ISBN:978-3-642-04771-8
Journal:Lecture Notes in Computer Science, Vol. 2009, No. 5717, DE
ISSN:0302-9743
Keywords
model-based design, formal verification, state charts, reactive systems
Annotation
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.
BibTeX:
@ARTICLE{
   author = {Milan {\v{C}}e{\v{s}}ka and Ji{\v{r}}{\'{i}} H{\'{y}}sek and
	Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {Model-Based Design and Verification of Reactive Systems},
   pages = {865--872},
   booktitle = {Computer Aided Systems Theory - EUROCAST 2009},
   journal = {Lecture Notes in Computer Science},
   volume = {2009},
   number = {5717},
   year = {2009},
   location = {Heidelberg, DE},
   ISBN = {978-3-642-04771-8},
   ISSN = {0302-9743},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9099}
}

Your IPv4 address: 54.163.209.109
Switch to IPv6 connection

DNSSEC [dnssec]