Fondamentaux de la modélisation de systèmes pour la vérification formelle

Dans l'ingénierie moderne, trouver des bogues système tard dans le développement coûte très cher. La vérification formelle vous permet de prouver mathématiquement que votre système se comporte correctement, mais tout commence par la construction du bon modèle système. Ce cours textuel vous guide à travers les principes fondamentaux de la modélisation des systèmes matériels et logiciels pour l'analyse automatisée. Vous passerez de la compréhension des spécifications système de base à la structuration de modèles complexes qui préviennent les défauts de conception dès le début. Ce que vous apprendrez : Comprendre les concepts fondamentaux de la vérification fonctionnelle et de la vérification de modèles ; Représenter les comportements matériels et logiciels à l'aide de formalismes de modélisation précis ; Appliquer les systèmes de transition d'état pour capturer les états et les transitions du système ; Définir les propriétés de sécurité et de vivacité à l'aide de concepts de logique temporelle de base ; Analyser les compositions de systèmes et les modèles de communication pour les processus concurrents ; S'entraîner à traduire les exigences de conception en représentations vérifiables grâce à des exercices écrits. Vous commencerez par la terminologie de base, les systèmes de transition et les concepts de vérification de base. Ensuite, vous explorerez comment modéliser les contrôles dépendant des données et gérer les systèmes concurrents avec différents modèles de communication. Ce cours est conçu pour les ingénieurs logiciels débutants, les concepteurs matériels et les architectes système. Aucune expérience préalable en vérification formelle n'est requise. Commencez dès aujourd'hui à construire des conceptions système fiables et sans bogues.