Formalizing Hybrid Systems with Event-B

  • Jean-Raymond Abrial
  • Wen Su
  • Huibiao Zhu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7316)

Abstract

This paper contains the development of hybrid systems in Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples illustrate our approach.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Back, R.J., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transaction on Programming Languages and Systems 10(4), 513–554 (1988)MATHCrossRefGoogle Scholar
  2. 2.
    Back, R.-J., Petre, L., Porres, I.: Generalizing Action Systems to Hybrid Systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, p. 202. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  3. 3.
    Back, R.J., Cerschi Seceleanu, C., Westerholm, J.: Symbolic Simulation of Hybrid Systems. In: APSEC 2002 (2002)Google Scholar
  4. 4.
    Platzer, A.: Logical Analysis of Hybrid Systems. Springer (2010)Google Scholar
  5. 5.
    Platzer, A., Clarke, E.M.: Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 547–562. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Alur, R., et al.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138, 3–34 (1995)MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)Google Scholar
  8. 8.
  9. 9.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jean-Raymond Abrial
    • 1
  • Wen Su
    • 2
  • Huibiao Zhu
    • 2
  1. 1.MarseilleFrance
  2. 2.Software Engineering InstituteEast China Normal UniversityChina

Personalised recommendations