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. 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.

Validation du système (4) : Modélisation des logiciels, des protocoles et d'autres comportements
Obtenez l'une de nos meilleures offres avec Coursera Plus pour 199 $ (habituellement 399 $). Économisez maintenant.

Validation du système (4) : Modélisation des logiciels, des protocoles et d'autres comportements

Instructeur : Jan Friso Groote
4 810 déjà inscrits
Inclus avec
Demander à Coursera
13 avis
Ce que vous apprendrez
Utiliser des méthodes formelles pour améliorer la correction, la fiabilité et la maintenabilité des systèmes intégrés et de communication.
Appliquer des techniques permettant d'éviter l'explosion de l'espace d'état grâce à la conception de systèmes composites et modulaires.
Analyser des protocoles de communication réels tels que le protocole à bits alternés et le protocole à fenêtre coulissante
Comprendre les équations de processus linéaires et comment le comportement d'un système complexe peut être réduit à des formes normales analysables.
Compétences que vous acquerrez
- Catégorie : Analyse des systèmes
- Catégorie : Conception des systèmes
- Catégorie : Modélisation des processus
- Catégorie : Vérification et validation
- Catégorie : Systèmes de communication
- Catégorie : Modélisation des données
- Catégorie : Protocoles de réseau
- Catégorie : Conception de logiciels
- Catégorie : Logique informatique
- Catégorie : Informatique théorique
Détails à connaître

Ajouter à votre profil LinkedIn
2 devoirs
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

Il y a 2 modules dans ce cours
Instructeur

Offert par
Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.

Jennifer J.

Larry W.

Chaitanya A.
Foire Aux Questions
Plus de questions
Aide financière disponible,




