La validation des systèmes est un domaine qui étudie les principes fondamentaux de la communication des systèmes et du traitement de l'information. Il s'agit de la prochaine étape logique de l'informatique et de l'amélioration du développement des logiciels en général. Elle permet une analyse automatisée basée sur des modèles comportementaux d'un système afin de déterminer si ce dernier fonctionne correctement. Nous voulons garantir que les systèmes font exactement ce qu'ils sont censés faire. Les techniques mises en avant dans la validation des systèmes permettent de prouver l'absence d'erreurs. Elles permettent de concevoir un comportement de système intégré qui est structurellement sain et, par effet secondaire, vous obligent à rendre le comportement simple et perspicace. Cela signifie que les systèmes ne se comportent pas seulement correctement, mais qu'ils sont aussi beaucoup plus faciles à entretenir et à adapter. modéliser le comportement d'un processus" est le MOOC qui fait suite à "Automates et équivalences comportementales". Ce MOOC vous montre comment modéliser le comportement d'un processus, en particulier les protocoles et les algorithmes distribués, comment approfondir les propriétés du comportement d'un système et comment garder les choses simples pour éviter une explosion de l'espace d'état. Documents à lire. J.F. Groote et M.R. Mousavi. Modeling and analysis of communicating systems, The MIT Press, 2014. Ce cours est la deuxième partie de la série de cours sur la validation des systèmes. La validation des systèmes, en tant qu'ensemble de cours, fait partie d'un programme en ligne plus large de l'EIT Digital intitulé "Internet des objets à travers les systèmes embarqués".