符合航天安全规范的代码自动生成系统研究

作     者：戚浩楠 

作者单位：浙江工业大学 

学位级别：硕士

导师姓名：叶蕾

授予年度：2018年

学科分类：08[工学] 0835[工学-软件工程] 0825[工学-航空宇航科学与技术] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：代码生成 代码检测 航天安全规范 安全代码 

摘      要：随着现代航天航空技术的飞速发展,计算机软件在航天航空系统中的重要性日益增加。航天型号软件基本都是嵌入式软件,航天嵌入式软件的规模、复杂度及其在整个航天系统中的功能比重急剧上升,软件的可靠性与安全性问题日益突出。本文重点研究基于模板引擎和模型驱动的代码自动生成技术和基于微内核和插件的代码检测技术,设计并实现C语言安全代码自动生成系统以及代码检测系统,实现从Intergration模型到C语言安全代码框架的自动生成以及对手动添加代码的安全检测,以满足生成代码的安全需求,并通过选取星务管理软件关键任务的实例对安全代码生成工具进行了验证,为航天嵌入式应用系统安全与可靠性的提高奠定技术基础。本文所做工作如下:1.针对航天软件安全代码需求,采用基于模板引擎和模型驱动的代码自动生成技术,实现了代码自动生成系统,提供了Intergration模型向软件代码的转换功能,软件代码具体包括符合C语言安全子集的框架代码和建模手动添加的组件代码。2.针对航天软件安全代码需求,采用微内核和插件的代码检测技术,实现了C语言安全子集代码检测系统,提供对建模手动添加代码以及现有航天软件代码的C语言安全子集检测功能。3.选取星务管理软件关键模块,对其进行Intergration建模以及代码自动生成,验证了代码自动生成系统的代码生成功能;编写大量违反C语言安全子集的代码示例,对其进行代码检测,验证代码检测工具的代码检测功能。