research-article

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

Authors:

Eric Armengaud,

Christian KreinerAuthors Info & Claims

ACM SIGBED Review, Volume 11, Issue 4

Pages 67 - 72

https://doi.org/10.1145/2724942.2724953

Published: 22 January 2015 Publication History

Abstract

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 language aiming in specifying 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 information. 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 ensures consistency and correctness of the configuration. To that aim, a bidirectional tool bridge is proposed based on OSEK OIL exchange format files.

References

[1]

AUTOSAR development cooperation. AUTOSAR AUTomotive Open System ARchitecture, 2009.

[2]

Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, and Daniel Ratiu. Seamless Model-based Development: from Isolated Tool to Integrated Model Engineering Environments. IEEE Magazin, 2008.

[3]

Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, and Edoardo Sivera. Software Engineering in the European Automotive Industry: Achievements and Challenges. In COMPSAC, pages 1039--1044. IEEE Computer Society, 2008.

Digital Library

[4]

Holger Giese, Stephan Hildebrandt, and Stefan Neumann. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. LNCS 5765, pages pp. 555--579, 2010.

[5]

Zonghua Gu, Shige Wang, and Kang Shin. Issues in Mapping from UML Real-Time Profile to OSEK. In Proc SVERTS: Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, Workshop at UML 2003, October, page 7, 2003.

[6]

Joerg Holtmann, Jan Meyer, and Matthias Meyer. A Seamless Model-Based Development Process for Automotive Systems, 2011.

[7]

ISO - International Organization for Standardization. ISO 17356 Road vehicles -- Open interface for embedded automotive applications, 2005.

[8]

ISO - International Organization for Standardization. ISO 26262 Road vehicles Functional Safety Part 1--10, 2011.

[9]

JaeYoung Kim, JungWook Lee, Jeongho Son, Kee-Koo Kwon, and Gwangsu Kim. Lightweight AUTOSAR Software Platform for Automotive. In IEEE International Conference on Consumer Electronics, pages 307--308, 2012.

[10]

Lutz Koester, Thomas Thomsen, and Ralf Stracke. Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink. Embedded Intelligence 2001, 2001.

[11]

Georg Macher, Eric Armengaud, and Christian Kreiner. Automated Generation of AUTOSAR Description File for Safety-Critical Software Architectures. In Lecture Notes in Informatics, 2014.

[12]

Georg Macher, Eric Armengaud, and Christian Kreiner. Bridging Automotive Systems, Safety and Software Engineering by a Seamless Tool Chain. In 7th European Congress Embedded Real Time Software and Systems Proceedings, pages 256--263, 2014.

[13]

Roland Mader. Computer-Aided Model-Based Safety Engineering of Automotive Systems. PhD thesis, Graz University of Technology, 2012.

[14]

OSEK/VDX Steering Committee. OSEK/VDX System Generation OIL: OSEK Implementation Language. http://portal.osek-vdx.org/files/pdf/specs/oil25.pdf, 2004.

[15]

Imran Rafiq Quadri and Andrey Sadovykh. MADES: A SysML/MARTE high level methodology for real-time and embedded systems, 2011.

[16]

Guoqing Yang, Minde Zhao, Lei Wang, and Zhaohui Wu. Model-based Design and Verification of Automotive Electronics Compliant with OSEK/VDX. In Proceedings of the Second International Conference on Embedded Software and Systems, ICESS '05, pages 237--245, Washington, DC, USA, 2005. IEEE Computer Society.

Digital Library

[17]

Mingde Zhao, Zhaohui Wu, Guoqing Yang, Lei Wang 0023, and Wei Chen 0005. SmartOSEK: A Real-Time Operating System for Automotive Electronics. In Zhaohui Wu, Chun Chen, Minyi Guo, and Jiajun Bu, editors, ICESS, volume 3605 of Lecture Notes in Computer Science, pages 437--442. Springer, 2004.

Digital Library

Cited By

Kangunde VJamisola RTheophilus E(2021)A review on drones controlled in real-timeInternational Journal of Dynamics and Control10.1007/s40435-020-00737-5Online publication date: 5-Jan-2021
https://doi.org/10.1007/s40435-020-00737-5
Zhang XLu FCui MFujita MDong JArai M(2019)A review of OSEK/VDX application verification methodsProceedings of the 5th International Conference on Communication and Information Processing10.1145/3369985.3370003(37-42)Online publication date: 15-Nov-2019
https://dl.acm.org/doi/10.1145/3369985.3370003
Mazkatli MBurger EQuante JKoziolek AHorkoff JKokaly SPaige RSimmonds J(2018)Integrating semantically-related legacy models in vitruviusProceedings of the 10th International Workshop on Modelling in Software Engineering10.1145/3193954.3193961(41-48)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3193954.3193961

Index Terms

Automotive real-time operating systems: a model-based configuration approach
1. Software and its engineering

Recommendations

Hardware support for real-time operating systems
CODES+ISSS '03: Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

The growing complexity of embedded applications and pressure on time-to-market has resulted in the increasing use of embedded real-time operating systems. Unfortunately, RTOSes can introduce a significant performance degradation. This paper presents the ...
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

Timing correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
Real-Time Operating Systems for Small Microcontrollers

Real-time operating systems have gained popularity in microcontroller- and processor-based embedded system design. This article discusses differences between RTOSs and generic operating systems, the advantages and disadvantages of using RTOSs for small ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review

ACM SIGBED Review Volume 11, Issue 4

Special Issue on the 4th Embedded Operating Systems Workshop (EWiLi 2014)

December 2014

66 pages

EISSN:1551-3688

DOI:10.1145/2724942

Editors:
Oleg Sokolsky
University of Pennsylvania
,
Georgios E. Fainekos
Arizona State University
,
Jalil BOUKHOBZA
University of Western Brittany, France
,
Jean Philippe DIGUET
University of South Brittany, France
,
Pierre FICHEUX
OWI, France
,
Frank SINGHOFF
University of Western Brittany, France

Issue’s Table of Contents

Copyright © 2015 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 January 2015

Published in SIGBED Volume 11, Issue 4

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Austrian Research Promotion Agency (FFG)
Austrian Federal Ministry for Transport, Innovation and Technology (BMVIT)
Province of Styria, and the Styrian Business Promotion Agency (SFG)
Austrian Federal Ministry of Economy, Family and Youth (BMWFJ)

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
458
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)3

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kangunde VJamisola RTheophilus E(2021)A review on drones controlled in real-timeInternational Journal of Dynamics and Control10.1007/s40435-020-00737-5Online publication date: 5-Jan-2021
https://doi.org/10.1007/s40435-020-00737-5
Zhang XLu FCui MFujita MDong JArai M(2019)A review of OSEK/VDX application verification methodsProceedings of the 5th International Conference on Communication and Information Processing10.1145/3369985.3370003(37-42)Online publication date: 15-Nov-2019
https://dl.acm.org/doi/10.1145/3369985.3370003
Mazkatli MBurger EQuante JKoziolek AHorkoff JKokaly SPaige RSimmonds J(2018)Integrating semantically-related legacy models in vitruviusProceedings of the 10th International Workshop on Modelling in Software Engineering10.1145/3193954.3193961(41-48)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3193954.3193961

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents