System design for enhanced forward-engineering possibilities of safety critical embedded systems

Due to the high overall complexity of embedded systems in the automotive domain, the concept and system design phases have shown to be important, as they lay the foundations for implementations. Therefore, front-loading principles are advantageous. In this work, we present a methodology for semi-formal notation based system design. In the end, we demonstrate a transformation scheme for the conversion from system models to executable code, featuring full traceability and support for hardware and software paradigms. An automotive use case demonstrates the capabilities of the outlined approach.