Synchronous programming of Real Time systems - 4AMCS442
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Goals
Students should be able, from a requirements specification document:
- to identify the inputs and outputs of the system
- to identify its main components
- to identify the real-time constraints
- to implement the system using a synchronous language(e.g. Lustre/SCADE).
- to test the system on relevant scenarios.
Content - The SCADE suite (ANSYS SCADE suite)
- Introduction to PLC – Embedded systems - Reactive systems – Synchronous programming
- SCADE : Lustre language fundamentals (SCADE textual version), simulator, algorithmics, design testability
- Using SCADE. Failures.
- Advanced SCADE : clocks, arrays (map/fold)
- Lab : designing and implementing a SCADE application (including control and protection)
- Programmable automata (Crouzet automation)
- FBD language and associated software tools
- Automata inputs and outputs
Exercices : counting, signal generation, logic functions - Protection index, homologations, standards.
Exercices : computing, heater control - SFC (Grafcet).
Exercices : display, speed counter. - Exercices : project on an irrigation system.
PrerequisitesBoole algebra.
Software engineering.
Programming (in a C-like language)
Notions of finite state machines.
Tests DS1, DS2 : Lab and written evaluations
Additional Information Course ID : 4AMCS442
Course language(s): 
The course is attached to the following structures:
You can find this course among all other courses.
Bibliography - Benveniste A., Berry G. The Synchronous Approach to Reactive and Real-Time Systems. Proceedings of the IEEE", 9/1991, volume 79, number 9, pages 1270-1282
- Halbwachs N., Caspi P, Raymond P., Pilaud, D. The Synchronous Data Flow Programming Language LUSTRE. Proceedings of the IEEE", 9/1991, volume 79, number 9, pages 1305-1320
- Halbwachs, N. and Lagnier, F. and Ratel, C. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. IEEE Trans. Software Eng. volume 18, number 9, 1992, pages 785-793.
- Verimag laboratory web site (www-verimag.imag.fr).
- ANSYS SCADE suite
- Crouzet automation
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Date of update June 25, 2015