CLEARSY réalise des expertises de logiciels développés spécifiquement pour le domaine nucléaire en utilisant une grande variétés de méthodes et outils.
|
Analyses de code 1E sous environnement Frama-C Analyses des logiciels critiques controlant la réactivité du cœur (RPN, RGL, RCSL) Configuration de l’environnement, stubbing des interfaces, élimination des faux positifs Client: EDF |
Analyse statique de code 1E sous Polyspace Analyse des logiciels CO3 C1 RPN et RPR Client: EDF |
|
Audit des logiciels Diesel Ultime Secours (DUS) Logiciels automates M340 représentant 22 modules et 900 E/S. Audit selon IEC61513 et 62138 (C3) des développements et de l’outillage de test. Client: Schneider Electric |
Etude de robustesse d’un système de supervision de détection d’hydrogène Etude visant à une qualification C3 du cycle de vie des logiciels de supervision. Définition de recommandations et de tests complémentaires. Client: Teledyne |
|
Relecture critique de code embarqué Equipements lance torpilles de navires de combat Analyse de la mise en œuvre des exigences safety Client: Naval Group |
Modélisation formelle de code pour vérification de propriétés Mise en œuvre de la méthode formelle B Vérification des modules logiciels 1E destinés au TéléPerm XS Modélisation des fonctions logicielles et vérification d’implémentation correcte en regard de la spécification Client: Framatome |
Liées à cet offre
