Communication by sampling in time-sensitive distributed systems

IEEE International Conference on Embedded Software, EMSOFT 2006

Volumn , Issue , 2006, Pages 152-160

  Benveniste, Albert ^a   Caillaud, Benot ^a   Carloni, Luca P ^b   Caspi, Paul ^c   Sangiovanni Vincentelli, Alberto L ^d   Tripakis, Stavros ^e  

^a CAMPUS DE BEAULIEU   (France)

^b Columbia University in the City of New York ^*  (United States)

^c VERIMAG   (France)

^d UNIVERSITY OF CALIFORNIA   (United States)

^e CADENCE DESIGN SYSTEMS   (United States)

Author keywords

Distributed deployment; Heterogeneous reactive systems; Scheduling; Tagged systems

Indexed keywords

DATA COMMUNICATION SYSTEMS; PROBLEM SOLVING; SCHEDULING ALGORITHMS; SEMANTICS; STORAGE ALLOCATION (COMPUTER);

DISTRIBUTED DEPLOYMENT; HETEROGENEOUS REACTIVE SYSTEMS; TAGGED SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 34547431054     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176887.1176909     Document Type: Conference Paper

References (11)

1. BALEANI, M., FERRARI, A;., MANGERUCA, L., AND SANGIOVANNI-VINCENTELLI, A. Efficient embedded software design with synchronous models. In 5th International Conference on Embedded Software, EMSOFT05 (2005), W. Wolff, Ed., ACM press.
2. BENVENISTE, A., CAILLAUD, B., CARLONI, L., CASPI, P., AND SANGIOVANNI-VINCENTELLI, A. Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered protocols. In 5th International Conference on Embedded Software, EMSOFT04 (2004), G. Buttazzo, Ed., ACM.
3. BENVENISTE, A., CARLONI, L., CASPI, P., AND SANGIOVANNI-VINCENTELLI, A. Heterogeneous reactive systems modeling and correct-by-construction deployment. In 3rd International Wokshop on Embedded Software, EMSOFT03 (2003), R., Alur and I. Lee, Eds., vol. 2855 of Lecture Notes in Computer Science.
4. BUTTAZZO, G. Scalable applications for energy aware processors. In 2th International Conference on Embedded Software (EMSOFT02) (2002), A. Sangiovanni-Vincentelli and J. Sifakis, Eds., vol. 2491 of LNCS, Springer Verlag, pp. 153-165.
5. CASPI, P., AND SALEM, R. Threshold and bounded-delay voting in critical control systems. In Formal Techniques in Real-Time and Fault-Tolerant Systems (September 2000), M. Joseph, Ed., vol. 1926 of Lecture Notes in Computer Science, pp. 68-81.
6. HENZINGER, T. A., HOROWITZ, B., AND KIRSCH, C.M. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91 (2003), 84-99.
7. KOPETZ, H. Real-time Systems - Design Principles for Distributed Embedded Applications. Kluwer Academic, 1997.
8. KOSSENTINI, C., AND CASPI, P. Mixed delay and threshold voters in critical real-time systems. In Formal Techniques, Modeling and Analysis of Timed and Fault-Tolerant Systems: joint international conferences on Formal Modeling and Analysis of Timed Systems (FORMATS 2004), and Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 2004) (Grenoble, Sept. 2004).
9. THE MATHWORKS. Models with Multiple Sample Rates (Real- Time Workshop). www.mathworks.com/a,ccess/helpdesk/help/toolbox/rtw/ ug.
10. SCAIFE, N., AND CASPI, P. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Euromicro Conference on Real-Time Systems (ECRTS'04) (Catania, June 2004), IEEE Computer Society.
11. TRIPAKIS, S., SOFRONIS, C., SCAIFE, N., AND CASPI, P. Semantic-preserving and memory efficient implementation of inter-task communication on static-priority or EDF schedulers. In 5th International Conference, on Embedded Software, EMSOFT05 (2005), W. Wolff, Ed., ACM press.