Safe-RE: a Safety Requirements Metamodel Based on Industry Safety Standards

被引:1
作者
Vilela, Jessyka [1 ,2 ]
Castro, Jaelson [2 ]
Martins, Luiz Eduardo G. [3 ]
Gorschek, Tony [4 ]
机构
[1] Univ Fed Ceara, Fortaleza, Ceara, Brazil
[2] Univ Fed Pernambuco UFPE, Recife, PE, Brazil
[3] Univ Fed Sao Paulo UNIFESP, Sao Paulo, Brazil
[4] BTH, Karlskrona, Sweden
来源
SBES'18: PROCEEDINGS OF THE XXXII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING | 2018年
关键词
Safety-Critical Systems; Metamodel; Requirements Engineering; Safety Standard; Safety Analysis;
D O I
10.1145/3266237.3266242
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Context: The development of Safety-Critical Systems (SCS) requires an adequate understanding of safety terms to avoid the specification of poor, incomplete or unclear safety requirements. However, there are some misunderstandings, mostly by requirements engineers, about the definition of such concepts. Hence, integration of safety concerns in the Requirements Engineering (RE) and a common nomenclature is necessary to improve the specification of these systems. Objective: To fill this gap, this paper presents Safe-RE, a safety requirements metamodel based on industry safety standards whose aim is to support the specification of safety-related concepts in the RE process. Method: We rely on safety standards as a basis for our work since companies must follow them to have their systems certified. Results: To illustrate the Safe-RE metamodel usage, we applied its concepts in an insulin infusion pump system. Conclusions: We hope that Safe-RE can contribute to improving the elicitation and specifications of such systems and therefore, reducing accidents and safety-related catastrophes. We also discuss some benefits we envision of using the metamodel, its limitations, and open issues.
引用
收藏
页码:196 / 201
页数:6
相关论文
共 14 条
[1]   A profile and tool for modelling safety information with design information in SysML [J].
Biggs, Geoffrey ;
Sakamoto, Takeshi ;
Kotoku, Tetsuo .
SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01) :147-178
[2]  
Briones JF, 2007, LECT NOTES COMPUT SC, V4761, P93
[3]  
de la Vara JL, 2013, LECT NOTES COMPUT SC, V8107, P69, DOI 10.1007/978-3-642-41533-3_5
[4]  
European Corporation for Space Standardization, 2013, ECSSEHB40A ESA REQ S
[5]  
Martins LEG, 2014, INT REQUIR ENG CONF, P412, DOI 10.1109/RE.2014.6912292
[6]  
Kaindl H, 2015, INT REQUIR ENG CONF, P241, DOI 10.1109/RE.2015.7320430
[7]   Industry needs and research directions in requirements engineering for embedded systems [J].
Sikora, Ernst ;
Tenbergen, Bastian ;
Pohl, Klaus .
REQUIREMENTS ENGINEERING, 2012, 17 (01) :57-78
[8]  
Sommerville I., 2015, Software Engineering, V10th
[9]  
Usman M, 2017, INT J EDUC RES INNOV, P1
[10]   Specifying Safety Requirements with GORE languages [J].
Vilela, Jessyka ;
Castro, Jaelson ;
Martins, Luiz Eduardo G. ;
Gorschek, Tony ;
Silva, Carla .
XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017), 2017, :154-163