Aéronautique

Airbus A350 – Système LGS (Landing Gear Systems)

• Évaluation technique documentaire sur la base des objectifs de la DO178B niveau A
• Accompagnement à la certification

Airbus A350 – Système Pile UDP certifiable DO178B niveau C

• Participation à la rédaction de la spécification
• Codage et test

Avion d’affaire Gulfstream G650

• Expertise en vue de l’obtention de la certification DAL A
• Mise en œuvre d’un gateway gdbserver avec technologie Expect

• Outils de configuration
• Kit de certification DO178 DAL B basé sur une vérification formelle de la configuration produite

Spatial

Projet ECUMES – Ingénierie des exigences dans le domaine des logiciels de vol

• Établissement d’un état de l’art des méthodes d’ingénierie des exigences
• production d’un guide pour l’ingénierie des exigences dans le domaine des logiciels de vol

Calculateur de vol LVCUGEN – Validation formelle des données de configuration

• Modélisation formelle des propriétés des données de configuration
• Mise œuvre d’une plateforme de validation de données
• Preuve des propriétés modélisées sur les données de configuration du calculateur

Principaux clients

AIRBUS DEFENCE AND SPACE – AIRBUS HELICOPTERS – CNES – THALES