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

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

Abstract

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.

Key words: safety-critical system, embedded software, fault analysis, security threat

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.

Figures/Tables 4

References 14

[1]	樊晓光, 褚文奎, 张凤鸣 . 软件安全性研究综述[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.
[2]	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.
[3]	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.
[4]	The statistics portal. Cyber crime incidents worldwide 2014,by victim industry and size[EB/OL]. .
[5]	The statistics portal. Cyber crime:average company loss in selected countries 2014[EB/OL]. .
[6]	FEILER P H . Challenges in validating safety-critical embedded systems[J]. SAE International Journal of Aerospace, 2010,(1): 109-116.
[7]	SAE ARP4754A.Guidelines for Development of Civil Aircraft and Systems,Society of Automotive Engineers (SAE)[S]. 2009.
[8]	万明, 樊晓光, 南建国 . 航电软件开发标准与过程研究[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.
[9]	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.
[10]	尹树悦, 杨云 . 军机研制中安全性标准的应用[J] 航空标准化与质量, 2010, 237. YI S Y , YANG Y . Applicaiton of safety standard in military plan[J] Aeronautic Standardization ＆ Quality, 2010, 237.
[11]	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.
[12]	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).
[13]	张倩颖, 冯登国, 赵世军 . 基于可信芯片的平台身份证明方案研究[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.
[14]	马赞, 王鹏, 肖女娥 . 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.

Metrics

Recommended 0

No Suggested Reading articles found!

Research on safety methods of airborne embedded software

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 4

References 14

Related Articles 10

Metrics

Recommended 0

[1]	Wei LI, Chun LIU, Dawu GU, Wenqian SUN, Jianning GAO, Mengyang QIN. Statistical ineffective fault analysis of the lightweight authenticated cipher algorithm Saturnin-Short [J]. Journal on Communications, 2023, 44(4): 167-175.
[2]	Lingcui ZHANG, Yaobing XU, Fenghua LI, Liang FANG, Yunchuan GUO, Zifu LI. Dynamic security-empowering architecture for space-ground integration information network [J]. Journal on Communications, 2021, 42(9): 87-95.
[3]	Wei LI, Menglin WANG, Dawu GU, Jiayao LI, Tianpei CAI, Guangwei XU. Ciphertext-only fault analysis of the TWINE lightweight cryptogram algorithm [J]. Journal on Communications, 2021, 42(3): 135-149.
[4]	Yu SHEN,Wei LI,Dawu GU,Yixin WU,Shan CAO,Ya LIU,Zhiqiang LIU,Zhihong ZHOU. Integral fault analysis of the ARIA cipher [J]. Journal on Communications, 2019, 40(2): 164-173.
[5]	Wei LI,Yixin WU,Dawu GU,Jiayao LI,Shan CAO,Menglin WANG,Tianpei CAI,Xiangwu DING,Zhiqiang LIU. Ciphertext-only fault analysis of the SIMON lightweight cipher [J]. Journal on Communications, 2019, 40(11): 122-137.
[6]	Shirui HUANG,Hengwei ZHANG,Jindong WANG,Ruiyu DOU. Network security threat warning method based on qualitative differential game [J]. Journal on Communications, 2018, 39(8): 29-36.
[7]	Guang-hai ZHOU,Zhao-long NING,Zhi-kui CHEN,Hua ZHONG,Yue-ming HU. Fault analysis and research of wireless sensor network based on kernel partial least squares [J]. Journal on Communications, 2017, 38(Z2): 94-98.
[8]	Jun-wei DU,Zhong-wei XU,Feng JIANG. Research on verification of behavior requirement patterns based on action sequences [J]. Journal on Communications, 2011, 32(1): 94-105.
[9]	Xin-jie ZHAO,Tao WANG,Su-zhen WANG,Yang WU. Research on deep differential fault analysis against MIBS [J]. Journal on Communications, 2010, 31(12): 82-89.
[10]	Wei LI,Da-wu GU. Differential fault analysis on the SMS4 cipher by inducing faults to the key schedule [J]. Journal on Communications, 2008, 29(10): 135-142.