Under CopyrightAssis, Pablo Oliveira Antonino dePablo Oliveira Antonino deAssis2022-03-0729.09.20172016https://publica.fraunhofer.de/handle/publica/28107910.24406/publica-fhg-281079The lack of guidance on how to specify safety requirements that are properly traceable to the architecture design and to failure propagation models is one of the main reasons for their incompleteness and inconsistency, what turns to be a root cause of safety incidents. This book describes techniques to address this challenge in early and late stages of the development process.enSystems analysis & designComputermodellierungSimulationSystemanalyse und Designsoftware engineeringhealth and safety aspects of ITrequirements engineeringsafety engineeringsoftware architecturesystems architectureResearchers and practitioners in software engineering004005006Improving the Consistency and Completeness of Safety Requirements Specificationsdoctoral thesis