Astah System Safety 专业建模工具软件 艾维商城

Astah System Safety 专业建模工具软件 艾维商城

分类:艾维商城 日期:2022-06-29 人气:13056 标签:LinuxMacOSWindows安全系统
点击购买

应用介绍

通过设计确保安全

Astah System Safety是一种用于安全关键系统的建模工具,支持使用 STAMP/STPA、SysML、SCDL 和 GSN 进行系统架构建模、系统安全评估和分析。

这适用于具有与SOTIF和ISO 26262 兼容的自动驾驶汽车的汽车领域行业,以及安全性能至关重要且对采用基于模型的系统工程感兴趣的航空航天、铁路、国防、机器人和医疗保健行业( MBSE)。

SysML 图

Astah System Safety 的 SysML 支持比“Astah SysML”提供的更先进,包括合并和比较项目文件、XMI 导入/导出以及与 Dassault Systèmes 的 Cameo Systems Modeler 集成等功能。

  • 块定义图 (BDD)
  • 内部框图 (IBD)
  • 参数图
  • 需求图/表
  • 用例图
  • 活动图
  • 状态机图
  • 时序图

STAMP / STPA

STAMP(System-Theoretic Accident Model and Processes)是麻省理工学院Nancy Leveson教授开发的基于系统理论的事故因果关系模型,STPA(System-Theoretic Process Analysis)是基于STAMP的技术。Astah System Safety 为您的 STPA 分析过程提供了以下图表和表格。

  • 控制结构图
  • 前提条件表
  • 控制回路图
  • UCA(不安全控制动作)表
  • 损失情景表
  • 对策表
  • 事故危害安全约束表
  • CS(组件结构)全视图

SCDL

SCDL(安全概念描述语言)是安全概念符号研究组定义的安全架构设计语言 。

Astah System Safety 支持 SCDL 介绍的图表之一:

  • 安全概念图

GSN(目标结构符号)

您可以使用Goal Structuring Notation 和 D-Case来可视化安全论据,这些 D-Case 可有效地用于建立共识和实现问责制。

  • GSN(目标结构符号)/ D-Case

我们还有另一位专用于 GSN 的编辑器,仅称为“ Astah GSN ”。Astah System Safety 包括Astah GSN 的所有功能 。

为什么选择 Astah 系统安全?

Astah 最初由日本公司 ChangeVision 在 2006 年创建,作为 UML 建模工具。该软件已经发展到包括六种不同的工具,每一种都旨在通过吸收超过 15 年的用户反馈来满足不同的制图需求。Astah System Safety 是我们为安全关键系统自豪地推出的最新产品。

Astah通过启用模型转换来结合 STPA 和 SysML,这有助于您通过直接使用 SysML 块创建组件等来构建 STPA 分析。通过在项目中处理相同的模型将保持一致性,并且在整个分析过程中一切都可以轻松追踪。

支持 SysML 模型的XMI 导入/导出,这使您能够从 Cameo Systems Modeler 加载数据。您还可以添加 OMG XMI 2.5 格式配置文件。

软件截图