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. 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 à maintenir et à adapter. exigences par formules modales" est le troisième cours qui vous montre comment spécifier des exigences pour les automates afin d'établir la relation correcte entre les exigences et le comportement du système. Lecture de l'ouvrage. J.F. Groote et M.R. Mousavi. Modélisation et analyse des systèmes communicants. The MIT Press, 2014.

Validation du système (3) : Exigences par formules modales
Économisez sur les compétences qui vous font briller avec 40 % de réduction sur 3 mois de Coursera Plus. Économisez maintenant

Validation du système (3) : Exigences par formules modales

Instructeur : Jan Friso Groote
3 675 déjà inscrits
Inclus avec
13 avis
Ce que vous apprendrez
Apprendre à spécifier les exigences d'un système en utilisant la logique modale et les propriétés comportementales formelles.
Appliquer des techniques de vérification formelle pour analyser et valider le comportement des systèmes distribués et embarqués.
Découvrez comment les formules modales sont traduites en systèmes d'équations booléennes (BES) pour une vérification automatisée.
Comprendre la logique Hennessy-Milner et les opérateurs à virgule fixe pour décrire le comportement de logiciels complexes.
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
En savoir plus sur Développement de logiciels
Statut : Essai gratuitUniversity of Colorado Boulder
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,







