Ferroviaire
ALSTOM TRANSPORT / ALCATEL TRANSPORT / CS-TRANSPORT / FAIVELEY / INRETS / MATRA / RATP / SNCF / SOULE / SYSTRA
Homologation de la Sûreté de Fonctionnement de systèmes de sécurité automatisés informatisés de niveau SIL 4.
Reverse ingénierie de la documentation du logiciel à partir du code, à l'aide des méthodes outillées APRLS® et AGFL®.
Audits de conformité (plusieurs projets) aux normes du domaine (CENELEC) des processus de développement des logiciels.
Missions d’évaluation de la Sûreté de Fonctionnement du Logiciel sous la conduite du certificateur INRETS (utilisation de l'outil AGFL® ).
Analyses de sécurité des logiciels (plusieurs projets trains, métros, tramways), réalisation de LCC, AEEL, mise à jour de la documentation du logiciel à l'aide de la méthode outillée AGFL®.
Guide méthodologique d'évaluation de la Sécurité Fonctionnelle des logiciels critiques (SIL4).
Licence d'utilisation de l'outil AGFL®.
Évaluation du processus de validation formelle de logiciels de sécurité,
AMDEC de logiciels de sécurité à l'aide de l'outil AGFL®.
Assistance à la réalisation de CCTP et dépouillement des réponses à Appels d'Offres,
Assistance à l'assurance qualité de logiciel de sécurité Définition du Plan d'Évaluation de la Sûreté du Logiciel.
AEEL et tests unitaires de composants logiciels sécuritaires,
Tests Unitaires, d'Intégration et de validation de logiciels de sécurité sur automates tri redondés.
