符号
安全案例
结构化
重新使用
构造(python库)
计算机科学
论证(复杂分析)
安全保证
风险分析(工程)
清晰
系统安全
过程管理
软件工程
工程类
程序设计语言
业务
可靠性工程
医学
化学
财务
内科学
废物管理
算术
生物化学
数学
摘要
In Europe, over recent years, the responsibility for ensuring system safety has shifted onto the developers and operators to construct and present well reasoned arguments that their systems achieve acceptable levels of safety. These arguments (together with supporting evidence) are typically referred to as a “safety case”. This paper describes the role and purpose of a safety case. Safety arguments within safety cases are often poorly communicated. This paper presents a technique called GSN (Goal Structuring Notation) that is increasingly being used in safety-critical industries to improve the structure, rigor, and clarity of safety arguments. The paper also describes a number of extensions, based upon GSN, which can be used to assist the maintenance, construction, reuse and assessment of safety cases. The aim of this paper is to describe the current industrial use and research into GSN such that its applicability to other types of Assurance Case, in addition to safety cases, can also be considered.
科研通智能强力驱动
Strongly Powered by AbleSci AI