Understanding functional resonance through a federation of models : preliminary findings of an avionics case study

Célia Martinie (1) , Philippe Palanque (1, 2) , Martina Ragosta (1, 3) , Mark-Alexander Sujan (4) , David Navarre (1, 5) , Alberto Pasquini (3)

1 IRIT-ICS - Interactive Critical Systems
2 UT3 - Université Toulouse III - Paul Sabatier
3 DEEP BLUE (ITALY)
4 Warwick Medical School
5 UT Capitole - Université Toulouse Capitole

FRAM has been proposed as a method for the analysis of complex socio-technical systems, which may be able to overcome the limitations of traditional methods that focus on simple cause and effect relationships. FRAM on its own may be most useful for modeling the system at a high level of abstraction. There is less evidence about its utility for modeling interactions at greater levels of detail. We applied different modeling approaches to investigate situations that may give rise to functional resonance in an avionics case study. FRAM was used to model higher-level dependencies, HAMSTERS was used to provide a deeper understanding of human functions, and ICO-Petshop was used to model technical system functions. The paper describes preliminary results of the application of this federation of models, and highlights potential benefits as well as challenges that may have to be overcome.

Mots clés: Avionics; Modeling approaches; Socio-technical systems

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

Célia Martinie, Philippe Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, et al.. Understanding functional resonance through a federation of models : preliminary findings of an avionics case study. 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Sep 2013, Toulouse, France. pp.216-227, ⟨10.1007/978-3-642-40793-2_20⟩. ⟨hal-01223183⟩