FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: