This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Schedule Synthesis for Multi-Period SW Components
Technical Paper
2016-01-0012
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The growing complexity of functionalities in automotive vehicles and their safety-criticality, including timing requirements, demands sound and scalable approaches to deal with the increasing design space. Most often, such complex automotive systems are composed of a set of functions that are characterized by multi-period timing behaviors, e.g., due to environment constraints limiting sensing/acting frequencies, or various worst case execution times of software components.
As safety-critical systems must perform the desired behavior within guaranteed time bounds, a valid system configuration is needed including a time-correct schedule that fulfills all timing requirements. This contribution proposes a systematic and correct schedule synthesis of complex multi-rate automotive software systems that ensures precise timing behavior of software components.
The proposed synthesis approach - guaranteeing given timing requirements, based on preemptive, time-triggered scheduling - optimizes non-harmonic task sets by minimizing context switches between these tasks. This approach is integrated into the AUTOFOCUS 3 3 tool-chain, using its models of a software component architecture as well as of a hardware platform, combined with precalculated interrupt sets and a symbolic encoding scheme to synthesize schedules meeting the given multi-rate timing requirements. The approach is demonstrated using an Adaptive Cruise Control System.
Recommended Content
Topic
Citation
Voss, S., Eder, J., and Schaetz, B., "Schedule Synthesis for Multi-Period SW Components," SAE Technical Paper 2016-01-0012, 2016, https://doi.org/10.4271/2016-01-0012.Also In
References
- Voss S. and Schätz B. Deployment and Scheduling Synthesis for Mixed-Criticality Shared Memory Systems IEEE ECBS International Conference IEEE 2013
- ISO 26262 - Road vehicles - Functional safety Geneva, Switzerland 2011
- Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems International Electrotechnical Commission Geneva, Switzerland 2010
- Aravantinos V. , Voss S. , Teufl S. , ölzl F. , and Schätz B. Autofocus 3: Tooling concepts for seamless, model-based development of embedded systems 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems 2015
- Henzinger T. A. , Horowitz B. , and Kirsch C. M. Giotto: A time-triggered language for embedded programming Embedded Software Springer 2001 166 184
- Zeng H. , Natale M. D. , Ghosal A. , and Sangiovanni-Vincentelli A. Schedule optimization of time-triggered systems communicating over the flexray static segment Industrial Informatics, IEEE Transactions on 7 1 1 17 2011
- Eder J. Multirate scheduling for distributed embedded systems using satisfiability modulo theories Master’s thesis Technische Universität München 2015