基于FPGA的高可信嵌入式系统的基础研究

嵌入式系统已被广泛地应用到航空航天、武器装备、电子通信等领域。这些应用要求嵌入式系统必须是高安全、高可信的系统。如何保证嵌入式系统的可信性，成为亟待解决的挑战性的课题。本项目拟研究构建高可信嵌入式系统的模型驱动理论与方法，研究构建高可信嵌入式系统的基础理论与方法，并以国家重大科技与工程任务为应用示范。目标是要建立一整套开发高可信嵌入式系统的理论、方法及支持工具。具体包括建立一套基于模型驱动的可信嵌入式系统开发理论、过程和方法，建立一套保障嵌入式系统可信性的测试、仿真和验证理论与方法，并将其融入到嵌入式系统模型驱动开发过程的各个阶段；并以航天设备智能检测系统的开发为示范，展示实证应用。