Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
* Sensibiliser aux enjeux de l’ingénierie logicielle pour les systèmes de grande échelle
* Présenter le langage SDL : mécanismes de base, procédures, ...
* Spécifier un protocole de communication temps réel
Description
Ce cours introduit les principes de structuration (cycle en V, conception, traçabilité) nécessaires pour maîtriser la complexité et réduire les risques d’erreurs. Il amène à comprendre le rôle des modèles et des spécifications dans la conception de systèmes fiables. Pour ce faire, il utilise le langage SDL et propose de décrire les différents mécanismes de ce langage pour modéliser un protocole de communication temps réel.