Objectif principal : L’objectif de Gestion des Services SIDSIC est d’apporter une réponse claire autour de l’organisation, le suivi et l’efficacité opérationnelle. Le projet met l’accent sur fiabiliser les flux métiers et réduire les erreurs tout en assurant une base technique lisible, facile à maintenir et prête à évoluer.
Technologies utilisées : Le socle technique repose sur Windows Server, Active Directory, PowerShell, Support IT. Ces choix permettent de maintenir un bon équilibre entre performance, stabilité et rapidité de développement, tout en facilitant la structuration du code et la séparation des responsabilités.
Fonctionnalités clés : Les fonctionnalités clés couvrent l’ensemble du parcours utilisateur avec des flux simples et des validations cohérentes, notamment : gestion des entrées, validations, historiques et notifications. L’ergonomie et la clarté des retours système ont été priorisées pour rendre l’usage immédiat et fiable.
Livrables attendus : Les livrables attendus incluent un périmètre fonctionnel stabilisé, un prototype exploitable et un code organisé, complété par une documentation d’installation et d’usage. Selon le contexte, le projet prévoit processus validés, documentation et jeux de tests afin de sécuriser la livraison.
Calendrier prévisionnel : Le calendrier prévisionnel suit une progression en phases : cadrage des besoins, conception, développement itératif, puis validation et corrections. Une période dédiée à l’optimisation (performance, ergonomie, fiabilité) finalise la livraison.
Parties prenantes & critères de succès : Les parties prenantes regroupent opérateurs, décideurs et utilisateurs finaux ainsi que l’équipe de réalisation. Les critères de succès portent sur taux d’erreurs réduit, conformité des données et adoption, avec une attention particulière à la qualité du code, à la stabilité en production et à la satisfaction d’usage.
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.