文章 规范 方案 工具 课程 资源 会员  
   

OMG的新RAAML规范将如何提高安全性和可靠性

作者Kyle Post,福特汽车公司系统安全技术负责人,OMG RAAML标准的合著者。

 

译者:Alice

日期:2023-2-20  

 
 

基于模型的系统工程(MBSE)在创建复杂系统的组织中越来越受欢迎,在这些系统中,在多学科环境中协作是至关重要的。作为关键的MBSE组件之一,开源系统建模语言SysML为捕获需求、体系结构、约束、视图和视点提供了良好的基础。但是,SysML没有提供在系统模型中捕获安全性和可靠性信息的构想。

虽然各种安全性和可靠性实现可能适合特定目的的需求,但在许多情况下,需要在多个组织之间跟踪和共享信息。这些基于模型的解决方案可能禁止在组织之间和跨各种工具之间直接共享模型。

对于标准化的UML概要文件/库来处理安全性和可靠性方面的需求很久以前就出现了。近年来,我们已经看到了多种基于模型的商业级安全性和可靠性解决方案的实现,并可能成功地应用于实践。

OMG的一个行业专家工作组自2016年以来一直致力于定义一个提供必要功能的新规范。工作组的主要目标之一是协调这些不同的方法,以减轻行业在其工具中反复制定安全性和可靠性结构的问题。

新的 风险分析和评估建模语言 (RAAML )Beta版本1.0规范定义了支持安全性和可靠性分析所需的SysML扩展。它为工具供应商提供建模功能,以构建安全性和可靠性建模工具,这些工具提供传统的表示(例如,树、表等),同时使用基于现代模型的方法。该规范包括:

  • 核心概念,并展示了简单的概念如何强大到足以统一各种分析方法中的所有安全性和可靠性信息,
  • 自动化多个安全性和可靠性分析的方法,该方法建立在利用现有 SysML 功能以确保配置文件和库可用于现有工具的基础上
  • 支持的特定安全性和可靠性分析方法和应用领域。其中包括:
    • 失效模式和影响 分析
    • 故障树 分析
    • 系统理论过程分析
    • 目标结构符号GSN
    • ISO 26262道路车辆功能安全
    • 以及行业在实践中应用规范通常需要的扩展机制。

风险分析和评估建模语言 (RAAML )指定了两种类型的一致性:

  1. RAAML 模型交换一致性。演示模型交换一致性的工具可以导入和导出所有有效 RAAML 模型的一致性 XMI。
  2. RAAML 视图规范一致性。演示视图规范一致性的工具应实现 RAAML 规范中指定的视图。

RAAML规范可以为各种安全和质量工程活动提供基础,包括安全性和可靠性分析方法。除了方法支持外,还提供了与SysML感兴趣模型的链接,从而实现了分析的集成和可追溯性。

RAAML的组织可以促进根据特定的工程领域和行业调整方法,以支持各种评估和认证机构。RAAML 工作组大量使用库方法,并具有轻量级 UML 配置文件支持。与在配置文件中实现所有内容相比,使用模型库有几个显著的好处。

RAAML 开发使用模型驱动的方法。对工作流程的简单描述是,规范是从用于描述 RAAML 的 UML 模型生成的。这种方法允许工作组成员专注于架构问题,而不是文档制作。UML 工具会自动保持一致性。

该标准使用 UML/SysML 结构建模功能来捕获安全性和可靠性数据。场景和情况的集合捕获安全性和可靠性数据。