Interactive System Safety and Usability enforced with the development process - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Interactive System Safety and Usability enforced with the development process

Résumé

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
Fichier principal
Vignette du fichier
2001-ehci01-jambon-pg-yaa.pdf (55.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03674068 , version 1 (20-05-2022)

Identifiants

Citer

Francis Jambon, Patrick Girard, Yamine Aït-Ameur. Interactive System Safety and Usability enforced with the development process. Proc. 8th IFIP International Conference - Engineering for Human-Computer Interaction (EHCI 2001), May 2001, Toronto, Canada. pp.39-55, ⟨10.1007/3-540-45348-2\_8⟩. ⟨hal-03674068⟩
7 Consultations
13 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More