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


This paper presents a three step approach to improve safety in the Weld of interactive systems. The approach combines, within a single framework, previous work in the Weld of barrier analysis and modelling, with model based design of interactive systems. The approach Wrst uses the Safety Modelling Language to specify safety barriers which could achieve risk… (More)


13 Figures and Tables

Slides referencing similar topics