Efficient embedded software design with synchronous models

Authors:
M. Baleani;A. Ferrari;L. Mangeruca;A. Sangiovanni-Vincentelli
Affiliations:
PARADES E.E.I.G., Rome, Italy;PARADES E.E.I.G., Rome, Italy;PARADES E.E.I.G., Rome, Italy;PARADES E.E.I.G., Rome, Italy & University of California, Berkeley, CA
Venue:
Proceedings of the 5th ACM international conference on Embedded software
Year:
2005

Citing 4
Cited 13

Concurrency in Synchronous Systems

ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
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
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

Proceedings of the 4th ACM international conference on Embedded software
Theory of latency-insensitive design

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Communication by sampling in time-sensitive distributed systems

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Synthesis of task and message activation models in real-time distributed automotive systems

Proceedings of the conference on Design, automation and test in Europe
Loosely time-triggered architectures based on communication-by-sampling

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Embedded System Design for Automotive Applications

Computer
Semantics-preserving multitask implementation of synchronous programs

ACM Transactions on Embedded Computing Systems (TECS)
Buffer optimization in multitask implementations of Simulink models

ACM Transactions on Embedded Computing Systems (TECS)
Methods, tools and standards for the analysis, evaluation and design of modern automotive architectures

Proceedings of the conference on Design, automation and test in Europe
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
Time and memory tradeoffs in the implementation of AUTOSAR components

Proceedings of the Conference on Design, Automation and Test in Europe
Dynamic property mining for embedded software

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Enabling dynamic assertion-based verification of embedded software through model-driven design

DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
On the integration of model-driven design and dynamic assertion-based verification for embedded software

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based design is an important approach for embedded software. The method starts from a mathematical representation of the design problem and derives the software implementation from this representation. The model that has had most success especially for control dominated application is synchronous reactive. While this model simplifies the way of dealing with concurrency by decoupling functional and timing aspects, when implemented, it may be inefficient since the synchronous assumption implies constraints that are stronger than needed. We present in this paper a method for improving the efficiency of the software design process, by relaxing computation constraints, while preserving the synchronous computation semantics, with the introduction of a particular inter-task communication mechanism. We show how this mechanism can be implemented on single processor, multi processor and distributed implementation platforms.