Detail publikace
Model-Based Design and Verification of Reactive Systems
ČEŠKA Milan, HÝSEK Jiří a JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, roč. 2009, č. 5717, s. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.
Název česky
Modelem řízený návrh a verifikace reaktivních systémů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Hýsek Jiří, Ing. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Hýsek Jiří, Ing. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Abstrakt
Tento článek je zaměřen na modelem řízený návrh a verifikaci reaktivních systémů. Narozdíl od běžných přístupů pro vývoj spolehlivých systémů je zde nejdříve za pomoci vyokoúrovňového vizuálního jazyka vytvořen model systému, ten je na této úrovni verifikován a následně je z něj generován nízkoúrovňový kód pro požadovanou platformu. Přístup diskutovaný v článku využívá pro návrh modelu stavové diagramy, které jsou součástí specifikace UML. Model je přeložen do jazyka Promela, v této podobě je verifikován model checkerem SPIN.
Rok
2009
Strany
865-872
Časopis
Lecture Notes in Computer Science, roč. 2009, č. 5717, ISSN 0302-9743
Kniha
Computer Aided Systems Theory - EUROCAST 2009
ISBN
978-3-642-04771-8
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
BibTeX
@ARTICLE{FITPUB9099, 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 = "https://www.fit.vut.cz/research/publication/9099" }