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.
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.