PhD Theses in Experimental Software Engineering, Band 52
Hrsg.: Fraunhofer IESE, Kaiserslautern
2015, 214 S., num. illus. and tab., Softcover
SafeRE (Safety-oriented Requirements Engineering) is a novel method for concurrently and completely determining functional requirements and safety requirements in software-intensive safety-critical systems. It defines a general structure and a grammar for accommodating both functional and safety requirements and proposes a systematic safety analysis based on the identified type-based functional requirements for deriving safety requirements.