Le projet SIDSIC a été un projet de développement logiciel axé sur les méthodes formelles et la sûreté de fonctionnement. Le processus a impliqué une phase d'analyse rigoureuse pour modéliser le système en utilisant des langages formels. Ensuite, des techniques de vérification formelle ont été appliquées pour prouver la correction et la sûreté des propriétés critiques du système. La phase de conception a pris en compte les contraintes de sûreté et les exigences fonctionnelles. Le développement a suivi une approche basée sur les modèles pour garantir la conformité avec les spécifications formelles. Des défis ont été rencontrés dans la traduction des exigences informelles en modèles formels précis et dans l'interprétation des résultats des outils de vérification. Des revues et des inspections du code ont été réalisées pour minimiser les erreurs.
Le problème était d'assurer un niveau élevé de sûreté et de fiabilité pour un système critique, où les défaillances pourraient avoir des conséquences importantes. La solution a été d'appliquer des méthodes formelles pour modéliser rigoureusement le système, spécifier ses propriétés de sûreté de manière non ambiguë et prouver formellement que le système satisfait ces propriétés. L'objectif était de réduire le risque d'erreurs de conception et d'implémentation. Le principal résultat est une démonstration de l'applicabilité et de l'efficacité des méthodes formelles pour le développement de systèmes à haute assurance. Ce projet a approfondi mes connaissances en méthodes formelles, en logique, en théorie des systèmes et en développement de logiciels sûrs.
Stage au sein du Service Informatique de la PRIF au SIDSIC (Service Interministériel Départemental des Systèmes d'Information et de Communication), axé sur l'amélioration et la gestion des services informatiques pour les utilisateurs de la préfecture.