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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Navet, N., Simonot-Lion, F. (eds.): The Automotive Embedded Systems Handbook. Industrial Information Technology series. CRC Press / Taylor and Francis (December 2008) ISBN 978-0849380266
MAST website, http://mast.unican.es
Cheddar website, http://beru.univ-brest.fr
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)
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)
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)
Leung, J., Whitehead, J.: On the Complexity of Fixed-priority Scheduling of Periodic, Real-time Tasks. Performance Evaluation 2, 237–250 (1982)
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)
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)
Tindell, K.: Adding Time-Offsets to Schedulability Analysis. Technical Report YCS 221, Dept. of Computer Science, University of York, England (January 1994)
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)
Rapid-RMA website, http://tripac.com/html/prod-fact-rrm.html
SymTA/S website, http://www.symtavision.com/symtas.html
AADL website, http://www.aadl.info
MARTE website, http://www.omgmarte.org
Papyrus website, http://www.papyrusuml.org
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)
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
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Anssi, S., Gérard, S., Albinet, A., Terrier, F. (2011). Requirements and Solutions for Timing Analysis of Automotive Systems. In: Kraemer, F.A., Herrmann, P. (eds) System Analysis and Modeling: About Models. SAM 2010. Lecture Notes in Computer Science, vol 6598. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21652-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-21652-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21651-0
Online ISBN: 978-3-642-21652-7
eBook Packages: Computer ScienceComputer Science (R0)