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

S. Basnyat, P. Palanque, B. Schupp,P. Wright

Safety Science（2007）

引用 58|浏览5

暂无评分

摘要

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.

查看译文

关键词

Safety-critical interactive systems,Barriers,Incident and accident investigation,Formal specification techniques,System modelling,Human factors

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要