Skip to main content
SpringerLink
Log in

Model-Based Design and Verification of Reactive Systems

  • Conference paper
Computer Aided Systems Theory - EUROCAST 2009 (EUROCAST 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5717))

Included in the following conference series:

  • 1077 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rouquette, N.F., Neilson, T., Chen, G.: The 13th technology of Deep Space One. In: Proceedings of the 1999 IEEE Aerospace Conference, pp. 477–487 (1999)

    Google Scholar 

  2. Wagstaff, L.K., Peters, K., Scharenbroich, L.: From Protocol Specification to Statechart to Implementation. California Institute of Technology (2008)

    Google Scholar 

  3. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)

    Google Scholar 

  4. Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, London (2000)

    MATH  Google Scholar 

  5. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming (1987)

    Google Scholar 

  6. Homepage of SmallDEVS project, http://perchta.fit.vutbr.cz/projekty/10

  7. OMG. The Unified Modeling Language (UML) Specification - Version 1.4, Joint submission to the Object Management Group (OMG) (September 2001), http://www.omg.org/technology/uml/index.htm

Download references

Author information

Authors and Affiliations

  1. Faculty of Information Technology, Brno University of Technology, Božetěchova 2, 612 66, Brno, Czech Republic

    Jiří Hýsek, Milan Češka & Vladimír Janoušek

Authors
  1. Jiří Hýsek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Milan Češka
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vladimír Janoušek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Instituto Universitario de Ciencias y Tecnologías Cibernéticas, Universidad de Las Palmas de Gran Canaria, Campus de Tafira, 35017, Las Palmas de Gran Canaria, Las Palmas, Spain

    Roberto Moreno-Díaz  & Alexis Quesada-Arencibia  & 

  2. Institute of Systems Science, Johannes Kepler University Linz, Altenbergerstrasse 69, 4040, Linz, Austria

    Franz Pichler

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hýsek, J., Češka, M., Janoušek, V. (2009). Model-Based Design and Verification of Reactive Systems. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory - EUROCAST 2009. EUROCAST 2009. Lecture Notes in Computer Science, vol 5717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04772-5_111

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04772-5_111

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04771-8

  • Online ISBN: 978-3-642-04772-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation