Towards an evaluation infrastructure for automotive multicore real-time operating systems

  • Jörn Schneider, Christian Eltges
    Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems
    In Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II, 2010
  • Paper: PDF (131 KB)
  • 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.
  • BibTex:

    @INPROCEEDINGS{
       Schneider:2010a,
       author = {J.~Schneider and C.~Eltges},
       title = {Towards an evaluation infrastructure for automotive multicore real-time operating systems},
       booktitle = {Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II},
       year = {2010}, series = {ISoLA'10},
       pages = {483--486},
       publisher = {Springer-Verlag},
       location = {Heraklion, Crete, Greece},
       numpages = {4}
    }