@inproceedings{3bc280510434443e947be4da6a2248d2,
title = "The safety requirements decomposition pattern",
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.",
keywords = "Architecture, Completeness, Consistency, Failure propagation model, Safety requirement, Traceability",
author = "Antonino, {Pablo Oliveira} and Mario Trapp and Paulo Barbosa and Gurj{\~a}o, {Edmar C.} and Jeferson Ros{\'a}rio",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015 ; Conference date: 23-09-2015 Through 25-09-2015",
year = "2015",
doi = "10.1007/978-3-319-24255-2_20",
language = "English",
isbn = "9783319242545",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "269--282",
editor = "Floor Koornneef and {van Gulijk}, Coen",
booktitle = "Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015, Proceedings",
}