Advertisement

Meeting Real-Time Requirements with Multi-core Processors

  • Daniel Kästner
  • Marc Schlickling
  • Markus Pister
  • Christoph Cullmann
  • Gernot Gebhard
  • Reinhold Heckmann
  • Christian Ferdinand
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7613)

Abstract

Many multi-core processors exhibit characteristics that make it difficult or even impossible to use them in safety-critical real-time systems. To prevent sporadic failures and late-stage integration problems, the hardware properties of the processor and its peripherals have to be checked for their real-time capability at an early project stage. Selecting a configuration which enables predictable performance is an important requirement to achieve compliance with current safety standards, e.g., ISO-26262, IEC-61508, EN-50128, or DO-178B.

For timing-predictable hardware configurations safe worst-case execution time bounds can be computed by static analysis tools. Combined with scheduling analysis at the system level the correct end-to-end timing can be guaranteed. This article gives an overview of hardware features leading to predictability problems, shows examples of predictability-oriented multi-core configurations, and describes a tool-based methodology to ensure the correct timing behavior.

Keywords

Execution Time WCET Analysis Cache Replacement Policy Static Timing Analysis Private Cache 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Berg, C.: PLRU Cache Domino Effects. In: Proceedings of the International Workshop on Worst-Case Execution Time Analysis, WCET (2006)Google Scholar
  2. 2.
    CENELEC DRAFT prEN 50128. Railway applications – Communication, signalling and processing systems – Software for railway control and protection systems (2009)Google Scholar
  3. 3.
    Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pp. 238–252 (1977)Google Scholar
  4. 4.
    Cullmann, C., Ferdinand, C., Gebhard, G., Grund, D., Maiza, C., Reineke, J., Triquet, B., Wilhelm, R.: Predictability Considerations in the Design of Multi-Core Embedded Systems. In: Proceedings of Embedded Real Time Software and Systems, pp. 36–42 (May 2010)Google Scholar
  5. 5.
    Ermedahl, A.: A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University (2003)Google Scholar
  6. 6.
    Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and Precise WCET Determination for a Real-Life Processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 469–485. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  7. 7.
    Ferdinand, C., Wilhelm, R.: Fast and Efficient Cache Behavior Prediction for Real-Time Systems. Real-Time Systems 17(2-3), 131–181 (1999)CrossRefGoogle Scholar
  8. 8.
    Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System Level Performance Analysis – the SymTA/S Approach. IEEE Proceedings on Computers and Digital Techniques 152(2) (March 2005)Google Scholar
  9. 9.
    IEC 61508. Functional safety of electrical/electronic/programmable electronic safety-related systems (2010)Google Scholar
  10. 10.
    ISO/FDIS 26262. Road vehicles – Functional safety (2011)Google Scholar
  11. 11.
    Kästner, D., Ferdinand, C., Heckmann, R., Jersak, M., Gliwa, P.: An Integrated Timing Analysis Methodology for Real-Time Systems. In: Embedded World Congress (2011)Google Scholar
  12. 12.
    Lundqvist, T., Stenström, P.: Timing Anomalies in Dynamically Scheduled Microprocessors. In: Real-Time Systems Symposium, RTSS (December 1999)Google Scholar
  13. 13.
    NASA Engineering and Safety Center. Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation (2011)Google Scholar
  14. 14.
    Radio Technical Commission for Aeronautics. RTCA DO-178B. Software Considerations in Airborne Systems and Equipment CertificationGoogle Scholar
  15. 15.
    Reineke, J., Grund, D., Berg, C., Wilhelm, R.: Timing Predictability of Cache Replacement Policies. Real-Time Systems 37(2), 99–122 (2007)zbMATHCrossRefGoogle Scholar
  16. 16.
    Reineke, J., Wachter, B., Thesing, S., Wilhelm, R., Polian, I., Eisinger, J., Becker, B.: A Definition and Classification of Timing Anomalies. In: Proceedings of the International Workshop on Worst-Case Execution Time Analysis (2006)Google Scholar
  17. 17.
    Souyris, J., Le Pavec, E., Himbert, G., Jégu, V., Borios, G., Heckmann, R.: Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation. In: Proceedings of the 5th Intl Workshop on Worst-Case Execution Time (WCET) Analysis, pp. 21–24 (2005)Google Scholar
  18. 18.
    Verhulst, E., Sputh, B.: Hard Real-Time on Multicores: Shared Resources are the Challenge. White paper, Altreonic (2012)Google Scholar
  19. 19.
    Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P.: The Worst-Case Execution-Time Problem – Overview of Methods and Survey of Tools. ACM Transactions on Embedded Computing Systems 7(3), 1–53 (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Daniel Kästner
    • 1
  • Marc Schlickling
    • 1
  • Markus Pister
    • 1
  • Christoph Cullmann
    • 1
  • Gernot Gebhard
    • 1
  • Reinhold Heckmann
    • 1
  • Christian Ferdinand
    • 1
  1. 1.AbsInt GmbHSaarbrückenGermany

Personalised recommendations