Mise en œuvre des méthodes formelles lors de la réalisation d’une application logicielle
Méthodes formelles : application au domaine ferroviaire

INTRODUCTION

1 - DÉVELOPPEMENT DU LOGICIEL

• 1.1 - Réalisation d’une application logicielle
• 1.2 - Processus de développement
• 1.3 - Avantages/désavantages
• 1.4 - Vérification et validation
  

2 - NORMES FERROVIAIRES

• 2.1 - Référentiel CENELEC
• 2.2 - Choix du SSIL
• 2.3 - Structure de la norme CENELEC EN 50128
• 2.4 - Cycle de développement de la norme CENELEC EN 50128
• 2.5 - Bilan

3 - MÉTHODES FORMELLES, SEMI-FORMELLES, STRUCTURÉES ET TECHNIQUES FORMELLES

• 3.1 - Définitions
  
• 3.2 - Méthode formelle versus technique formelle

4 - MISE EN ŒUVRE DES MÉTHODES FORMELLES LORS DE LA RÉALISATION D’UNE APPLICATION LOGICIELLE

• 4.1 - Spécification des exigences du logiciel
  
• 4.2 - Architecture
• 4.3 - Codage
  
• 4.4 - Génération de code
• 4.5 - Interprétation abstraite

5 - RÉALISATION METTANT EN ŒUVRE LES APPROCHES FORMELLES

• 
• 5.1 - Intégration des méthodes formelles dans le cycle de réalisation d’une application logicielle
• 5.2 - Vers une approche centrée modèle

6 - LOGICIEL PARAMÉTRABLE

7 - QUALIFICATION

• 7.1 - Besoins
• 7.2 - Difficultés

8 - CONCLUSION

9 - GLOSSAIRE