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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-24255-2_20 | International Conference on Computer Safety, Reliability and Security |
Keywords | Field | DocType |
Safety requirement, Architecture, Failure propagation model, Traceability, Completeness, Consistency | Architecture,Systems engineering,Computer science,Avionics,Completeness (statistics),Traceability,Reliability engineering,Non-functional requirement,Requirements traceability,Automotive industry | Conference |
Volume | ISSN | Citations |
9337 | 0302-9743 | 1 |
PageRank | References | Authors |
0.35 | 7 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pablo Oliveira Antonino | 1 | 77 | 14.65 |
Mario Trapp | 2 | 180 | 13.70 |
Paulo E. S. Barbosa | 3 | 23 | 5.14 |
edmar c gurjao | 4 | 2 | 2.79 |
Jeferson Rosário | 5 | 1 | 0.35 |