T-CBESD:一个构件化嵌入式软件设计模型验证工具,徐丙凤,胡军,现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期