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

Authors:
Wei Zheng;Marco Di Natale;Claudio Pinello;Paolo Giusto;Alberto Sangiovanni Vincentelli
Affiliations:
University of California at Berkeley;University of California at Berkeley and General Motors Research;General Motors Research;General Motors Research;University of California at Berkeley
Venue:
Proceedings of the conference on Design, automation and test in Europe
Year:
2007

Citing 7
Cited 8

Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems

ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
A New Task Model for Streaming Applications and Its Schedulability Analysis

Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Applying Sensitivity Analysis in Real-Time Distributed Systems

RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
Efficient embedded software design with synchronous models

Proceedings of the 5th ACM international conference on Embedded software
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers

Proceedings of the 5th ACM international conference on Embedded software
Trading End-to-End Latency for Composability

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Network calculus: a theory of deterministic queuing systems for the internet

Network calculus: a theory of deterministic queuing systems for the internet

An Incremental Approach to Task and Message Scheduling for AUTOSAR Based Distributed Automotive Applications

SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Period optimization for hard real-time distributed automotive systems

Proceedings of the 44th annual Design Automation Conference
Virtual platforms and timing analysis: status, challenges and future directions

Proceedings of the 44th annual Design Automation Conference
Embedded System Design for Automotive Applications

Computer
Design and Development of Component-Based Embedded Systems for Automotive Applications

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Optimizations of an application-level protocol for enhanced dependability in FlexRay

Proceedings of the Conference on Design, Automation and Test in Europe
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems

Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems

Quantified Score

Hi-index	0.00

Visualization

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.