嵌入式机载软件安全性分析标准、方法及工具研究综述

合集下载

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

英文引用格式：ＨｕａｎｇＺＱ，ＸｕＢＦ，ＫａｎＳＬ，ＨｕＪ，ＣｈｅｎＺ．Ｓｕｒｖｅｙｏｎｅｍｂｅｄｄｅｄｓｏｆｔｗａｒｅｓａｆｅｔｙａｎａｌｙｓｉｓｓｔａｎｄａｒｄｓ，ｍｅｔｈｏｄｓａｎｄｔｏｏｌｓｆｏｒａｉｒｂｏｒｎｅｓｙｓｔｅｍ．ＲｕａｎＪｉａｎＸｕｅＢａｏ／ＪｏｕｎａｒｌｏｆＳｏｔｆｗａｒｅ，２０１４，２５（２）：２００－２１８（ｉｎＣｈｉｎｅｓｅ）．ｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ／ｌＯ００ —
ＳｙｓｔＱｉｕ，ｘｕＢｉｎｇ — Ｆｅｎｇ，ＫＡＮＳｈｕａｎｇ — Ｌｏｎｇ，ＨＵＪｕｎ，ＣＨＥＮＺｈｅ
（ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＡｅｒｏｎａｕｔｉｃｓａｎｄＡｓｔｒｏｎａｕｔｉｃｓ，Ｎａｎｊｉｎｇ２１００１６，Ｃｈｉｎａ）Ｃｏｒｒｅｓｐｏｎｄｉｎｇａｕｔｈｏｒ：ＨＵＡＮＧＺｈｉ－Ｑｉｕ，Ｅ — ｍａｉｌ：ｚｑｈｕａｎｇ＠ｎｕａａ．ｅｄｕ．ｃａ，ｈｔｔｐ：ｌｌｗｗｗ．ｎｕａａ．ｅｄｕ．ｅｎ
软件学报ＩＳＳＮ１０００．９８２５，ＣＯＤＥＮＲＵＸＵＥＷＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ，２０１４，２５（２）：２００－２１８［ｄｏｉ：１０．１３３２８￣．ｃｎｋｉ．ｊｏｓ．００４５３０】＠中国科学院软件研究所版权所有．
战和未来的研究方向．关键词：嵌入式软件；机载软件安全性；适航认证；安全性分析；软件工具中图法分类号：ＴＰ３ｌ１文献标识码：Ａ
中文引用格式：黄志球，徐丙凤，阚双龙，胡军，陈哲．嵌入式机载软件安全性分析标准、方法及工具研究综述．软件学报，２０１４，２５（２）：２００－２１８．ｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ／１０００ — ９８２５／４５３０．ｈｔｍ
摘
要：嵌入式软件在安全关键系统中的应用，使得保障软件安全性成为软件工程领域的研究热点之一．以典型
嵌入式软件系统机载软件为基础＇对机载软件安全性保障的标准、方法及工具进行综述．首先，对机载软件领域所采用的软件安全性相关的标准进行简介，并给出机载软件安全性分析框架；其次，从机载软件安全性分析框架出发，将机载软件安全性保障方法划分为３个方面，即，机载软件安全需求的提取与规约、面向标准的机载软件开发、机载软件安全需求验证．对这３个方面的现有研究工作以及工业应用进行了综述；然后，针对３前适航标准的要求对机载－＂软件安全性保证过程中软件安全证据的收集方面的研究工作进行了总结；最后，提出机载软件安全性领域存在的挑
Ａｂｓｔｒａｃｔ：Ｗｉｔｈｔｈｅｗｉｄｅｓｐｒｅａｄｕｓｅｏｆｅｍｂｅｄｄｅｄｓｏｔｗａｆｒｅｉｎｓａｆｅｔｙｃｒｉｔｉｃａｌｓｙｓｔｅｍ，ｓｏｆｔｗａｒｅｓａｆｅｔｙａｓｓｕｒａｎｃｅｂｅｃｏｍｅｓｏｎｅｏｆｒｅｓｅａｒｃｈｈｏｔｓｐｏｔｓｏｆｓｏｔｗａｆｒｅｅｎｇｉｎｅｅｒｉｎｇ．Ｉｎｔｈｉｓｐａｐｅｒ，ａｓｕｒｖｅｙｉｓｐｒｅｓｅｎｔｅｄｏｎＳｏｔｆｗａｒｅｓａｆｅｔｙｓｔｎｄａａｒｄｓ，ｍｅｔｈｏｄｓａｎｄｔｏｏｌｓｉｎａｉｒｃｒａｔｆｓｙｓｔｅｍｓ．
９８２５／４５３０．ｈｔｍ
ＳｕｒｖｅｙｏｎＥｍｂｅｄｄｅｄＳｏｆｔｗａｒｅＳａｆｅｔｙＡｎａｌｙｓｉｓＳｔａｎｄａｒｄｓ，ＭｅｔｈｏｄｓａｎｄＴｏｏｌｓｆｏｒＡｉｒｂｏｒｎｅ
黄志球，徐丙风，阚双龙，胡军，陈哲
（南京航空航天大学计算机科学与技术学院，江苏南京２１００１６）
通讯作者：黄志球，Ｅ－ｍａｉｌ：ｚｑｈｕａｎｇ＠ｎｕａａ．ｅｄｕ．ｃｎ，ｈｔｔｐ：／／ｗｗｗ．ｎｕａａ．ｅｄｕ．ｃａ
Ｅ — ｍａｉｌ：ｊｏｓ＠ｉｓｅａｓ．ａｃ．ｃａｈ￣ｐ：／／ｗｗｗｊｏｓ．ｏｒｇ．ｃｎ
Ｔｅ１／Ｆａｘ：＋８６．１０ — ６２５６２５６３
嵌入式机载软件安全性分析标准、方法及工具研究综述