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

Abstract

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)

Topics

13 Figures and Tables

Slides referencing similar topics