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

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

Instructeur : Jan Friso Groote
3 674 déjà inscrits
Inclus avec
13 avis
Ce que vous apprendrez
Learn how to specify system requirements using modal logic and formal behavioural properties.
Apply formal verification techniques to analyse and validate the behaviour of distributed and embedded systems.
Learn how modal formulas are translated into Boolean Equation Systems (BES) for automated verification.
Understand Hennessy-Milner logic and fixed-point operators for describing complex software behaviour.
Compétences que vous acquerrez
- Catégorie : Informatique théorique
- Catégorie : Exigences fonctionnelles
- Catégorie : Vérification et validation
- Catégorie : Logique informatique
- Catégorie : Analyse des besoins
- Catégorie : Spécification fonctionnelle
- Catégorie : Conception des systèmes
- Catégorie : Configuration requise
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.

Ouvrez de nouvelles portes avec Coursera Plus
Accès illimité à 10,000+ cours de niveau international, projets pratiques et programmes de certification prêts à l'emploi - tous inclus dans votre abonnement.
Faites progresser votre carrière avec un diplôme en ligne
Obtenez un diplôme auprès d’universités de renommée mondiale - 100 % en ligne
Rejoignez plus de 3 400 entreprises mondiales qui ont choisi Coursera pour les affaires
Améliorez les compétences de vos employés pour exceller dans l’économie numérique
Foire Aux Questions
Plus de questions
Aide financière disponible,




