Formal socio-technical barrier modelling for safety-critical interactive systems design - Université Toulouse 1 Capitole Accéder directement au contenu
Article Dans Une Revue Safety Science Année : 2007

Formal socio-technical barrier modelling for safety-critical interactive systems design

Résumé

This paper presents a three step approach to improve safety in the field of interactive systems. The approach combines, within a single framework, previous work in the field of barrier analysis and modelling, with model based design of interactive systems. The approach first uses the Safety Modelling Language to specify safety barriers which could achieve risk reduction if implemented. The detailed mechanism by which these barriers behave is designed in the subsequent stage, using a Petri nets-based formal description technique called Interactive Cooperative Objects. One of the main characteristics of interactive systems is the fact that the user is deeply involved in the operation of such systems. This paper addresses this issue of user behaviour by modelling tasks and activities using the same notation as for the system side (both barriers and interactive system). The use of a formal modelling technique for the description of these three components makes it possible to compare, analyse and integrate them. The approach and the integration are presented on a mining case study. Two safety barriers are modelled as well as the relevant parts of the interactive system behaviour. Operators’ tasks are also modelled. The paper then shows how the integration of barriers within the system model can prevent previously identified hazardous sequences of events from occurring, thus increasing the entire system safety.

Dates et versions

hal-03662273 , version 1 (09-05-2022)

Identifiants

Citer

Sandra Basnyat, Philippe Palanque, Bastiaan Schupp, Peter Wright. Formal socio-technical barrier modelling for safety-critical interactive systems design. Safety Science, 2007, Special Issue safety in design: Papers selected from the 9th International Conference of French National Research and Safety Institute (INRS), 1-3 March 2006, Nice, France, 45 (2007) (5), pp.545-565. ⟨10.1016/j.ssci.2007.01.001⟩. ⟨hal-03662273⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More