Article

Synthesis of task and message activation models in real-time distributed automotive systems

Authors:

Alberto Sangiovanni VincentelliAuthors Info & Claims

DATE '07: Proceedings of the conference on Design, automation and test in Europe

Pages 93 - 98

Published: 16 April 2007 Publication History

Get Access

Abstract

Modern automotive architectures support the execution of distributed safety- and time-critical functions on a complex networked system with several buses and tens of ECUs. Schedulability theory allows the analysis of the worst case end-to-end latencies and the evaluation of the possible architecture configurations options with respect to timing constraints. We present an optimization framework, based on an ILP formulation of the problem, to select the communication and synchronization model that leverages the trade-offs between the purely periodic and the precedence constrained data-driven activation models to meet the latency and jitter requirements of the application. We demonstrate its effectiveness by optimizing a complex automotive architecture.

References

[1]

M. Baleani, A. Ferrari, L. Mangeruca, and A. S. Vincentelli. Efficient embedded software design with synchronous models. In Proceedings of the 5th ACM EMSOFT conference, 2005.

Digital Library

Google Scholar

[2]

R. Bosch. Can specification, version 2.0. Stuttgart, 1991.

Google Scholar

[3]

J.-Y. L. Boudec and P. Thiran. Network calculus - a theory of deterministic queuing systems for the internet. In LNCS 2050, Springer, 2001.

Digital Library

Google Scholar

[4]

S. Chakraborty and L. Thiele. A new task model for streaming applications and its schedulability analysis. In IEEE DATE, Munich, Germany, March 2005.

Digital Library

Google Scholar

[5]

A. Hamann, R. Henia, M. Jerzak, R. Racu, K. Richter, and R. Ernst. SymTA/S symbolic timing analysis for systems. available at http://www.symta.org, 2004.

Google Scholar

[6]

S. Matic and T. Henzinger. Trading end-to-end latency for composability. In Proceedings of the 26th IEEE RTSS, 2005.

Digital Library

Google Scholar

[7]

OSEK. Osek os version 2.2.3 specification. available at http://www.osek-vdx.org, 2006.

Google Scholar

[8]

R. Racu, M. Jersak, and R. Ernst. Applying sensitivity analysis in real-time distributed systems. In Proceedings of the 11th IEEE RTAS, pages 160--169, San Francisco (CA), U.S.A., Mar. 2005.

Digital Library

Google Scholar

[9]

N. Scaife and P. Caspi. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In 6th Euromicro ECRTS, July 2004.

Digital Library

Google Scholar

[10]

S. Tripakis, C. Sofronis, N. Scaife, and P. Caspi. Semantics-preserving and memory-efficient implementation of intertask communication on static-priority or edf schedulers. Proceedings of the 5th ACM EMSOFT conference, 2005.

Digital Library

Google Scholar

Cited By

View all

Zhao YZeng H(2019)The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systemsReal-Time Systems10.1007/s11241-019-09332-055:3(667-707)Online publication date: 1-Jul-2019
https://dl.acm.org/doi/10.1007/s11241-019-09332-0
Mehiaoui AWozniak EBabau JTucci-Piergiovanni SMraidha C(2019)Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architecturesAutomated Software Engineering10.1007/s10515-018-0244-726:1(1-57)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s10515-018-0244-7
Lukasiewycz MMundhenk PSteinhorst S(2016)Security-Aware Obfuscated Priority Assignment for Automotive CAN PlatformsACM Transactions on Design Automation of Electronic Systems10.1145/283123221:2(1-27)Online publication date: 28-Jan-2016
https://dl.acm.org/doi/10.1145/2831232
Show More Cited By

Synthesis of task and message activation models in real-time distributed automotive systems
1. Computer systems organization
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Machine learning theory
      1. Reinforcement learning

Recommendations

Time-constrained communication in distributed real-time computer systems
Automotive real-time operating systems: a model-based configuration approach
Special Issue on the 4th Embedded Operating Systems Workshop (EWiLi 2014)

Automotive embedded systems have become very complex, are strongly integrated, and the safety-criticality and real-time constraints of these systems raise new challenges. Distributed system development, short time-to-market intervals, and automotive ...
Real-time task and message scheduling for multiprocessor systems connected by point-to-point networks

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DATE '07: Proceedings of the conference on Design, automation and test in Europe

April 2007

1741 pages

ISBN:9783981080124

General Chair:
Rudy Lauwereins
IMEC and KULeuven, Belgium
,
Program Chair:
Jan Madsen
DTU, Denmark

Publisher

EDA Consortium

San Jose, CA, United States

Publication History

Published: 16 April 2007

Check for updates

Qualifiers

Article

Conference

DATE07

Sponsor:

EDAA
SIGDA
The Russian Academy of Sciences

DATE07: Design, Automation and Test in Europe

April 16 - 20, 2007

Nice, France

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
223
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zhao YZeng H(2019)The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systemsReal-Time Systems10.1007/s11241-019-09332-055:3(667-707)Online publication date: 1-Jul-2019
https://dl.acm.org/doi/10.1007/s11241-019-09332-0
Mehiaoui AWozniak EBabau JTucci-Piergiovanni SMraidha C(2019)Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architecturesAutomated Software Engineering10.1007/s10515-018-0244-726:1(1-57)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s10515-018-0244-7
Lukasiewycz MMundhenk PSteinhorst S(2016)Security-Aware Obfuscated Priority Assignment for Automotive CAN PlatformsACM Transactions on Design Automation of Electronic Systems10.1145/283123221:2(1-27)Online publication date: 28-Jan-2016
https://dl.acm.org/doi/10.1145/2831232
Joshi PShukla STalpin Inria JYu HWainwright RCorchado JBechini AHong J(2015)Mapping functional behavior onto architectural model in a model driven embedded system designProceedings of the 30th Annual ACM Symposium on Applied Computing10.1145/2695664.2695934(1624-1630)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1145/2695664.2695934
Mehiaoui AWozniak ETucci-Piergiovanni SMraidha CDi Natale MZeng HBabau JLemarchand LGerard S(2013)A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systemsACM SIGPLAN Notices10.1145/2499369.246557248:5(121-132)Online publication date: 20-Jun-2013
https://dl.acm.org/doi/10.1145/2499369.2465572
Mehiaoui AWozniak ETucci-Piergiovanni SMraidha CDi Natale MZeng HBabau JLemarchand LGerard SFranke BXue J(2013)A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systemsProceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems10.1145/2491899.2465572(121-132)Online publication date: 20-Jun-2013
https://dl.acm.org/doi/10.1145/2491899.2465572
Mehiaoui AWozniak ETucci-Piergiovanni SMraidha CDi Natale MZeng HBabau JLemarchand LGerard SFranke BXue J(2013)A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systemsProceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems10.1145/2465554.2465572(121-132)Online publication date: 20-Jun-2013
https://dl.acm.org/doi/10.1145/2465554.2465572
Rajeev AMohalik SDixit MChokshi DRamesh SCarloni LTripakis S(2010)Schedulability and end-to-end latency in distributed ECU networksProceedings of the tenth ACM international conference on Embedded software10.1145/1879021.1879039(129-138)Online publication date: 24-Oct-2010
https://dl.acm.org/doi/10.1145/1879021.1879039
Li WDi Natale MZheng WGiusto PSangiovanni-Vincentelli ASeshia SBenini LDe Micheli GAl-Hashimi BMueller W(2009)Optimizations of an application-level protocol for enhanced dependability in FlexRayProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874883(1076-1081)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1874883
Di Natale MLevitan S(2007)Virtual platforms and timing analysisProceedings of the 44th annual Design Automation Conference10.1145/1278480.1278620(551-555)Online publication date: 4-Jun-2007
https://dl.acm.org/doi/10.1145/1278480.1278620
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Time-constrained communication in distributed real-time computer systems

Automotive real-time operating systems: a model-based configuration approach

Real-time task and message scheduling for multiprocessor systems connected by point-to-point networks