期刊文献+

航电控制计算机系统软件安全性框架研究 被引量:1

Architecture Framework for Software Safety of Avionics Control Computer System
下载PDF
导出
摘要 以航电控制计算机系统软件体系结构模型为例,从危险、安全策略和安全关键模型3个视图入手,分析了软件安全性的影响因素,提出了一个基于元模型的软件安全性体系结构框架,解决了原有航电控制计算机系统软件体系结构模型对安全性考虑不周之处。 This paper takes the avionics control computer system software,system architecture model as an example.It starts from the three views of danger,security strategy and safety key model,and analyzes the influencing factors of software safety,and proposes a software safety based on meta-model architecture framework to solve the original avionics control computer system software architecture model of the safety considerations ills.
作者 孙媛 赵建军 周伟祝 SUN Yuan;ZHAO Jianjun;ZHOU Weizhu(Naval Aeronautical and Astronautical University,Yantai 264001,China)
出处 《兵器装备工程学报》 CAS 北大核心 2018年第3期135-142,共8页 Journal of Ordnance Equipment Engineering
关键词 软件安全性 安全关键系统 体系建模 体系设计 体系视角 software safety safety-critical system architectural modeling architecture design architecture viewpoints
  • 相关文献

参考文献5

二级参考文献34

  • 1王悦,范君晖,田书格.基于案例推理专家系统中的案例表示方法[J].上海工程技术大学学报,2005,19(1):42-46. 被引量:9
  • 2邓海平,何玉林,杜静,丁剑飞.CLIPS嵌入VC++技术的实现与应用[J].计算机工程与应用,2005,41(15):88-90. 被引量:16
  • 3Krishnan M S, Kriebel C H, Kekre S, Mukhopadhyay T. An empirical analysis of productivity and quality in the software products[ J ]. Management science, 2000, 46 ( 6 ) : 745 - 759.
  • 4GJB/Z16-91,军工产品质量管理要求和评定导则[S].
  • 5候俊杰.深入浅出MFC[M].武汉:华中科技大学出版社,2002..
  • 6王汉功,徐远国,张玉民,等.装备全面质量管理[M].北京:国防工业出版社,2003.
  • 7Joseph Giarratano.专家系统原理与编程[M].刘星成,译.北京:机械工业出版社,2005.
  • 8George F. Luger.人工智能复杂问题求解的结构和策略[M].北京:机械工业出版社,2010.
  • 9Vu Nguyen, Barry Boehm, Phongphan Danphitsanuphan. Acontrolled experiment in assessing and estimating softwaremaintenance tasks[ J]. Information and Software Technolo-gy,2011:682 -691.
  • 10Swapna S Gokhale, obert E Mullen. A multiplicative modelof software defect repair times [ J ]. Empir Software Eng,2010,15:296 - 319.

共引文献10

同被引文献8

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部