Automotive Real-time Operating Systems: A Model-Based Configuration Approach

Automotive embedded systems have become very complex, are strongly integrated, and the safety-criticality and real-time constraints of these systems raise new challenges. Dis-tributed system development, short time-to-market inter-vals, and automotive safety standards (such as ISO 26262 [8]) require efficient and consistent product development along the entire development lifecycle. The automotive OSEK/ VDX standard provides an architecture for distributed real-time units in vehicles and a language aiming in specify-ing the configuration of real-time OSEK operating systems. The aim of this paper is to enhance a model-driven system-engineering framework with the capability of generating OS configurations from existing high level control system infor-mation. Furthermore, to enable the possibility to update stored information from OSEK Implementation Language (OIL) files and support round-trip engineering of real-time operating system (RTOS) configurations. This enables the seamless description of automotive RTOS, from system level requirements to software implementation and therefore en-sures consistency and correctness of the configuration. To that aim, a bidirectional tool bridge is proposed based on OSEK OIL exchange format files