Research on safety methods of airborne embedded software

Ya-hui LI; Ya-di ZHANG; Peng GUO

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

您当前的位置：

首页 >

文章列表页 >

Research on safety methods of airborne embedded software

Academic paper | 更新时间：2024-06-05

- Research on safety methods of airborne embedded software
- Journal on Communications Vol. 36, Issue Z1, Pages: 16-21(2015)
- 作者机构：
  
  中航工业西安航空计算技术研究所机弹载计算机航空科技重点实验室，陕西西安，710065
- 作者简介：
- 基金信息：
  
  The Aeronautics Science Fund(2013ZC31005)
- DOI：10.11959/j.issn.1000-436x.2015277
  CLC： TP309
- Online First：2015-11，
  
  Published：25 November 2015
- 稿件说明：
移动端阅览
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：

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 .

Views

1316

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Fault analysis and research of wireless sensor network based on kernel partial least squares

Research on verification of behavior requirement patterns based on action sequences

Related Author

Guang-hai ZHOU

Zhao-long NING

Zhi-kui CHEN

Hua ZHONG

Yue-ming HU

DU Jun-wei1

XU Zhong-wei2

JIANG Feng1

Related Institution

School of Software, Dalian University of Technology

School of Natural Resources and Environment,South China Agricultural University

School of Information Science and Technology, Qingdao University of Science and Technology

School of Electronics ＆ Information Engineering,Tongji University

AI问答

⁰