Skip to Main content Skip to Navigation
Conference papers

Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime

Abstract : Formal methods provide support for validation and verification of interactive systems by means of complete and unambiguous description of the envisioned system. They can also be used (for instance in the requirements/needs identification phase) to define precisely what the system should do and how it should meet user needs. If the entire development process in supported by formal methods (for instance as required by DO 178C [7] and its supplement 333 [8]) then classical formal method engineers would argue that the resulting software is defect free. However, events that are beyond the envelope of the specification may occur and trigger unexpected behaviors from the formally specified system resulting in failures. Sources of such failures can be permanent or transient hardware failures, due to (when such systems are deployed in the high atmosphere e.g. aircrafts or spacecrafts) natural faults triggered by alpha-particles from radioactive contaminants in the chips or neutron from cosmic radiation. This position paper proposes a complementary view to formal approaches first by presenting an overview of causes of unexpected events on the system side as well as on the human side and then by discussing approaches that could provide support for taking into account system faults and human errors at design time.
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, June 21, 2016 - 11:34:38 AM
Last modification on : Tuesday, September 8, 2020 - 9:50:03 AM
Long-term archiving on: : Thursday, September 22, 2016 - 11:34:38 AM


Files produced by the author(s)


  • HAL Id : hal-01334722, version 1
  • OATAO : 15399


Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris. Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime. Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23. ⟨hal-01334722⟩



Record views


Files downloads