Méthodes formelles pour la vérification des systèmes embarqués

INTRODUCTION

1 - CONCEPTION DES SYSTÈMES EMBARQUÉS

2 - BESOINS DE GARANTIES

• 2.1 - Motivations

• 2.2 - Intégration de la vérification dans le flot de conception

• 2.3 - Différents types de vérification

3 - MÉTHODES FORMELLES POUR LA VÉRIFICATION FONCTIONNELLE

• 3.1 - Preuve assistée

• 3.2 - Model-Checking

• 3.3 - Analyse statique

4 - AIDE À LA VALIDATION (PAR SIMULATION)

• 4.1 - Différents types de tests

• 4.2 - Génération de séquences de test

• 4.3 - Moniteurs pour vérification dynamique

5 - CONCEPTION SÛRE GARANTIE PAR CONSTRUCTION

• 5.1 - Principe de la méthode B

• 5.2 - Réalisations concrètes

6 - CONCLUSION