OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Fayollas, Camille and Martinie De Almeida, Celia and Palanque, Philippe and Masci, Paolo and Harrison, Michael Douglas and Campos, José Creissac and Rodrigues E Silva, Saulo Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. (2017) In: 3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, 21st International Symposium on Formal Methods, 8 November 2016 - 8 November 2016 (Limassol, Cyprus).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.4204/EPTCS.240.1


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:This papers appears in Proceedings of the 3rd Workshop on Formal Integrated Development Environment: https://arxiv.org/abs/1701.07925 ISSN: 2075-2180 The original PDF is available at: https://arxiv.org/abs/1701.08465
HAL Id:hal-01757338
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência - INESC TEC (PORTUGAL)
Other partners > Universidade do Minho (PORTUGAL)
Other partners > Newcastle University (UNITED KINGDOM)
Laboratory name:
Portugal Regional Operational Programme (NORTE 2020) - PORTUGAL 2020 Partnership Agreement - European Regional Development Fund (ERDF) - Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) PhD scholarship
Deposited On:22 Mar 2018 15:07

Repository Staff Only: item control page