Dealing with Faults During Operations: Beyond Classical Use of Formal Methods - Archive ouverte HAL Access content directly
Book Sections Year : 2017

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

Abstract

Formal methods provide support for validation and verification of interactive systems by means of complete and unambiguous description of the envisioned system. Used in the early stages of the development process, they allow detecting and correcting development faults at design and development time. However, events that are beyond the envelope of the formal description may occur and trigger unexpected behaviours in the system at execution time (inconsistent from the formally specified system) resulting in failures. Sources of such interactive system failures can be permanent or transient hardware failures, due to, e.g. natural faults triggered by alpha particles from radioactive contaminants in the chips or neutrons from cosmic radiation. This chapter first presents a systematic identification of the faults that can be introduced in the system during both at development and operations time and how formal methods can be used in such context. To exemplify such usage of formal methods, we present their use to describe software architecture and self-checking components to address these faults in the context of interactive systems. As those faults are more likely to occur in the high atmosphere, the proposed solutions are illustrated using an interactive application within the field of interactive cockpits. This application allows us to demonstrate the use of the concepts and their application for WIMP interactive systems (such as the ones of the nuclear case study of the book).
No file

Dates and versions

hal-03131879 , version 1 (04-02-2021)

Identifiers

Cite

Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Deleris. Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩. ⟨hal-03131879⟩
42 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More