Skip to Main content Skip to Navigation
Conference papers

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Abstract : Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Guaranteeing safe usability, in terms of buttons, knobs and displays is now a key element in the overall safety of the system. New integrated development environments (IDEs) based on formal methods technologies have been developed by the research community to support the design and analysis of high-confidence human-machine interfaces. To date, little work has focused on the comparison of these particular types of formal IDEs. This paper compares and evaluates two state-of-the-art toolkits: CIRCUS, a model-based development and analysis tool based on Petri net extensions, and PVSio-web, a prototyping toolkit based on the PVS theorem proving system.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01757338
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, April 3, 2018 - 4:21:57 PM
Last modification on : Tuesday, September 8, 2020 - 9:50:03 AM

File

fayollas_18933.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01757338, version 1
  • OATAO : 18933

Citation

Camille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael Harrison, et al.. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. 3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus. pp. 1-19. ⟨hal-01757338⟩

Share

Metrics

Record views

133

Files downloads

207