Disruptive Innovations for the Development and the Deployment of Fault-Free Software
Author: Thierry Lecomte
Paper Information
Title: | Disruptive Innovations for the Development and the Deployment of Fault-Free Software |
Authors: | Thierry Lecomte |
Proceedings: | FM FMComplete |
Editors: | Jan Peleska, Klaus Havelund and Bill Roscoe |
Keywords: | formal methods, safety critical, software development |
Abstract: | ABSTRACT. 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 died 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. |
Pages: | 4 |
Talk: | Jul 17 17:00 (Session 122C: FM I-Day) |
Paper: |