项目内容：利用自身在工程机械、电子医疗设备等嵌入式系统研发领域的多年积累和参与国家863可信软件生产线课题所获得的研发经验，湖南大学可信系统与网络重点实验室合作组织精干的技术团队研发了“面向领域的可信嵌入式软件开发环境”。该开发环境运用软件生产线思想，采用构件化的软件开发方法和覆盖嵌入式软件开发全过程的可信保障机制，创新嵌入式软件开发过程，可以大幅度的提高嵌入式软件开发效率和嵌入式产品的可靠性。     主要技术指标： 1、覆盖嵌入式软件开发全过程的软件工具支撑；2、构件化的嵌入式软件开发，高度复用；3、覆盖嵌入式软件开发全过程的可信保障控制。