Mixed Feelings About Mixed Criticality (Invited Paper)

Author Reinhard Wilhelm



PDF
Thumbnail PDF

File

OASIcs.WCET.2018.1.pdf
  • Filesize: 0.51 MB
  • 9 pages

Document Identifiers

Author Details

Reinhard Wilhelm
  • Informatik, Universitaet des Saarlandes, Saarland Informatics Campus, Saarbruecken, Germany

Cite AsGet BibTex

Reinhard Wilhelm. Mixed Feelings About Mixed Criticality (Invited Paper). In 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018). Open Access Series in Informatics (OASIcs), Volume 63, pp. 1:1-1:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/OASIcs.WCET.2018.1

Abstract

I point to some challenges for WCET analysis offered in the transition to integrated mixed-criticality systems (MCSs) and to multi-core platforms, claim that proposed certification standards are inadequate, show that the MCS model heavily used by the scheduling community is fraught, and clarify why the traditional abstract interface between WCET analysis and schedulability analysis is obsolete. A central point is the insistence on sound approaches. I give a detailed account of how the most rigid certification procedures, those of the avionics domain, are satisfied, to defend the validity of my claims.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Real-time systems software
Keywords
  • WCET analysis
  • mixed criticality systems
  • multi-core platforms
  • scheduling
  • schedulability

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. RTCA/DO-178C Software Considerations in Airborne Systems and Equipment Certification, 2013. Google Scholar
  2. Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, and Reinhard Wilhelm. Impact of Resource Sharing on Performance and Performance Prediction: A Survey. In Pedro R. D'Argenio and Hernán C. Melgratti, editors, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8052 of Lecture Notes in Computer Science, pages 25-43. Springer, 2013. URL: http://dx.doi.org/10.1007/978-3-642-40184-8_3.
  3. Neil Audsley. Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times. Technical Report 164, Department of Computer Science, University of York, November 1991. Google Scholar
  4. Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, and Wang Yi. Building timing predictable embedded systems. ACM Trans. Embedded Comput. Syst., 13(4):82:1-82:37, 2014. URL: http://dx.doi.org/10.1145/2560033.
  5. A. Burns and R. Davis. Mixed criticality systems-a review. Technical report, Department of Computer Science, University of York, 2013. Google Scholar
  6. Certification Authorities Software Team. Multi/core processors, CAST-32A edition, November 2016. position paper. Google Scholar
  7. Patrick Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Robert M. Graham, Michael A. Harrison, and Ravi Sethi, editors, Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pages 238-252. ACM, 1977. URL: http://dx.doi.org/10.1145/512950.512973.
  8. Benoît Dupont de Dinechin, Duco van Amstel, Marc Poulhiès, and Guillaume Lager. Time-critical computing on a single-chip massively parallel processor. In Gerhard Fettweis and Wolfgang Nebel, editors, Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pages 1-6. European Design and Automation Association, 2014. URL: http://dx.doi.org/10.7873/DATE.2014.110.
  9. C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm. Reliable and Precise WCET Determination for a Real-Life Processor. In EMSOFT, volume 2211 of LNCS, pages 469-485, 2001. Google Scholar
  10. Christian Ferdinand and Reinhard Wilhelm. Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real-Time Systems, 17(2-3):131-181, 1999. Google Scholar
  11. Gernot Gebhard. Static timing analysis tool validation in the presence of timing anomalies. PhD thesis, Saarland University, 2013. URL: http://scidok.sulb.uni-saarland.de/volltexte/2013/5558/.
  12. Reinhold Heckmann, Marc Langenbach, Stephan Thesing, and Reinhard Wilhelm. The influence of processor architecture on the design and the results of WCET tools. IEEE Proceedings on Real-Time Systems, 91(7):1038-1054, 2003. Google Scholar
  13. Jan Reineke, Daniel Grund, Christoph Berg, and Reinhard Wilhelm. Timing predictability of cache replacement policies. Real-Time Systems, 37(2):99-122, 2007. URL: http://dx.doi.org/10.1007/s11241-007-9032-3.
  14. Alan C. Shaw. Deterministic timing schema for parallel programs. In V. K. Prasanna Kumar, editor, The Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30 - May 2, 1991., pages 56-63. IEEE Computer Society, 1991. URL: http://dx.doi.org/10.1109/IPPS.1991.153757.
  15. Stephan Thesing. Safe and Precise WCET Determinations by Abstract Interpretation of Pipeline Models. PhD thesis, Saarland University, 2004. Google Scholar
  16. Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, and Christian Ferdinand. An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. In 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pages 625-632. IEEE Computer Society, 2003. URL: http://dx.doi.org/10.1109/DSN.2003.1209972.
  17. Steve Vestal. Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. In Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA, pages 239-243. IEEE Computer Society, 2007. URL: http://dx.doi.org/10.1109/RTSS.2007.47.
  18. Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, and Stephan Wilhelm. Static Timing Analysis for Hard Real-Time Systems. In Gilles Barthe and Manuel V. Hermenegildo, editors, Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings, volume 5944 of Lecture Notes in Computer Science, pages 3-22. Springer, 2010. URL: http://dx.doi.org/10.1007/978-3-642-11319-2_3.
  19. Reinhard Wilhelm, Jan Reineke, and Sven Wegener. Keeping Up with Real Time. In Umut Durak, Juergen Becker, Sven Hartmann, and Nikolaos S. Voros, editors, Advances in Aeronautical Informatics: Technologies Towards Flight 4.0. Springer, 2018. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail