Software implementation of synchronous programs

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2001-January, Issue , 2001, Pages 133-142

  Andre C ^a   Boulanger, F ^b   Girault, A ^c  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

^b SUPELEC   (France)

^c INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; SYSTEMS ANALYSIS;

CRITICAL PROPERTIES; EMBEDDED CONTROL SYSTEMS; GENERIC ARCHITECTURE; REACTIVE SYSTEM; RUNTIMES; SOFTWARE IMPLEMENTATION; SYNCHRONOUS LANGUAGES; SYNCHRONOUS PROGRAM;

HIGH LEVEL LANGUAGES;

EID: 33745376027     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2001.981771     Document Type: Conference Paper

References (22)

1. C. André. Representation and analysis of reactive behaviors: A synchronous approach. In CESA'96, Lille, France, July 1996. IEEE-SMC.
2. C. André and M.-A. Péraldi. Effective implementation of ESTEREL programs. In 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland, June 1993.
3. C. André and M-A. Péraldi. Predictability of a RTX2000-based implementation. Real-Time System, 10(3):223-244, May 1996.
4. C. André, A. Ressouche, and J-M. Tanzi. Combining special purpose and general purpose languages in real-time programming. In Workshop on Programming Languages for Real Time Industrial Applications, Madrid (Spain), December 1998. IEEE.
5. L. Arditi and A. Bouali. Using ESTEREL and formal methods to increase the confidence in the functional validation of a commercial DSP. In ERCIM Workshop on Formal Methods for Industrial Critical Systems, FMICS'99, Trento, Italy, 1999.
6. J.-L. Bergerand and E. Pilaud. SAGA: A software development environment for dependability in automatic control. In SAFECOMP'88. Pergamon Press, 1988.
7. G. Berry and A. Benveniste. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, September 1991.
8. G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, and R. de Simone. ESTEREL: A formal method applied to avionic software development. Science of Computer Programming, 36:5-25, 2000.
9. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
10. G. Berry and the ESTEREL Team. The ESTEREL-V5 Documentation. CMA/INRIA, Sophia-Antipolis, France, 1998. Available at www.esterel.org.
11. H. Boufaïed. Machines d'exécution pour langages synchrones. PhD Thesis, Université de Nice-Sophia Antipolis, November 1998.
12. F. Boulanger. Intégration de Modules Synchrones dans la Programmation par Objets. PhD Thesis, Université Paris XI - Orsay, Orsay, France, 1993.
13. D. Brière, D. Ribot, D. Pilaud, and J.-L. Camus. Methods and specifications tools for AIRBUS on-board systems. In Avionics Conference and Exhibition, London, UK, December 1994. ERA Technology.
14. M.C. Browne and E.M. Clarke. SML: A high-level language for the design and verification of finite state machines. In International Working Conference from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, September 1986. IFIP.
15. P. Caspi and A. Girault. Execution of distributed reactive systems. In S. Haridi, K. Ali, and P. Magnusson, editors, 1st International Conference on Parallel Processing, EUROPAR'95, volume 966 of LNCS, pages 15-26, Stockholm, Sweden, August 1995. Springer-Verlag.
16. S. Edwards. The Specification and Execution of Heterogeneous Synchronous Reactive System. PhD Thesis, UC Berkeley, Berkeley, CA, 1997.
17. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
18. D. Harel. STATECHARTS: A visual approach to complex systems. Science of Computer Programming, 8(3), 1987.
19. D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems, NATO. Springer-Verlag, 1985.
20. P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
21. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In W.R. Cleaveland, editor, 3rd International Conference on Concurrency Theory, CONCUR'92, volume 630 of LNCS, pages 550-564, Stony Brook, USA, August 1992. Springer-Verlag.
22. Y. Sorel. Massively parallel computing systems with real time constraints, the "algorithm architecture adequation" methodology. In Massively Parallel Computing Systems Conference, Ischia, Italy, May 1994.