The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems
The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems
复制标题
安全论证管理器：基于计算机的系统的工程和安全评估的综合方法
DOI：
10.1109/ecbs.1996.494529
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
P. Fenelon
中科院分区：
文献类型：
--
作者：
S. Wilson;J. Mcdermid;P. Kirkham;P. Fenelon
本文详细介绍了安全论据管理器(SAM)，这是一个基于PC的支持安全案例构建的工具。SAM的创新之处在于它强调总体系统安全，并旨在支持设计和评估的集成过程。SAM为构建高水平的安全论证和建立完整和一致的支持证据提供了便利。通过描述SAM的综合建模和安全评估设施，我们将重点放在高质量支持证据的实现上。我们还通过一个汽车制动系统的例子来说明SAM的使用。
This paper presents details of the Safety Argument Manager (SAM) a PC based tool to support safety case construction. SAM is novel in that it stresses total system safety and is designed to support an integrated process for design and assessment. SAM provides facilities for the construction of high level safety arguments and for building up complete and consistent supporting evidence. We focus on the achievement of high quality supporting evidence, by describing SAM's facilities for integrated modelling and safety assessment. We also illustrate the use of SAM with a car braking system example.