Établissement
INP - ENSEEIHT
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.