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)
International Conference on Computer Safety, Reliability, and Security (SAFECOMP) <34, 2015, Delft>
Fraunhofer IESE ()
safety requirement; software architecture; failure propagation model; traceability; completeness; consistency

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.