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

项目介绍

AI项目解读

基本信息

批准号：
91018009
项目类别：
重大研究计划
资助金额：
50.0万
负责人：
毋国庆
依托单位：
武汉大学
学科分类：
F0203.软件理论、软件工程与服务
结题年份：
2011
批准年份：
2010
项目状态：
已结题
起止时间：
2011-01-01 至2011-12-31

项目参与者：
王汉飞；文卫东；刘陶；吴伟；马超；李清安；陈勇；刘建博；胡明昊；
关键词：
代码安全性加强编译辅助测试可信嵌入式软件开发框架可信编译

项目摘要

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