Functional safety of automotive embedded systems is a key issue during the development process. To support the industry, the automotive functional safety standard ISO 26262 has been defined. However, there are several limitations when following the approach directly as defined in the standard.
Within this work, we propose an approach for the integration and test of safety-critical systems by using system modeling techniques. The combination of two state-of-the-art modeling languages into a dedicated multi-language development process provides a direct link between all stages of the development process, thus enabling efficient safety verification and validation already during modeling phase. It supports the developer in efficient application of requirements as defined by ISO 26262, hence reducing development time and cost by providing traceable safety argumentation.
Based on a hybrid electric power train scenario, we evaluate the benefits of the proposed system modeling approach for early verification and validation of safety-critical embedded systems.