28DIGITAL

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

28DIGITAL

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

Jan Friso Groote

Instructeur : Jan Friso Groote

3 675 déjà inscrits

Inclus avec Coursera Plus

Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.

13 avis

niveau Avancées
Conçu pour les professionnels de ce secteur
4 heures à compléter
Planning flexible
Apprenez à votre propre rythme
Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.

13 avis

niveau Avancées
Conçu pour les professionnels de ce secteur
4 heures à compléter
Planning flexible
Apprenez à votre propre rythme

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

Certificat partageable

Ajouter à votre profil LinkedIn

Évaluations

2 devoirs

Enseigné en Anglais

Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

 logos de Petrobras, TATA, Danone, Capgemini, P&G et L'Oreal

Il y a 2 modules dans ce cours

Dans ce module, vous apprendrez à spécifier des exigences de comportement. La logique de Hennessy-Milner est d'abord expliquée, puis étendue avec des points fixes. En utilisant cette logique, vous serez en mesure de caractériser formellement pratiquement n'importe quelle propriété comportementale sur le comportement d'un logiciel. Cela va de propriétés simples telles que l'absence de blocages dans un système, à des propriétés complexes telles que "dans un entrepôt, les contrôleurs donneront des instructions à tous les robots de manière à ce que l'article que j'ai commandé apparaisse avec certitude dans un temps fini à la sortie".

Inclus

6 vidéos2 lectures1 devoir

Ce module développe les formules modales. Il montre comment utiliser des données dans les formules, ce qui facilite grandement la modélisation de propriétés complexes. En outre, il montre comment les propriétés d'équité peuvent être modélisées dans le cadre en utilisant des opérateurs de point fixe imbriqués. Les derniers cours présentent les systèmes d'équations booléennes paramétrées et les systèmes d'équations booléennes en tant que technologie importante pour établir qu'une formule modale est valide pour un comportement spécifié particulier.

Inclus

5 vidéos1 lecture1 devoir

Instructeur

Jan Friso Groote
28DIGITAL
4 Cours16 259 apprenants

Offert par

28DIGITAL

En savoir plus sur Développement de logiciels

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

Felipe M.

Étudiant(e) depuis 2018
’Pouvoir suivre des cours à mon rythme à été une expérience extraordinaire. Je peux apprendre chaque fois que mon emploi du temps me le permet et en fonction de mon humeur.’

Jennifer J.

Étudiant(e) depuis 2020
’J'ai directement appliqué les concepts et les compétences que j'ai appris de mes cours à un nouveau projet passionnant au travail.’

Larry W.

Étudiant(e) depuis 2021
’Lorsque j'ai besoin de cours sur des sujets que mon université ne propose pas, Coursera est l'un des meilleurs endroits où se rendre.’

Chaitanya A.

’Apprendre, ce n'est pas seulement s'améliorer dans son travail : c'est bien plus que cela. Coursera me permet d'apprendre sans limites.’

Foire Aux Questions