Automotive real-time operating systems: a model-based configuration approach

  title={Automotive real-time operating systems: a model-based configuration approach},
  author={Georg Macher and Muesluem Atas and Eric Armengaud and Christian Kreiner},
  journal={SIGBED Rev.},
Automotive embedded systems have become very complex, are strongly integrated, and the safety-criticality and real-time constraints of these systems raise new challenges. Distributed system development, short time-to-market intervals, 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… 

Figures and Tables from this paper

Filling the gap between automotive systems, safety, and software engineering
The aim of the presented work is to establish a model-driven system and safety-engineering framework to support the seamless description of safety-critical systems, from requirements at the system level to final component implementation.
Seamless Model-Based Safety Engineering from Requirement to Implementation
Aim of this paper is to provide an overview of the scientific research problem, approaches to solve the problem and ways to evaluate the solution found by the project related PhD thesis.
Automotive Systems Modelling with Vitruvius
This paper applies the model-based Vitruvius approach, which preserves consistency in heterogeneous modelling environments, to a scenario of automotive systems development, which includes the modelling standards SysML, AMALTHEA and ASCET.
Constructing ECU Software Architecture Based on OSEK
  • Shourong Lu, Q. Jin
  • Computer Science
    2019 4th International Conference on Mechanical, Control and Computer Engineering (ICMCCE)
  • 2019
An ECU embedded software architecture based on OSEK is defined in this paper, which is constructed by external applications,RTOS API, RTOS-kernel, hardware abstraction layer and hardware.
Real-Time Operating System (RTOS) with Different Application: A Systematic Mapping
  • Sarah Khan
  • Computer Science
    European Journal of Engineering and Technology Research
  • 2021
High RTOS are clustering and performance for all applications, white alternate programs measured as least important and statistics and results helped in implementation of a more engrossed technique towards the implementation and improvement of RTOS.
A review of OSEK/VDX application verification methods
This paper makes an introduction and review of OSEK/VDX application verification method, and the main shortcomings of current methods, which is the state explosion problem existing in verification procedure.
Integrating Semantically-Related Legacy Models in Vitruvius
An algorithm for automatic consistency checking of multiple existing models and for semi-automatic resolving of the potential conflicts is proposed by a case study from automotive systems development and it is proposed to integrate existing models in the languages SysML, AMALTHEA and ASCET.
Task Scheduling with Load Balancing on Automotive Multicore ECUs
  • Geetishree Mishra, Rajeshwari Hegde
  • Computer Science
    2018 International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE)
  • 2018
A low-complexity modified heuristic algorithm to partition and build thread sets and map those on to cores so as to balance the load across the cores to achieve a balanced load with task scheduling in simulating environment is presented.
A review on drones controlled in real-time
Real-time aspects of drones control as well as possible implementation of real-time flight control system to enhance drones performance are discussed.


Automated Generation of AUTOSAR Description File for Safety-Critical Software Architectures
A tool bridge is proposed in order to seamlessly transfer artifacts from system development level to software development level based on AUTOSAR exchange format files, as part of a tool-chain solution enabling the seamless description of safety-critical systems.
MADES : A SysML / MARTE high level methodology for real-time and embedded systems
The EU funded MADES project, which aims to develop novel model-driven techniques to improve existing practices in development of RTES for avionics and surveillance embedded systems industries, is presented.
A Seamless Model-Based Development Process for Automotive Systems
This paper presents a seamless, model-based development process, which is intended for the automotive supplier domain and conforms to the process reference model of Automotive SPICE R ©.
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
This paper presents the model synchronization algorithm based on triple graph grammars in detail and introduces a general approach for model synchronization which consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest.
SmartOSEK: A Real-Time Operating System for Automotive Electronics
This paper puts forward SmartOSEK, a dependable platform for automobile electronics, which consists of an operating system compliant with OSEK/VDX specifications and an integrated development
Model-based design and verification of automotive electronics compliant with OSEK/VDX
A model-based approach for automobile electronics software design and verification with a dependable platform compliant with OSEK/VDX standard is put forward.
Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink
The article focuses on concepts and techniques used by TargetLink to achieve OSEK-compliant code generation and gives striking evidence of how powerful standards can boost tool development and how they can help integrate different tool systems, which had been completely separated before.
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems
  • I. Quadri, E. Brosse, A. Sadovykh
  • Computer Science
    7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)
  • 2012
The paper first illustrates the MADES methodology by means of a car collision avoidance system case study, followed by the underlying MADES language design phases and tool set which enable verification and automatic code generation aspects, hence enabling implementation in execution platforms such as state of the art FPGAs.
Lightweight AUTOSAR software platform for automotive
This lightweight AUTOSAR software platform is well suited for developing time-critical application software and can be utilized the application software for controlling automotive parts and modules.
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments
It is shown that from a scientific point of view, all ingredients are at the hands to do a substantial step into an integrated process and tool world and why such a solution has not been achieved so far, and what is to be done to get a step closer to seamless model-based engineering.