SD9/FT9解决方案支持:
系统定义:系统架构、系统组件(组件库)、每个组件的正常与失效情况下的行为(可由已有库中导入);
系统行为仿真:故障注入与传播、受影响的功能显示;
系统RAMS(可靠性、可用性、可维护性、安全性)分析:生成故障树、事件序列、系统故障模式与影响分析(FMEA)、系统安全评估(功能失效概率)。
面向安全建模:基于专用的形式化语言 AltaRica
层次化建模
模型库:使用用户组件与设备设计系统架构
图形化仿真与故障传播的可视化
模型的一致性和完整性确认
由模型自动生成故障树
协同设计
为动态模型生成故障场景
用于系统分析的多种插件