safety architect-基于模型的系统工程安全分析工具
概述
all4tec 总部位于法国，成立10 多年来一直致力于为安全工程、系统工程、it 系统和复杂嵌入式系统的测试提供凯发娱乐登录的解决方案。safety architect 软件是该公司开发的实现基于模型的复杂系统安全分析自动化的工具。该软件能够基于识别出的危害事件自动生成故障树，并支持fmea 的实施，进而对系统安全设计进行指导。
产品介绍
1. safety architect—基于模型的安全分析工具
近年来，随着iec61508、arp4754、iso26262 等标准普及，安全问题越来越得到人们重视。安全分析活动贯穿安全生命周期全过程，工作量大易出错。safety architect 软件可对复杂系统的功能或物理架构模型进行自动的安全分析工作，大大的减少了安全分析活动的工作量。该软件的主要功能包括：
.jpg)
• 模型输入
safety architect 提供了与多种模型软件工具的接口，可以从以下工具中直接导入系统模型：
♦ papyrus（sysml）
♦ rational system architect
♦ rational rhapsody
♦ scade system
♦ simulink
• 模型编辑
♦ 用户即可以通过其他模型软件导入系统结构，也可以在safety architect 中编辑系统结构
♦ 系统结构的编辑为分层模式
• 局部分析
♦ 对单元模块进行失效模式编辑，以图形的方式对模块添加故障事件
♦ 将输入、输出的故障传输依据逻辑关系进行与、或门连接
♦ 通过barrier图标来表示安全机制，清晰明了
• 全局分析
♦ 通过a4t或者hiphops方法，得出故障在系统中的传输路径
♦ 在传输路径生成过程中进行自检，确保传输路径（即故障树）的完整性和正确性
• 报告自动生成
♦ local analysis报告
♦ 故障传输fta报告
♦ fmea报告
.jpg)
• 文档导出功能
♦ fta、fmea等报告均支持excel、word等多种格式导出
2. 产品特点
• 安全分析自动化
可自动生成fta、fmea 等报告文档， 且支持word、excel 等多种导出格式，减少了安全分析人员的工作量。
.jpg)
• 具有语义自查功能
可自动检查生成的故障树的正确性和完整性，避免了人工分析存在的的不全面和主观性的问题。
• 支持数据复用
器件级至系统级的失效模式均可建库保存，易复用。
应用& 案例
safety architect 软件可应用于航空、作战系统、轨道和汽车等领域的复杂电子系统安全分析中。尤其是在国防电子系统基于模型的安全分析应用较多。