机载嵌入式软件的安全性机制研究

李亚晖; 张亚棣; 郭鹏

doi:10.11959/j.issn.1000-436x.2015277

您当前的位置：

首页 >

文章列表页 >

机载嵌入式软件的安全性机制研究

学术论文 | 更新时间：2024-06-05

- 机载嵌入式软件的安全性机制研究
- Research on safety methods of airborne embedded software
- 通信学报 2015年36卷第Z1期页码：16-21
- 作者机构：
  
  中航工业西安航空计算技术研究所机弹载计算机航空科技重点实验室，陕西西安，710065
- 作者简介：
  
  [ "李亚晖（1976-），男，湖南新邵人，博士，中航工业西安航空计算技术研究所高级工程师，主要研究方向为嵌入式计算机体系结构、嵌入式软件。" ]
  [ "张亚棣（1968-），男，陕西西安人，博士，中航工业西安航空计算技术研究所研究员，主要研究方向为嵌入式系统和系统安全。" ]
  [ "郭鹏（1987-），男，陕西渭南人，硕士，中航工业西安航空计算技术研究所助理工程师，主要研究方向为机载嵌入式软件、系统仿真与建模。" ]
- 基金信息：
  
  航空科学基金资助项目(2013ZC31005)
- DOI：10.11959/j.issn.1000-436x.2015277
  中图分类号： TP309
- 网络出版日期：2015-11，
  
  纸质出版日期：2015-11-25
- 稿件说明：
移动端阅览
李亚晖, 张亚棣, 郭鹏. 机载嵌入式软件的安全性机制研究[J]. 通信学报, 2015,36(Z1):16-21.

Ya-hui LI, Ya-di ZHANG, Peng GUO. Research on safety methods of airborne embedded software[J]. Journal on communications, 2015, 36(Z1): 16-21.
李亚晖, 张亚棣, 郭鹏. 机载嵌入式软件的安全性机制研究[J]. 通信学报, 2015,36(Z1):16-21. DOI： 10.11959/j.issn.1000-436x.2015277.

Ya-hui LI, Ya-di ZHANG, Peng GUO. Research on safety methods of airborne embedded software[J]. Journal on communications, 2015, 36(Z1): 16-21. DOI： 10.11959/j.issn.1000-436x.2015277.

摘要

通过深入分析机载软件的开发和运行过程，在满足适航标准和信息安全标准的要求下，给出了与机载系统软件安全性相关的因素和威胁，并提出了基于嵌入式可信计算基的MILS机载软件架构安全性防护技术，为机载嵌入式软件的安全性机制研究提供了基础。

Abstract

By analyzed the process of development and running of airborne software with the standards of airworthiness and information security

the factors and threats related with airborne software safety were presented

and the security protected mechanisms based on embedded TMP and MILS software architecture were provided

which all support the research on safety of embedded software on aircrafts.

关键词

Keywords

references

樊晓光 , 褚文奎 , 张凤鸣 . 软件安全性研究综述 [J ] . 计算机科学 , 2011 , 38 ( 5 ): 8 - 13 .

FAN X G , CHU W K , ZHANG F M . Surveys of software safety [J ] . Computer Science , 2011 , 38 ( 5 ): 8 - 13 .

SWIFT M M , BERSHAD B N , LEVY H M . Improving the reliability of commodity operating systems [J ] . ACM Trans on Computer Systems , 2005 , 23 ( 1 ): 77 - 110 .

JAEGER T , SAILER R , SHANKAR U . Prima:policy-reduced integrity measurement architecture [A ] . Proc of the 11th ACM Symposium on Access Control Models and Technologies [C ] . Lake Tahoe,USA , 2006 . 19 - 28 .

The statistics portal . Cyber crime incidents worldwide 2014,by victim industry and size [EB/OL ] . www.statista.com/stat-istics/194246/cyber-crime-incidents-victim-industry-size/ www.statista.com/stat-istics/194246/cyber-crime-incidents-victim-industry-size/ .

The statistics portal . Cyber crime:average company loss in selected countries 2014 [EB/OL ] . http://www.statista.com/statistics/293274/average-cyber-crime-costs-to-companies-in-selected-countries/ http://www.statista.com/statistics/293274/average-cyber-crime-costs-to-companies-in-selected-countries/ .

FEILER P H . Challenges in validating safety-critical embedded systems [J ] . SAE International Journal of Aerospace , 2010 ,( 1 ): 109 - 116 .

SAE ARP4754A.Guidelines for Development of Civil Aircraft and Systems,Society of Automotive Engineers (SAE) [S ] . 2009 .

万明 , 樊晓光 , 南建国 . 航电软件开发标准与过程研究 [J ] . 计算机工程与应用 , 2010 , 46 ( 19 ): 71 - 73 .

WAN M , FAN X G , NAN J G . Research on standard and process of avionics software development [J ] . Computer Engineering and Applications , 2010 , 46 ( 19 ): 71 - 73 .

SAE ARP 4761 Standard,Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment,Society of Automotive Engineers (SAE) [S ] . 1996 .

尹树悦 , 杨云 . 军机研制中安全性标准的应用 [J ] 航空标准化与质量 , 2010 , 237 .

YI S Y , YANG Y . Applicaiton of safety standard in military plan [J ] Aeronautic Standardization ＆ Quality , 2010 , 237 .

GORDON M , UCHENICK W , MARK V . Multiple independent levels of safety and security:high assurance architecture for MSLS/MLS [A ] . Military Communication Conference [C ] . 2005 .

JIM A F , W.SCOTT H , PAUL O , et al . The MILS architecture for high-assurance embedded systems [J ] . International Journal of Embedded Systems , 2005 , 37 ( 2 ).

张倩颖 , 冯登国 , 赵世军 . 基于可信芯片的平台身份证明方案研究 [J ] . 通信学报 , 2014 , 35 ( 8 ): 95 - 106 .

ZHANG Q Y , FENG D G . Research of platform identity attestation based on trusted chip [J ] . Journal on Communications , 2014 , 35 ( 8 ): 95 - 106 .

马赞 , 王鹏 , 肖女娥 . SAE ARP4754A 中研制保证等级分配方法的应用研究 [J ] . 航空维修与工程 , 2013 , 2 ( 2 ): 68 - 70 .

MA Z , WANG P , XIAO N E . Application and study of development assurance level in civil aircraft development [J ] . Aviation Maintenance＆ Engineering , 2013 , 2 ( 2 ): 68 - 70 .

浏览量

904

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于核偏最小二乘法的物联网无线传感网络故障分析与研究

基于动作序列的行为需求模式验证的研究