This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Scheduling Analysis and Optimization for Safety-Critical Automotive Systems
Technical Paper
2008-01-0123
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
When designing safety-critical automotive systems, verification of timing and performance are key, especially the verification of hard deadlines and other critical timing constraints. Test- or simulation-based approaches suffer from corner-case coverage problems and are becoming less reliable as systems grow in size and complexity. Time-triggered mechanisms (e.g. OSEKtime and FlexRay) were proposed as a way out by providing better timing prediction. However, for reasons of cost, flexibility and reactivity, future cars will mostly likely contain a mix of event-triggered (ET) and time-triggered (TT) components that are combined synchronously and/or asynchronously, thereby further complicating timing. Scheduling analysis has recently matured to allow reliable timing verification and systematic optimization for ET, TT, and mixed systems. In this paper, we demonstrate the application of scheduling analysis in a SIL-3 software development and a safety-critical FlexRay-based distributed control system for which we calculate the worst-case end-to-end timing.
Recommended Content
Authors
Topic
Citation
Richter, K. and Jersak, M., "Scheduling Analysis and Optimization for Safety-Critical Automotive Systems," SAE Technical Paper 2008-01-0123, 2008, https://doi.org/10.4271/2008-01-0123.Also In
References
- OSEK/VDX http://www.osek-vdx.org/
- FlexRay Consortium http://www.flexray.com/
- Liu C. L. Layland J. W. Scheduling algorithms for multiprogramming in a hard real-time environment Journal of the ACM 20 1 46 61 1973
- Audsley N. Burns A. Richardson M. Tindell K. Wellings A.J. Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling Software Engineering Journal 8 1993
- Sprunt B. Sha L. Lehoczky J. P. Aperiodic Task Scheduling for Hard Real-Time Systems, Real-Time Systems The International Journal of Time-Critical Computing Systems 1 1989
- Tindell K. Adding time-offsets to schedulability analysis Technical Report YCS 221 University of York 1994
- Tindell K. Burns A. Guaranteed Message Latencies for Distributed Safety Critical Hard Real-Time Networks Technical Report YCS 229 Univ. of York 1994
- Kopetz H. Gruensteidl G. TTP - a time-triggered protocol for fault-tolerant computing Proceedings 23rd International Symposium on Fault-Tolerant Computing 524 532 1993
- Richter K. Compositional Scheduling Analysis Using Standard Event Models - The SymTA/S Approach Technical University of Braunschweig Germany 2005
- Jersak M. Compositional Performance Analysis for Complex Embedded Applications Technical University of Braunschweig Germany 2004
- Henia R. Hamann A. Jersak M. Racu R. Richter K. Ernst R. System Level Performance Analysis - the SymTA/S Approach IEE Proceedings on Computers and Digital Techniques 152 2 March 2005
- Richter K. Ernst R. Event Model Interfaces for Heterogeneous System Analysis Proceedings of Design, Automation, and Test in Europe Conference Paris, France 2002
- Joseph M. Pandya P. Finding response times in a real-time system The Computer Journal 29 5 390 395 1986
- Racu R. Jersak M. Ernst R. Applying sensitivity analysis in real-time distributed systems 11th IEEE Real-Time Technology and Application Symposium (RTAS'05) San Francisco, USA 2005
- Hamann A. Jersak M. Richter K. Ernst R. A framework for modular analysis and exploration of heterogeneous embedded systems Real-Time Systems 33 101 137 July 2006
- Richter K. Real-Time Analysis as a Quality Feature: Automotive Use-Cases and Applications Proceedings Embedded World Conference Nuremberg 2006
- Berwanger J. Schedl A. Temple C. FlexRay hits the road EETimes 11 27 2006
- AUTOSAR Partnership http://www.autosar.org/