Requirements and Solutions for Timing Analysis of Automotive Systems

  • Saoussen Anssi
  • Sébastien Gérard
  • Arnaud Albinet
  • François Terrier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6598)

Abstract

Automotive software systems are characterized by increasing complexity, tougher safety requirements and ever-tighter timing constraints. Recent industrial experience has indicated that timing verification and validation can help improving overall system quality and avoid costly design errors. In this paper, we discuss some crucial capabilities that need to be pro-vided by scheduling analysis tools to enable accurate timing analysis for automotive applications. We evaluate the extent to which two open-source analysis tools, MAST and Cheddar, meet these needs.

Keywords

Automotive applications scheduling analysis scheduling analysis tool requirements scheduling analysis tool capabilities 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Navet, N., Simonot-Lion, F. (eds.): The Automotive Embedded Systems Handbook. Industrial Information Technology series. CRC Press / Taylor and Francis (December 2008) ISBN 978-0849380266Google Scholar
  2. 2.
    MAST website, http://mast.unican.es
  3. 3.
    Cheddar website, http://beru.univ-brest.fr
  4. 4.
    Lehoczky, J., Sha, L., Ding, Y.: The Rate Monotonic Scheduling Algorithm: Exact Characterisation and Average Case Behaviour. In: Proceedings of the Real-Time Systems Symposium (1989)Google Scholar
  5. 5.
    Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard Real Time Environment. Journal of the Association for Computing Machinery (January 1973)Google Scholar
  6. 6.
    Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.: Applying New Scheduling Theory to Static Priority Preemptive Scheduling. Software Engineering Journal 8(5), 285–292 (1993)CrossRefGoogle Scholar
  7. 7.
    Leung, J., Whitehead, J.: On the Complexity of Fixed-priority Scheduling of Periodic, Real-time Tasks. Performance Evaluation 2, 237–250 (1982)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Lehoczky, J.: Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. In: Proceedings of 11th IEEE Real-Time Systems Symposium, December 5-7, pp. 201–209 (1990)Google Scholar
  9. 9.
    Tindell, K., Clark, J.: Holistic Schedulability Analysis for Distributed Real-time Systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems) 40, 117–134 (1994)Google Scholar
  10. 10.
    Tindell, K.: Adding Time-Offsets to Schedulability Analysis. Technical Report YCS 221, Dept. of Computer Science, University of York, England (January 1994)Google Scholar
  11. 11.
    Palencia Gutiérrez, J.C., González Harbour, M.: Schedulability Analysis for Tasks with Static and Dynamic Offsets. In: Proceedings of the 18th IEEE Real-Time Systems Symposium, Madrid, Spain (December 1998)Google Scholar
  12. 12.
  13. 13.
  14. 14.
    AADL website, http://www.aadl.info
  15. 15.
    MARTE website, http://www.omgmarte.org
  16. 16.
    Papyrus website, http://www.papyrusuml.org
  17. 17.
    Traub, M., Lauer, V., Becker, J., Jersak, M., Richter, K., Kuhl, M.: Using timing analysis for evaluating communication behaviour network topologies in an early design phase of automotive electric/electronic architectures. In: SAE World Congress, Detriot, MI, USA (April 2009)Google Scholar
  18. 18.
    Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a Flexible Real Time Scheduling Framework. ACM SIGAda Ada Letters 24(4), 1–8 (2004) ISSN:1094-3641 CrossRefGoogle Scholar
  19. 19.
    Drake, J.M., Harbour, M.G., Gutiérrez, J.J., Martinez, P.L., Medina, J.L., Palencia, J.C.: Modelling and Analysis Suite for Real Time Applications (MAST 1.3.7), Description of the MAST Model. Report, Universidad De Cantabria, SPAIN (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Saoussen Anssi
    • 1
    • 2
  • Sébastien Gérard
    • 1
    • 2
  • Arnaud Albinet
    • 1
    • 2
  • François Terrier
    • 1
    • 2
  1. 1.Continental Automotive France SAS, PowerTrain E IPPFrance
  2. 2.CEA LIST, Laboratory of model driven engineering for embedded systemsGif-sur-YvetteFrance

Personalised recommendations