首页    期刊浏览 2025年03月03日 星期一
登录注册

文章基本信息

  • 标题:A Software Safety Model for Safety Critical Applications
  • 本地全文:下载
  • 作者:M. Ben Swarup ; P. Seetha Ramaiah
  • 期刊名称:International Journal of Software Engineering and Its Applications
  • 印刷版ISSN:1738-9984
  • 出版年度:2009
  • 卷号:3
  • 期号:4
  • 出版社:SERSC
  • 摘要:Software has become responsible for most of the critical functions of complex systems. Software safety is the notion that software will execute within a system context without contributing to hazards. Software for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe. Software safety is a composite of many criteria. Existing software quality models like McCall’s and Boehm’s and ISO 9126 are inadequate in addressing the software safety issues of real time safety-critical embedded systems. At present there does not exist any standard model that comprehensively addresses the factors, criteria and metrics (FCM) approach of the quality models in respect of software safety. This paper proposes a new model for software safety based on the McCall’s software quality model that specifically identifies the criteria corresponding to software safety in safety critical applications. This framework is then applied to a prototype safety-critical system viz. a software–controlled Road Traffic Control System (RTCS) commonly used in city traffic, to validate its utility.
  • 关键词:software quality; software safety; safety-critical system
国家哲学社会科学文献中心版权所有