Advertisement

Property-Driven Software Analysis

(Extended Abstract)
  • Mathieu Comptier
  • David DéharbeEmail author
  • Paulin Fournier
  • Julien Molinero-Perez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11800)

Abstract

Software in industrial products, such as in the railway industry, constantly evolves to meet new or changing requirements. For projects with a lifetime spanning decades (such as the control software for energy plants, for railway lines, etc.), keeping track of the original design rationale through time is a significant challenge.

Keywords

Formal methods Formal proof Software specification 

References

  1. 1.
    Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)CrossRefGoogle Scholar
  2. 2.
    Atelier, B.: CLEARSY Systems Engineering. http://atelierb.eu
  3. 3.
    Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg (2003).  https://doi.org/10.1007/978-3-540-45236-2_46. https://www3.hhu.de/stups/prob/CrossRefGoogle Scholar
  4. 4.
    Ordioni, J., Breton, N., Colaço, J.L.: HLL vol 2.7 Modelling Language Specification. Technical Report STF-16-01805, RATP, May 2018Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Mathieu Comptier
    • 1
  • David Déharbe
    • 1
    Email author
  • Paulin Fournier
    • 1
  • Julien Molinero-Perez
    • 1
  1. 1.CLEARSY Systems EngineeringAix-en-ProvenceFrance

Personalised recommendations