Modelling of Automation Degradation : a Case Study

Alberto Pasquini (1) , Martina Ragosta (1, 2) , Sara Silvagni (1) , Mark-Alexander Sujan (3) , Eric Rigaud (4) , Erik Hollnagel (4)

1 Deep Blue Srl ,Roma, Italie
2 IRIT-ICS - Interactive Critical Systems
3 Warwick Medical School
4 CRC - Centre de recherche sur les Risques et les Crises

This paper presents a modeling approach that has been developed within the SPAD project for analyzing consequences of automation degradation in large socio-technical systems. This modeling approach involves two different notations: FRAM [6] and HAMSTERS [2], [8]. In previous work [7] we have proposed a synergistic approach integrating these two views for describing the evolution of system performances under automation degradation. The focus of the paper is on how the outcome of the models can be integrated to analyse system behavior. After describing the principles of such integration we exemplify it by using a standalone ATM simulator, and analyzing the possible degradations of a system for managing unmanned aircraft (RPAS).

Mots clés: Automation degradation; Resilience; Performance; ATC; RPAS

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

Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan, Eric Rigaud, et al.. Modelling of Automation Degradation : a Case Study. 3rd SESAR Innovation Days (SESAR 2013), Nov 2013, Stockholm, Sweden. pp. 1-8. ⟨hal-01217222⟩