Astah GSN 是一种使用 GSN（目标结构符号）来记录论证的设计工具，GSN 是一种图形论证符号，用于明确记录论证的各个元素，例如目标、解决方案、上下文及其关系，并可视化结构。Astah GSN 有助于为系统、服务、组织的安全和安保的关键属性提供保证，并且可以有效地用于安全案例
安装使用》Astah GSN for mac
什么是 GSN？
GSN（目标结构符号）是约克大学开发的图形符号，用于指定安全关键系统的安全案例。ISO26262（汽车 E/E 系统）和 IEC62278（铁路）等几个标准要求使用安全案例，GSN 以易于理解但令人信服的形式支持其论证结构及其与证据的关系。
Astah GSN功能
为什么是 GSN？
- 促进对跨不同领域的安全论证的更深入理解
- 减少分享关键概念所需的时间和精力
- 无需大量文档即可让所有利益相关者了解情况
- 和更多...
为什么是 Astah GSN？
- 简单性- Astah GSN 建立在建模社区多年的经验之上，提供了一个干净、快速和直观的建模平台。
- SACM (ARM) 支持- SACM (Structured Assurance Case Metamodel) ARM (Assurance Argument Metamodel) 可以导入和导出
- 辅助功能- 支持 Windows 和 Mac。
- 一致性- Astah GSN 将符合以下标准（在 alpha 和 beta 版本期间，某些标准可能尚未满足）。
- GSN 社区标准版
- 天哪
Astah GSN特征
- GSN图表（符合GSN社区标准）
- 思维导图
- 打印和打印预览
- 将图像导出为 PNG、JPEG、EMF 和 SVG
- 复制并粘贴到 Microsoft?office?工具
- XMI 导入/导出（以 SACM ARM 格式）
- 超链接
