TEAMS
测试性、维护性、系统健康监控
Cradle
需求管理、系统工程
MetaEdit+
特定领域建模
OPMSE
基于对象Petri的建模仿真环境
Isograph
可靠性、可用性、保障性工程设计