Macher, G., Atas, M., Armengaud, E., and Kreiner, C., "A Model-Based Configuration Approach for Automotive Real-Time Operating Systems," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 8(2):270-277, 2015, doi:10.4271/2015-01-0183.
Automotive embedded systems have become very complex, are strongly integrated, and the safety-criticality and real-time constraints of these systems raise new challenges. The OSEK/VDX standard provides an open-ended architecture for distributed real-time capable units in vehicles. This is supported by the OSEK Implementation Language (OIL), a language aiming at specifying the configuration of these real-time operating systems. The challenge, however, is to ensure consistency of the concept constraints and configurations along the entire product development.The contribution of this paper is to bridge the existing gap between model-driven systems engineering and software engineering for automotive real-time operating systems (RTOS). For this purpose a bidirectional tool bridge has been established based on OSEK OIL exchange format files. The approach makes use of existing high-level control system information in SysML format to generate the configuration of automotive real-time operating systems. The implemented tool extension transfers artifacts from system engineering domain to software development frameworks for RTOS configuration, thereby creating traceable links across domain and tool boundaries, and relying on standardized OSEK OIL exchange files.