Esisar rubrique Formation 2022

Synchronous programming of Real Time systems - 4AMCS442

  • Number of hours

    • Lectures -
    • Projects -
    • Tutorials -
    • Internship -
    • Laboratory works -
    • Written tests -

    ECTS

    ECTS 2.5

Goal(s)

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.

Responsible(s)

Laure GONNORD

Content(s)

  • The SCADE suite (ANSYS SCADE suite)
    1. Introduction to PLC – Embedded systems - Reactive systems – Synchronous programming
    2. SCADE : Lustre language fundamentals (SCADE textual version), simulator, algorithmics, design testability
    3. Using SCADE. Failures.
    4. Advanced SCADE : clocks, arrays (map/fold)
    5. Lab : designing and implementing a SCADE application (including control and protection)
  • Programmable automata (Crouzet automation)
    1. FBD language and associated software tools
    2. Automata inputs and outputs
      Exercices : counting, signal generation, logic functions
    3. Protection index, homologations, standards.
      Exercices : computing, heater control
    4. SFC (Grafcet).
      Exercices : display, speed counter.
    5. Exercices : project on an irrigation system.

Prerequisites

Boole algebra.
Software engineering.
Programming (in a C-like language)
Notions of finite state machines.

Test

DS1, DS2 : Lab and written evaluations

Calendar

The course exists in the following branches:

  • Curriculum - EIS - Semester 7
see the course schedule for 2022-2023

Additional Information

Course ID : 4AMCS442
Course language(s): FR

The course is attached to the following structures:

You can find this course among all other courses.

Bibliography

  1. 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
  2. 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
  3. 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.
  4. Verimag laboratory web site (www-verimag.imag.fr).
  5. ANSYS SCADE suite
  6. Crouzet automation