Requirements Engineering for Safety Critical Systems: An Approach for Avionic Systems

被引：0
|
作者：
Grant, Emanuel S. [1 ]
机构：
[1] Univ North Dakota, Dept Comp Sci, Grand Forks, ND 58202 USA
来源：
2016 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATIONS (ICCC) | 2016年
关键词：
software engineering; requirements engineering; life-cycle model; model-driven development; formal specification techniques;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Safety critical software systems are defined to be those systems that should unanticipated failure occur, there could be the harm to life or property. All software life-cycle development methodologies place emphasis on the requirements elicitation and analysis, as this is the most crucial phase of the development life-cycle. This is because many system failures have their genesis at the point of requirements definition and analysis. Avionic software system development is an important and expanding area of work. There are universally established specifications for software development in avionics, which have been recently updated. The work that is presented in this paper, describes a research effort for defining a model-based software development life-cycle for avionic software system development that is based on a universally accepted specification standard, and focused on the requirements capture and modeling phase of the life-cycle.
引用
收藏
页码：991 / 995
页数：5
相关论文
共 50 条
12345