Disruptive Innovations for the Development and the Deployment of Fault-Free Software

  • Thierry LecomteEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10951)


Developing safety critical systems is a very difficult task. Such systems require talented engineers, strong experience and dedication when designing the safety principles of these systems. Indeed it should be demonstrated that no failure or combination of failures may lead to a catastrophic situation where people could be injured or could die because of that system. This article presents disruptive technologies that reduce the effort to develop such systems by providing integrated building blocks easier to use.


Formal methods Safety critical Software development 


  1. 1.
    Falampin, J., Le-Dang, H., Leuschel, M., Mokrani, M., Plagge, D.: Improving railway data validation with proB. In: Romanovsky, A., Thomas, M. (eds.) Industrial Deployment of System Engineering Methods, pp. 27–43. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  2. 2.
    Lecomte, T.: Applying a formal method in industry: a 15-Year trajectory. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 26–34. Springer, Heidelberg (2009). Scholar
  3. 3.
    Lecomte, T.: Double cœur et preuve formelle pour automatismes sil4. 8E-Modèles formels/preuves formelles-sûreté du logiciel (2016)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.CLEARSY, 320 avenue ArchimèdeAix en ProvenceFrance

Personalised recommendations