Towards an evaluation infrastructure for automotive multicore real-time operating systems
Tiziana, Margaria;Bernhard, Steffen (Hrsg). Leveraging Applications of Formal Methods, Verification, and Validation. Berlin/ Heidelberg: Springer 2010 S. 483 - 486
Erscheinungsjahr: 2010
ISBN/ISSN: 978-3-642-16560-3
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-16561-0_44
| Geprüft | Bibliothek |
Inhaltszusammenfassung
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 t...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 ...» weiterlesen» einklappen
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
Verknüpfte Personen
- Michael Bohn
- Mitarbeiter/in
(Hochschule Trier)
- Jörn Schneider
- Professor
(Informatik)
