The synchronous approach to designing reactive systems

Formal Methods in System Design

Volumn 12, Issue 2, 1998, Pages 163-187

  Poigné, Axel ^a   Morley, Matthew ^a   Maffeïs, Olivier ^a   Holenderski, Leszek ^a   Budde, Reinhard ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

Embedded software; Reactive systems; Synchronous automata; Synchronous programming

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER GRAPHICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONTROL THEORY; FINITE AUTOMATA; MATHEMATICAL MODELS; SYSTEMS ANALYSIS; AUTOMATA THEORY; COMPUTATIONAL METHODS; COMPUTER AIDED DESIGN; HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER GRAPHICS; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING; REAL TIME SYSTEMS;

EMBEDDED SOFTWARE; REACTIVE SYSTEMS; SYNCHRONOUS AUTOMATA; SYNCHRONOUS PROGRAMMING;

COMPUTER SYSTEMS; COMPUTER PROGRAMMING LANGUAGES;

EID: 0032025904     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008697810328     Document Type: Conference Paper

References (36)

1. A. Benveniste. SYNCHRON: a project proposal. ERCIM News, 12:26, January 1993.
2. A. Benveniste. Synchronous languages provide safety in reactive system design. Control Engineering. 9:8789, September 1994.
3. G. Berry. Preemption in concurrent systems. In R. K. Shyamasundar, editor. Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 761 of Lecture Notes in Computer Science, pages 72-93. Springer-Verlag, December 1993.
4. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19:87-152, 1992.
5. R. K. Brayton et al. BLIF-MV: An interchange format for design verification and synthesis. Technical Report UCB/ERL M91/97, University of California, 1991.
6. R. K. Brayton et al. VIS: A system for verification and synthesis. In Proceedings of the 8th International Conference on Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science. Springer-Verlag, pages 428-432, 1996.
7. R. Budde and K.-H. Sylla. Eingebettete Echtzeitsysteme. Objekt-Spektrum, 4:10-16, April 1995.
8. R. Budde and K.-H. Sylla. Objekt-orientierte Echtzeitanwendungen auf Grundlage perfekter Synchronisation. Objekt-Spektrum, 2:54-60, February 1995.
9. E. M. Clarke and E. A. Emerson. Design and verification of synchronizing skeletons using branching time temporal logic. In Logics of Programs Workshop, volume 131 of Lecture Notes in Computer Science. Springer-Verlag, pages 52-71, 1981.
10. The common formats of synchronous languages: The declarative code DC. Deliverable of the Eureka SYNCHRON project, October 1995. Available by ftp at ftp.imag.fr, pub/SPECTRE/LUSTRE/DC.tar.gz.
11. D. D. Gajski, F. Vahid, S. Narayan, and J. Gong. Specification and Design of Embedded Systems. Prentice-Hall, 1994.
12. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Dordrecht, 1993.
13. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language LUSTRE. Proceedings of the IEEE, 79:1305-1321, September 1991.
14. N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. IEEE Transactions on Software Engineering, 18:785-793, 1992.
15. D. Harel. STATECHARTS: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, June 1987.
16. P. Hilfinger. A high-level language and silicon compiler for digital signal processing. In Proceedings of the Custom Integrated Circuits Conference, pages 213-216, May 1985.
17. L. Holenderski. Production cell in LUSTRE. In Formal Development of Reactive Systems [23].
18. Software for computers in the application of industrial safety-related systems. IEC Standard 1131, Part 3. International Electrotechnical Commission, 1994.
19. L. J. Jagadeesan, C. Puchol, and J. E. von Olnhausen. A formal approach to reactive systems software: A telecommunications application in ESTEREL. Formal Methods in System Design, 8:123-151, March 1996.
20. M. Jourdan, F. Lagnier, F. Maraninchi, and P. Raymond. A multiparadigm language for reactive systems. In IEEE International Conference on Computer Languages (ICCL-V), Toulouse, France. IEEE Computer Society Press, 1994.
21. D. Lanneer, S. Note, et al. Architectural synthesis for medium and high throughput processing with the New CATHEDRAL environment. In R. Camposano and W. Wolf, editors, High-Level VLSI Synthesis. Kluwer Academic Publishers, Boston/Dordrecht/London, 1991.
22. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79:1321-1336, September 1991.
23. C. Lewerentz and T. Linder. Formal Development of Reactive Systems, volume 891 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
24. O. Maffeïs and A. Poigné. Synchronous automata for reactive, real-time and embedded systems. Arbeitspapiere der GMD 967, Forschungszentrum Informationstechnik GmbH, January 1996.
25. S. Malik. Analysis of cyclic combinational circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits, 13:950-956, 1994.
26. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In Proceedings of CONCUR, volume 630 of Lecture Notes in Computer Science. August 1992.
27. F. Maraninchi and N. Halbwachs. Compiling argos into boolean equations. In Formal Techniques for Real-Time and Fault-Tolerant Systems (FTRTFT'96), volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
28. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, MA, 1993.
29. R. Milner. Interpreting one concurrent calculus in another. Theoretical Computer Science, 75:3-13, 1990.
30. M. Müllerburg. Systematic testing: a means for validating reactive systems. Software Testing, Verification and Reliability, 163-197, 1995.
31. M. Müllerburg et al. Systematic testing and formal verification to validate reactive systems. Software Quality Journal, 4:287-307, December 1995.
32. A. V. Oppenheim and R. W. Schafer. Discrete-Time Signal Processing. Prentice Hall, Eaglewood Cliffs, 1989.
33. A. Poigne. Specification of complex systems. ERCIM News, 16:33, February 1994. For up to date information, see http://set.gmd. de/EES.
34. A. Poigné and L. Holenderski. Boolean automata for implementing ESTEREL. Arbeitspapiere der GMD 964, Forschungszentrum Informationstechnik GmbH, December 1995.
35. T. R. Shiple, G. Berry, and H. Toutai. Constructive analysis of cyclic circuits. In Proceedings of the European Design and Testing Conference, IEEE Computer Society, pages 328-333 Mar. 1996.
36. G. Stålmarck and M. Säflund. Modelling and verifying systems and software in prepositional logic. In Proceedings of SAFECOMP'90. IFAC, Pergamon Press, pages 31-6, 1990.