Clock-driven distributed real-time implementation of endochronous synchronous programs

Embedded Systems Week 2009 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT '09

Volumn , Issue , 2009, Pages 147-156

  Potop Butucaru, Dumitru ^a   De Simone, Robert ^b   Sorel, Yves ^a   Talpin, Jean Pierre ^c  

^a INRIA ROCQUENCOURT   (France)

^b INRIA   (France)

^c INRIA   (France)

Author keywords

Clock calculus; Distributed real time scheduling; Intermediate representation; Synchronous model

Indexed keywords

CLOCK CALCULUS; CORRECTNESS PROPERTIES; EMBEDDED SYSTEM DESIGN; FUNCTIONAL SPECIFICATION; HARDWARE AND SOFTWARE; IMPLEMENTATION ARCHITECTURE; INTERMEDIATE REPRESENTATIONS; MODEL-BASED; MODELING FRAMEWORKS; REAL TIME; REAL TIME SCHEDULING; REAL-TIME IMPLEMENTATIONS; SPATIAL ALLOCATION; STATIC SCHEDULING TECHNIQUES; SYNCHRONOUS MODELS; SYNCHRONOUS PROGRAM; SYNCHRONOUS SPECIFICATION;

CALCULATIONS; CLOCKS; EMBEDDED SOFTWARE; ENCODING (SYMBOLS); REAL TIME CONTROL; SCHEDULING; SOFTWARE ARCHITECTURE; SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 72249100353     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1629335.1629356     Document Type: Conference Paper

References (20)

1. Nicolas Halbwachs. Synchronous Programming of Reactive Systems. Kluwer academic Publishers, 1993.
2. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, January 2003.
3. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in dataflow synchronous languages: Specification and distributed code generation. Information and Computation, 163:125-171, 2000.
4. P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony for system design. Journal for Circuits, Systems and Computers, April 2003. Special Issue on Application Specific Hardware Design.
5. D. Potop-Butucaru, B. Caillaud, and A. Benveniste. Concurrency in synchronous systems. Formal Methods in System Design, 28(2):111-130, March 2006.
6. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
7. G. Kahn. The semantics of a simple language for parallel programming. In J.L. Rosenfeld, editor, Information Processing '74, pages 471-475. North Holland, 1974.
8. D. Potop-Butucaru, S. Edwards, and G. Berry. Compiling Esterel. Springer, 2007.
9. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, 1991.
10. S. Campbell, J.-P. Chancelier, and R. Nikoukhah. Modeling and Simulation in Scilab/Scicos. Springer, 2006.
11. T. Grandpierre and Y. Sorel. From algorithm and architecture specification to automatic generation of distributed real-time executives. In Proceedings MEMOCODE, 2003.
12. R. Obermeisser. Event-Triggered and Time-Triggered Control Paradigms. Springer, 2005.
13. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli. Composing heterogeneous reactive systems. ACM TECS, 7(4), 2008.
14. P. Amagbégnon, L. Besnard, and P. Le Guernic. Implementation of the data-flow synchronous language signal. In Proceedings PLDI, 1995.
15. A. Kountouris and C. Wolinski. Efficient scheduling of conditional behaviors for high-level synthesis. ACM Transactions on Design Automation of Electronic Systems, 7(3):380-412, July 2002.
16. Z. Gu, X. He, and M. Yuan. Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking. In Proceedings DAC, 2007.
17. W. Zheng, J. Chong, C. Pinello, S. Kanajan, and A. Sangiovanni- Vincentelli. Extensible and scalable time triggered scheduling. In Proceedings ACSD, 2005.
18. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert. From simulink to scade/lustre to tta: a layered approach for distributed embedded applications. In Proceedings LCTES, 2003.
19. D. Potop-Butucaru, R. de Simone, and Y. Sorel. Necessary and sufficient conditions for deterministic desynchronization. In Proceedings EMSOFT'07, Salzburg, Austria, October 2007.
20. C. L. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, January 1973.