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
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"
}
Nahoru