Loosely time-triggered architectures based on communication-by-sampling

EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

Volumn , Issue , 2007, Pages 231-239

  Benveniste, Albert ^a   Caspi, Paul ^b   Di Natale, Marco ^c   Pinello, Claudio ^d   Sangiovanni Vincentelli, Alberto ^e   Tripakis, Stavros ^d  

^a CAMPUS DE BEAULIEU   (France)

^b VERIMAG   (France)

^c SCUOLA SUPERIORE SANT ANNA   (Italy)

^d CADENCE DESIGN SYSTEMS   (United States)

^e UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Distributed systems; Loosely time triggered; MoCC; Real time systems; Time triggered

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER HARDWARE; PROBLEM SOLVING; REAL TIME SYSTEMS; SPECIFICATIONS; USER INTERFACES;

LOOSELY TIME TRIGGERED; TIME TRIGGERED;

COMPUTER ARCHITECTURE;

EID: 38949174920     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289927.1289964     Document Type: Conference Paper

References (20)

1. M. Baleani, A. Ferrari, L. Mangeruca, and A. L. Sangiovanni-Vincentelli. Efficient embedded software design with synchronous models. In EMSOFT, pages 187-190, 2005.
2. A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, A. L. Sangiovanni-Vincentelli, and S. Tripakis. Communication by sampling in time-sensitive distributed systems. In EMSOFT, pages 152-160, 2006.
3. A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J.-P. Talpin, and S. Tripakis. A protocol for loosely time-triggered architectures. In EMSOFT, pages 252-265, 2002.
4. P. Caspi and N. Halbwachs. A functional model for describing and reasoning about time behaviour of computing systems. Acta Inf., 22(6):595-627, 1986.
5. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symp. POPL, 1987.
6. M. Di Natale, A. Benveniste, P. Caspi, C. Pinello, A. Sangiovanni-Vincentelli, and S. Tripakis. An implementation of the Loosely Time-Triggered Architecture on the Controller Area Network: feasibility conditions and system, design. Technical report, 2007. submitted.
7. A. Girault. A survey of automatic distribution method for synchronous programs. In F. Maraninchi, M. Pouzet, and V. Roy, editors, International Workshop on Synchronous Languages, Applications and Programs, SLAP'05, ENTCS, Edinburgh, UK, Apr. 2005. Elsevier Science.
8. G. Kahn. The semantics of a simple language for parallel programming. In Information Processing 74, Proceedings of IFIP Congress 74, Stockholm, Sweden, 1974. North-Holland.
9. H. Kopetz. Real-Time Systems. Kluwer Academic Publishers, 1997.
10. C. Kossentini. Implantation robuste de contrôles-commandes hybrides répartis: application aux commandes de vol Airbus. PhD thesis, Institut National Polytechnique de Grenoble (INPG), 2006.
11. C. Kossentini and P. Caspi. Approximation, sampling and voting in hybrid computing systems. In HSCC, pages 363-376, 2006.
12. J.-Y. Le Boudée and P. Thiran. Network Calculus. Lecture Notes in Computer Science (LNCS). Springer Verlag, 2001.
13. D. Potop-Butucaru, B. Caillaud, and A. Benveniste. Concurrency in synchronous systems. Formal Methods in System Design, 28(2):111-130, 2006.
14. P. Potop-Butucaru and B. Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications. Fundamenta Informaticae, 2006.
15. J. Romberg and A. B. 0002. Loose synchronization of event-triggered networks for distribution of synchronous programs. In EMSOFT, pages 193-202, 2004.
16. Same Authors. Full paper. IRISA Research Report Nr 1854. http://www.irisa.fr/distribcom/benveniste/pub/PI1854.pdf, June 2007.
17. A. Sangiovanni-Vincentelli. Quo Vadis SLD? Reasoning about trends and challenges of System Level Design. Proceedings of the IEEE, 95(3):467-506, 2007.
18. N. Scaife and P. Caspi. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In ECRTS, pages 119-126, 2004.
19. C. Sofronis, S. Tripakis, and P. Caspi. A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. In EMSOFT, pages 21-33, 2006.
20. S. Tripakis, C. Sofronis, N. Scaife, and P. Caspi. Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or edf schedulers. In EMSOFT, pages 353-360, 2005.