Publication detail

Model-Based Design and Verification of Reactive Systems

ČEŠKA, M. HÝSEK, J. JANOUŠEK, V.

Original Title

Model-Based Design and Verification of Reactive Systems

Type

journal article - other

Language

English

Original Abstract

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.

Keywords

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

Authors

ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V.

RIV year

2009

Released

8. 9. 2009

Location

Heidelberg

ISBN

978-3-642-04771-8

Book

Computer Aided Systems Theory - EUROCAST 2009

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Year of study

2009

Number

5717

State

Federal Republic of Germany

Pages from

865

Pages to

872

Pages count

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