TrustIE嵌入式软件生产线说明

嵌入式软件生产线覆盖嵌入式软件开发的全过程，涉及嵌入式实时系统可信模型、建模、仿真、验证、代码生成、测试、多余度计算机调试、构件开发、可信嵌入式软件生产线集成等共性过程，并针对具体应用领域的需求，集成业已成熟的建模工具、仿真工具、验证工具、代码生成工具、编程工具和测试工具，形成了面向飞控应用的软件生产线TrustedIE-FC、面向汽车电子的软件生产线TrustedIE-AE和用于教育推广的嵌入式软件生产线TrustedIE-EDU等。

1 面向飞控应用的软件生产线TrustedIE-FC

TrustedIE-FC采用MDA的方法，包括PIM类模型、PSM类模型，以及模型的验证、代码生成、测试等环节，支持飞控软件开发的全过程，具体支持的过程以及提供的相关工具如下：

说明：

1） TrustedIE-FC主要以模型为基础综合了Simulink/Stateflow的功能模型、AADL的体系结构模型，实现对模型、代码、可执行代码的开发支持，并且实现各个层次的分析与验证；

2） Simulink/Stateflow的验证包括模型功能测试、覆盖测试、形式验证等方面的内容；AADL模型的分析包括可调度性分析、实时性分析、系统死锁分析、资源分析等方面的内容；

3） 生产线以Eclipse框架为基础，将功能模型开发工具、系统结构模型开发工具、模型代码自动生成工具、代码开发工具、验证工具、同步调试工具、综合信息管理环境等集成在一起，形式针对飞行控制的软件生产线。

TrustedIE-FC运行环境：

1)        Windows XP

2)        Eclipse 3.2

2 面向汽车电子的软件生产线TrustedIE-AE

TrustedIE-AE采用MDA的方法，包括CIM类模型、PIM类模型、PSM类模型，以及模型的验证、代码生成、文档生成等环节，支持汽车电子控制类软件开发的全过程，具体支持的过程以及提供的相关工具如下：

说明：

1） TrustedIE-AE以模型为基础，包括基于UML的需求建模和系统建模（含CIM模型和PIM模型）、基于SmartC的系统建模和任务建模（含PIM和PSM模型），实现了面向汽车电子的建模、验证、生成和测试的开发流程。

2） 生产线以Eclipse平台为基础，形成支持汽车电子电控应用的集成开发环境SmartOSEK IDE，包括UML建模工具SmartUML、SmartC建模工具SmartCDesigner、模型验证工具SmartAutoMata、代码和文档自动生成工具SmartGenerator、编译链接工具CodeWarrior。

TrustedIE-AE运行环境：

1)        Windows XP

2)        Eclipse 3.2

3 用于教育推广的嵌入式软件生产线TrustedIE-EDU

TrustedIE-EDU以Eclipse框架为基础，集成相关的模型工具和验证工具形成一套针对教育使用的生产线，主要支持学习使用基于模型的嵌入式软件开发过程，具体支持的过程以及提供的相关工具如下：。

TrustedIE-EDU
运行环境：

1)        Windows XP

2)        Eclipse 3.2