Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development

In the development of safety-critical embedded systems functional and non-functional requirements must be considered. Due to the growing complexity of those systems the need of a seamless and fully analysable design methodology is necessary. Even though such a design process consists of several development steps in this paper we focus on formalizing non-functional requirements to achieve an unambiguous specification of the system timing constraints. The formalizes requirements expressed in SysML requirement diagrams could be transformed and annotated to the architecture model. The architecture model could be mapped to a time-automata for analyzing the timed behavior with state-of-the-art techniques like UPPAAL. Within the paper we demonstrate the first steps towards our seamless design approach on an example from the automotive area.