Abstract
This paper proposes a modular framework that enables a scheduling for time-triggered distributed embedded systems. The framework provides a symbolic representation that is used by an Integer Linear Programming (ILP) solver to determine a schedule that respects all bus and processor constraints as well as end-to-end timing constraints. Unlike other approaches, the proposed technique complies with automotive specific requirements at system-level and is fully extensible. Formulations for common time-triggered automotive operating systems and bus systems are presented. The proposed model supports the automotive bus systems FlexRay 2.1 and 3.0. For the operating systems, formulations for an eCos-based non-preemptive component and a preemptive OSEKtime operating system are introduced. A case study from the automotive domain gives evidence of the applicability of the proposed approach by scheduling multiple distributed control functions concurrently. Finally, a scalability analysis is carried out with synthetic test cases.
Original language | English |
---|---|
Title of host publication | 17th Asia and South Pacific Design Automation Conference |
Place of Publication | Piscataway |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 665-670 |
Number of pages | 6 |
ISBN (Electronic) | 978-1-4673-0772-7 |
ISBN (Print) | 978-1-4673-0770-3 |
DOIs | |
Publication status | Published - 2012 |
Externally published | Yes |
Event | 17th Asia and South Pacific Design Automation Conference - Sydney, Australia Duration: 30 Jan 2012 → 2 Feb 2012 Conference number: ASP-DAC 2012 |
Conference
Conference | 17th Asia and South Pacific Design Automation Conference |
---|---|
Country/Territory | Australia |
City | Sydney |
Period | 30/01/12 → 2/02/12 |