Generic Safety Requirements Description Templates for the Embedded Software

被引:0
作者
Fu, Rongrong [1 ]
Bao, Xiaohong [1 ]
Zhao, Tingdi [1 ]
机构
[1] Beihang Univ, Sch Reliabil & Syst Engn, Beijing, Peoples R China
来源
2017 IEEE 9TH INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS (ICCSN) | 2017年
关键词
embedded software; requirements description; safety requirements description templates; SYSTEMS;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
It is generally believed that the correct description of safety requirements is the key of the whole safety work. However, there is not safety standard that is abided by in the requirements description now and the natural language with which there is no difference between the safety description and the function description is widely used in industry. Currently, the parameterized safety requirements templates are applicable in European industry but based on English. In order to find out appropriate safety requirements description templates, this paper represents safety requirements description templates for the embedded software based on the UML modeling mechanism and the content of GJB 438B-2009. The steps about how to put forward the safety requirements templates are shown following: Firstly, the structural elements of the static structure and dynamic operation are respectively found out according to the modeling mechanism of UML; Secondly, the failure modes on structural elements are presented; Thirdly, the safety requirements are obtained by presenting safety strategies in the view of failure avoidance, failure detection, failure tolerance and alarm and so on; Finally, The safety requirements description templates which include safety requirements structural elements description templates and safety requirements sentence pattern description templates are proposed based on obtained structural elements, failure modes, safety trategies and the content of GJB 438B-2009. The proposed safety requirements description templates which give criterions in requirements description are beneficial to promote the understanding and communication between engineering technicians and improve embedded software safety level.
引用
收藏
页码:1477 / 1481
页数:5
相关论文
共 50 条
  • [41] Growth of embedded software related patents
    McQueen, DH
    Olsson, H
    TECHNOVATION, 2003, 23 (06) : 533 - 544
  • [42] Reserch on Enviroment of Embedded Software Testing
    Wang Yi-chen
    Lan Xin-sheng
    ADVANCED MATERIALS AND INFORMATION TECHNOLOGY PROCESSING, PTS 1-3, 2011, 271-273 : 622 - +
  • [43] EMBEDDED SOFTWARE: FACTS, FIGURES, AND FUTURE
    Ebert, Christof
    Jones, Capers
    COMPUTER, 2009, 42 (04) : 42 - +
  • [44] A System for Performance Evaluation of Embedded Software
    Cho, Yong-Yoon
    Moon, Jong-Bae
    Kim, Young-Chul
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 1, 2007, 1 : 47 - 50
  • [45] Dynamic Property Mining for Embedded Software
    Bonato, Marco
    Di Guglielmo, Giuseppe
    Fujita, Masahiro
    Fummi, Franco
    Pravadelli, Graziano
    CODES+ISSS'12:PROCEEDINGS OF THE TENTH ACM INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE-CODESIGN AND SYSTEM SYNTHESIS, 2012, : 187 - 196
  • [46] Automated Checking of Conformance to Requirements Templates Using Natural Language Processing
    Arora, Chetan
    Sabetzadeh, Mehrdad
    Briand, Lionel
    Zimmer, Frank
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2015, 41 (10) : 944 - 968
  • [47] Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study
    Sirgabsou, Yandika
    Baron, Claude
    Pahun, Laurent
    Esteban, Philippe
    COMPUTERS IN INDUSTRY, 2022, 138
  • [48] Embedded Software Reliability for Unreliable Hardware
    Chen, Jian-Jia
    Shafique, Muhammad
    2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
  • [49] Ensuring Software Safety in Safety Critical Domains
    Bahig, Ghada Moussa
    El-Kadi, Amr
    2012 INTERNATIONAL CONFERENCE FOR INTERNET TECHNOLOGY AND SECURED TRANSACTIONS, 2012, : 308 - 312
  • [50] Highly reliable embedded software development using advanced software technologies
    Katayama, T
    Nakajima, T
    Yuasa, T
    Kishi, T
    Nakajima, S
    Oikawa, S
    Yasugi, M
    Aoki, T
    Okazaki, M
    Umatani, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2005, E88D (06): : 1105 - 1116