科技计划：
成果形式：新技术
合作方式：技术转让、技术开发、技术咨询、技术服务、技术入股
参与活动：
专利情况：
未申请专利
成果简介
综合介绍
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。
创新要点
1、可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模；
2、可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析；
3、可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。
技术指标
目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。
其他说明
完成人信息
姓名：对接成功后可查看
所在部门：对接成功后可查看
职务：对接成功后可查看
职称：对接成功后可查看
手机：对接成功后可查看
E-mail：对接成功后可查看
电话：对接成功后可查看
传真：对接成功后可查看
邮编：对接成功后可查看
通讯地址：对接成功后可查看
联系人信息
姓名：对接成功后可查看
所在部门：对接成功后可查看
职务：对接成功后可查看
职称：对接成功后可查看
手机：对接成功后可查看
E-mail：对接成功后可查看
电话：对接成功后可查看
传真：对接成功后可查看
邮编：对接成功后可查看
通讯地址：对接成功后可查看
纪秀林与江苏省生产力促进中心高层次人才与外国专家服务处对接成功
电话：025-85485967 QQ群：1035941228