Safe requirements engineering

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.