This paper introduces a new technique for the verification of both safety and usability requirements for safety-critical interactive systems. This technique uses the model-oriented formal method B and makes use of an hybrid version of the MVC and PAC software architecture models. Our claim is that this technique –that uses proofs obligations– can ensure both usability and safety requirements, from the specification step of the development process, to the implementation. This technique is illustrated by a case study: a simplified user interface for a Full Authority Digital Engine Control (FADEC) of a single turbojet engine aircraft.
CITATION STYLE
Jambon, F., Girard, P., & Aït-Ameur, Y. (2001). Interactive system safety and usability enforced with the development process. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2254, pp. 39–55). Springer Verlag. https://doi.org/10.1007/3-540-45348-2_8
Mendeley helps you to discover research relevant for your work.