[00859688]基于FPGA的高可信嵌入式系统的基础研究
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
嵌入式系统已被广泛地应用到航空航天、武器装备、电子通信等领域。这些应用要求嵌入式系统必须是高安全、高可信的系统。如何保证嵌入式系统的可信性，成为亟待解决的挑战性的课题。该项目拟研究构建高可信嵌入式系统的模型驱动理论与方法，研究构建高可信嵌入式系统的基础理论与方法，并以国家重大科技与工程任务为应用示范。目标是要建立一整套开发高可信嵌入式系统的理论、方法及支持工具。具体包括建立一套基于模型驱动的可信嵌入式系统开发理论、过程和方法，建立一套保障嵌入式系统可信性的测试、仿真和验证理论与方法，并将其融入到嵌入式系统模型驱动开发过程的各个阶段；并以航天设备智能检测系统的开发为示范，展示实证应用。