Efficient embedded software design with synchronous models

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 187-190

  Baleani, M ^a   Ferrari, A ^a   Mangeruca, L ^a   Sangiovanni Vincentelli, A ^b  

^a PARADES   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Model based; Synchrony

Indexed keywords

CODES (STANDARDS); COMMUNICATION; COMPUTER SOFTWARE; DISTRIBUTED PARAMETER CONTROL SYSTEMS; MATHEMATICAL MODELS; PROGRAM PROCESSORS; SEMANTICS;

DECOUPLING FUNCTIONAL AND TIMING ASPECTS; MATHEMATICAL REPRESENTATION; SOFTWARE DESIGN PROCESS; SYNCHRONOUS MODELS;

EMBEDDED SYSTEMS;

EID: 29244443267     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086263     Document Type: Conference Paper

References (7)

1. Integrating model-based design and preemptive scheduling in mixed time and event-triggered systems. Technical Report TR-2004-12, Verimag Technical Report, 2004.
2. A. Benveniste et al. Special section on another look at real-time programming. Proceedings of the IEEE, 79(9):1270-1336, sep 1991.
3. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, and A. Sangivanni-Vincentelli. Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architecture (LTTA). In Proceeding of EMSOFT, sep 2004.
4. C. Carloni, K. McMillan, and A. Sangiovanni-Vincentelli. The theory of latency-insensitive design. IEEE Transactions on Computer-Aided Design of Integrated Circtuits and Systems, 20(9):1059-1076, sep 2001.
5. H. Kopetz and G. Bauer. The time-triggered architecture. Proceedings of the IEEE, 91(1):112-126, jan 2003.
6. D. Potop-Butucaru, B. Caillaud, and P. Le Guernic. Concurrency in synchronous systems, In Proceeding of ACSD, 2004.
7. N. Scaife and P. Caspi. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Proceedings of Euromicro Conference on Real-Time Systems (ECRTS'04), 2004.