Abstract
The automotive industry is on the road to multicore and already included supporting features in their AUTOSAR standard, yet they could not decide for a multicore resource locking protocol. It is crucial for the future acceptance and possibilities of multicore systems to allow for informed decisions on this topic, as it immediately impacts the inter-core communication performance and thereby the value-cost ratio of such systems. We present the design of a real-time operating system simulator that allows to evaluate the different multicore synchronisation mechanisms of the real-time research community regarding their fitness for automotive hard real-time applications. You can reuse the key design idea of this simulator for any simulation based tool for the early timing evaluation of different real-time mechanisms, e. g. scheduling algorithms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
AUTOSAR release 4.0 — Specification of Multi-Core OS Architecture (December 2009), http://www.autosar.org/download/R4.0/AUTOSAR_SWS_MultiCoreOS.pdf
AUTOSAR release 4.0 — Requirements on Multi-Core OS Architecture (November 2009), http://www.autosar.org/download/R4.0/AUTOSAR_SRS_MultiCoreOS.pdf
Kraft, J.: RTSSim - a simulation framework for complex embedded systems. Technical Report, Mälardalen University (March 2009), http://www.mrtc.mdh.se/publications/1629.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schneider, J., Eltges, C. (2010). Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-16561-0_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16560-3
Online ISBN: 978-3-642-16561-0
eBook Packages: Computer ScienceComputer Science (R0)