Modélisation des systèmes communicants

Programme de la formation

Les systèmes communicants sont partout et leur complexité est en constante augmentation. Leur évolution continue génère des problèmes de maintenance substantiels qui amènent très souvent à leur re-conception intégrale. Enfin, les personnes qui définissent un besoin pour leur système et ceux qui le réalisent rencontrent énormément de difficultés à se comprendre car ils sont de cultures métier différentes. Cette incompréhension permanente génère plus de la moitié des problèmes lors du projet. Le langage de modélisation SDL (Specification and Description Language) standard de l’Union Internationales des Télécommunications est reconnu dans le domaine aéronautique, spatial et automobile et est accompagné de technologies connexes comme l’ASN.1, le MSC, le TTCN-3 et l’UML. Cet ensemble de technologies aide à gérer la complexité inhérente aux systèmes modernes tant au niveau de la spécification, du développement, que du test. Elles permettent la formalisation, la vérification et l’optimisation d’une spécification exécutable. Elles permettent de valider au plus tôt ce que doit faire le système avant de se préoccuper comment il doit le faire. La formation présentera les différentes technologies de modélisation SDL et ASN.1. Au travers d’exemples simples ou personnalisés les participants modéliseront, vérifieront, et optimiseront des modèles de systèmes communicants.