Aller au menu Aller au contenu
L'école d'ingénieur en systèmes avancés et réseaux

> Formation > 1er Cycle

Conception d'applications temps-réel synchrones - 4AMCS442

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
  • Crédits ECTS : 2.5

Objectifs

Etre capable, à partir d'un cahier de charges informel de:

  • identifier les entrées et les sorties du système
  • identifier les principaux composants du système
  • identifier les contraintes temps-réel imposées
  • implanter le système à l'aide d'un langage spécifique (Lustre/SCADE, FBD, Ladder, SFC).
  • tester le système sur des scénarios significatifs.
Contact Ioannis PARISSIS

Contenu

Modélisation SART
UML temps-réel
Principes des systèmes synchrones

Cas de l'environnement SCADE et du langage Lustre

  • Programmation en Lustre
  • Vérification de propriétés temps-réel en Lustre
  • Test de programmes Lustre
  • Étude de cas/projet : réalisation d'un logiciel temps-rel en Lustre/SCADE.

Les différents langages de programmation des automates programmables
contrôleurs : Ladder, FBD, SFC (Grafcet), List, ST…
Étude du langage de programmation FBD (éventuellement SFC, Ladder)
Les différentes parties du Software : l'IHM, l'applicatif, le transfert de
l'application, la simulation,
le debugging, le monitoring, les fonctions systèmes (la gestion des
erreurs, la mise en Run / Stop …)
Simulation de l'application sur logiciel et sur un contrôleur logique.
Debugging en mode connecté
Mise en application des langages FBD, Ladder, SFC avec des exemples.



Prérequis

Algèbre de Boole, cours de génie logiciel.
Algo & Programmation impérative et objet.
Connaissance de la modélisation à l'aide de machines à états.

Contrôles des connaissances

DS : Devoirs surveillés (machine, QCM)
E2 : Examen écrit 1h30, document autorisé, sans calculatrice



Informations complémentaires

Cursus ingénieur->Filière EIS->Semestre 3

Bibliographie

Documents de cours
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).

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

mise à jour le 25 juin 2015

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes