Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The safety requirements decomposition pattern

 
: Antonino, Pablo; Trapp, Mario; Barbosa, Paulo; Gurjäo, Edmar C.; Rosário, Jeferson

:

Koornneef, Floor (Ed.):
Computer Safety, Reliability, and Security. 34th International Conference, SAFECOMP 2015. Proceedings : Delft, The Netherlands, September 23–25, 2015
Cham: Springer International Publishing, 2015 (Lecture Notes in Computer Science 9337)
ISBN: 978-3-319-24254-5 (Print)
ISBN: 978-3-319-24255-2 (Online)
S.269-282
International Conference on Computer Safety, Reliability, and Security (SAFECOMP) <34, 2015, Delft>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()
safety requirement; software architecture; failure propagation model; traceability; completeness; consistency

Abstract
Safety requirement specifications usually have heterogeneous structures, most likely based on the experience of the engineers involved in the specification process. Consequently, it gets difficult to ensure that recommendations given in standards are considered, e.g., evidence that the requirements are complete and consistent with other development artifacts. To address this challenge, we present in this paper the Safety Requirements Decomposition Pattern, which aims at supporting the decomposition of safety requirements that are traceable to architecture and failure propagation models. The effectiveness of the approach has been observed in its application in different domains, such as automotive, avionics, and medical devices. In this paper, we present its usage in the context of an industrial Automated External Defibrillator system.

: http://publica.fraunhofer.de/dokumente/N-366384.html