系统正在变得越来越复杂,由此使得全面管理安全评估和满足认证机关所要求的安全水平(比如轨道交通领域的EN50126/8/9标准)也越来越困难。为满足业界对安全需求持续增长的要求,需要开发相应的设计和安全评估方法。
Safety Designer/Fault Tree Analyzer(SD9/FT9)是一套基于模型的安全性分析解决方案。在系统设计阶段,为复杂系统定义常见的功能正常和异常的模型,根据提出的模型,它们可以自动的进行依赖性分析,从而提高系统稳定性或(和)使系统获得认证。
SD9/FT9解决方案支持:
系统定义:系统架构、系统组件(组件库)、每个组件的正常与失效情况下的行为(可由已有库中导入);
系统行为仿真:故障注入与传播、受影响的功能显示;
系统RAMS(可靠性、可用性、可维护性、安全性)分析:生成故障树、事件序列、系统故障模式与影响分析(FMEA)、系统安全评估(功能失效概率)。
面向安全建模:基于专用的形式化语言 AltaRica
层次化建模
模型库:使用用户组件与设备设计系统架构
图形化仿真与故障传播的可视化
模型的一致性和完整性确认
由模型自动生成故障树
协同设计
为动态模型生成故障场景
用于系统分析的多种插件