使用 GSN 确保系统安全

GSN，即目标结构符号，是一种可视化系统目标如何连续分解为子目标的技术，直到达到可以通过直接引用可用证据来支持声明的点。GSN 越来越多地用于汽车 (ISO 26262)、航空航天 (DO-178B)、铁路、核能和国防等行业的安全案例。如果您需要 GSN 建模，Astah GSN 是您系统安全保证的正确选择。

Astah Engineering Pack 许可证介绍：

Astah Engineering Pack 是一个捆绑包，以一个折扣价包含三个版本的 Astah。它是处理从软件工程到生成安全保证案例的所有内容的完美工具集！

使用 Astah Engineering Pack，您将只收到一个许可证文件，使您能够使用 Astah 的所有三个版本。使用多个许可证没有麻烦。

Astah Engineering Pack 包括：

• Astah Professional
• Astah SysML
• Astah GSN

Astah Faculty 工具包学术站点许可证（Faculty Site License）介绍：

Astah 是世界各地学院和大学的首选工具，因为它允许学生使用专业人士使用的相同强大工具进行真实世界的动手实践。

而且，大学教职员工可以获得我们三种最受欢迎​​的产品的折扣横向许可。该许可证允许校园内的教师和学生以显着折扣的价格使用该软件。该软件包向单个采购部门的所有教职员工和学生授予许可证。

Astah Faculty 包括：

• Astah Professional
• Astah SysML
• Astah GSN

标准型号

Astah GSN 符合GSN 社区标准 1.0 版。作为一个成熟的建模软件——不仅仅是一个绘图工具——Astah GSN 创建的模型可以导出为SACM (ARM)，OMG标准。使用 Astah，您可以在安全案例参数中重用您的通用结构，从而使您的模式在图表中保持一致。

Astah GSN 中还包含思维导图，您的思维导图可以轻松转换为 GSN，让整个制图过程更快更轻松！

导入。导出。整合。

结构化保证案例元模型导入和导出

使用 Astah GSN，您可以在 SACM (ARM) – OMG 标准中导入或导出，从而允许系统之间的互操作性以及与其他团队的轻松沟通。

图像导出

您可以将 GSN 模型保存为 PNG、JPEG、EMF 和 SVG 格式。您还可以将它们复制到剪贴板，因此很容易将您的 GSN 图表粘贴到 Microsoft Word 等第三方工具中。

使用简单。扩展简单。

• 庞大的插件库

需要开箱即用的功能？没问题！感谢Astah之友和我们自己广泛的插件和集成库，Astah GSN 可以根据您的需要进行定制。

• 脚本编辑器插件

通过安装免费的Script Editor 插件，您可以使用 ECMAScript (JavaScript) 语言访问 GSN 模型。这个强大的工具允许您使用 API 通过脚本轻松提取数据或修改模型。脚本编辑器的可能性是无限的！