Detail publikace

Model-Based Design and Verification of Reactive Systems

ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, 2009, vol. 2009, no. 5717, p. 865-872. ISSN: 0302-9743.
Název česky
Modelem řízený návrh a verifikace reaktivních systémů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Hýsek Jiří, Ing.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova

model-based design, formal verification, state charts, reactive systems

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
Místo
Heidelberg
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"
}
Nahoru