Expertise de logiciels

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

Offres
Liées à cette offre

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !