期刊文献+

一种机载软件安全性需求获取方法 被引量:1

A Method of Capturing Safety Critical Airborne Software Requirements
下载PDF
导出
摘要 通过对国内外软件安全性分析方法的研究,结合国内软件开发技术和管理方法,探索并提出了一种机载软件安全性需求获取方法。并以某环控防冰系统监测软件为例,给出了软件安全性需求获取方法的应用实例。 Studies on a method for acquirement of avionics safety-critical airborne software requirements based on software development and management technique, through the studies of software safety method at home and aboard. By giving an example of the ice-preventing subsystem monitoring software in a project, the acquirement method of software safety requirements is explained.
出处 《航空科学技术》 2014年第9期48-51,共4页 Aeronautical Science & Technology
关键词 安全性 软件 需求获取 safety software requirement capture
  • 相关文献

参考文献5

二级参考文献4

  • 1Leveson N.Software safety:Why,what,and how[J].Computing Surveys,1986(6):125-163. 被引量:1
  • 2NASA-STD-8719.13B,NASA software safety standard[S].2004. 被引量:1
  • 3NASA-GB-8719.13,NASA soft ware safety guidebook[S].2004. 被引量:1
  • 4IEC 61508,Functional safety of electrical/electronic/programmable electronic safety-related systems[S].1998. 被引量:1

共引文献2

同被引文献5

引证文献1

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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