Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components

Abstract : The Anaxagore Project provides a component-based design ow for reconfigurable socio-technical systems. Each component integrates a control program and a supervision interface and it has been validated by empirical testing. The purpose of this paper is the use of formal methods for the verification of the whole component control-command chain. Different component features (the control program, the supervision interface, the physical device) and the human tasks are modeled using timed automata. These timed automata are then checked by model checking (UPPAAL) with a set of safety and usability properties written in CTL. Our approach is presented through an industrial case study: the supervised control of a 2-way motorized valve. The results show that the use of formal techniques enables to successfully detect control program and supervision interface design errors.
Type de document :
Communication dans un congrès
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. IFAC, Journal IFAC PapersOnLine (Elsevier), pp.427-467, 〈http://www.sciencedirect.com/science/journal/24058963/49/19〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01441587
Contributeur : Flavio Oquendo <>
Soumis le : jeudi 19 janvier 2017 - 20:07:47
Dernière modification le : mercredi 16 mai 2018 - 11:24:04

Identifiants

  • HAL Id : hal-01441587, version 1

Citation

Soraya Mesli, Armand Toguyéni, Alain Bignon, Flavio Oquendo, Djamal Kesraoui, et al.. Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components. Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. IFAC, Journal IFAC PapersOnLine (Elsevier), pp.427-467, 〈http://www.sciencedirect.com/science/journal/24058963/49/19〉. 〈hal-01441587〉

Partager

Métriques

Consultations de la notice

369