基于编译的高可信嵌入式软件开发与验证方法研究

嵌入式系统的应用领域越来越广泛，其可信性备受关注。提高嵌入式软件的可信性是保证嵌入式系统可信的核心环节。通用的软件开发框架难以满足嵌入式软件对安全性、可靠性、容错性、实时性的要求，研究针对嵌入式软件特点的开发与验证框架、可信性验证、安全性加强与可靠性保障机制具有非常重要意义。本项目拟对基于编译的高可信嵌入式软件开发与验证方法进行研究，主要研究内容包括三个方面：1）对嵌入式软件的开发与验证框架进行研究，确保框架具有可扩展性并且可以在开发的各个阶段进行可信性验证；2）基于总体框架，从编译的角度对嵌入式软件安全性加强、可靠性保障、可信性验证技术进行研究；3）对基于编译的辅助自动化测试方法进行研究。