Mode-automata based methodology for scade

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 386-401

  Labbani, Ouassila ^a   Dekeyser, Jean Luc ^a   Boulet, Pierre ^a  

^a UNIV LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEMS; DATA FLOW ANALYSIS; DATA PROCESSING; LAWS AND LEGISLATION; SEPARATION;

DESIGN METHODOLOGY; MODE-AUTOMATA; SCADE; STATE MACHINES; SYNCHRONOUS REACTIVE SYSTEMS;

AUTOMATA THEORY;

EID: 24344481358     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_25     Document Type: Conference Paper

References (20)

1. D. Harel and A. Pnueli: On the development of reactive systems. Logics and Models of Concurrent Systems (NATO ASI Series). 13 (1985) 477-498
2. N. Halbwachs: Synchronous programming of reactive systems. Kluwer Academic Pub. (1993)
3. L. Zaffalon and P. Breguet: Conception de Systèmes Réactifs. Revue Scientifique de l'EIVD. (2001)
4. G. Berry and A. Benveniste: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE. September. 79 (1991) 1270-1282
5. P. Caspi, D. Pilaud, N. Halbwachs and J. A. Plaice: Lustre, a declarative language for real time programming. Proceedings ACM Conference on Principles of Programming Languages (1987)
6. N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud: The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE. September. 79 (1991) 1305-1320
7. Albert Benveniste, Patricia Bournai, Thierry Gautier and Paul Le Guernic: SIGNAL: a Data Flow Oriented Language for Signal Processing. INRIA, centre de Rennes IRISA. March. (1985)
8. Gerard Berry and Georges Gonthier: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming. 19 (1992) 87-152
9. Frédéric Boussinot and Robert De Simone: The Esterel Language. Another Look at Real-Time Programming. Proceedings of the IEEE. September. 79 (1991) 1293-1304
10. P. Le Guernic and T. Gautier and M.Le Borgne and C. Le Maire: Programming Real-Time applications with SIGNAL. Another Look at Real-Time Programming. Proceedings of the IEEE. September. 79 (1991) 1321-1336
11. F. Maraninchi and Y. Rémond: Argos: an Automaton-Based Synchronous Language. Computer Languages. Elsevier. 27 (2001) 61-92
12. (tm). (2003). http://www.esterel-technologies.com/v3/?id=41490
13. Esterel Technologies: SCADE Language Reference Manual. (2004)
14. Peter Amey: Correctness by Construction: better can also be cheaper. Journal of Defense Software Engineering. March. (2002)
15. Charle Andrés: Representation and Analysis of Reactive Behaviors: A Synchronous Approach. Computational Engineering in Systems Applications (CESA). IEEE-SMC. July. (1996) 19-29
16. Gérard Berry: The Foundations of Esterel. Proofs, Languages, and Interaction, Essays in Honour of Robin Milner. MIT Press. (2000)
17. F. Maraninchi and Y. Rémond: Mode-automata: About modes and states for reactive systems. European Symposium On Programming. LNCS 1381. March. (1998)
18. M. Jourdan and F. Lagnier and F. Maraninchi and P. Raymond: A multiparadigm language for reactive systems. IEEE International Conference on Computer Languages (ICCL). Toulouse, France. (1994)
19. Nicolas Pernet and Yves Sorel: Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing. International Conference: Computer Applications in Industry and Engineering. Las Vegas, USA. November. (2003)
20. Florence Maraninchi and Yann Rémond: Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata). Proc. 5th International Workshop on Formal Methods for Industrial Critical Systems. Berlin. April. (2000)