Aéronautique

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

  • É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
Projet AEROCOTS  – Advanced Electrical Reliable & Optimized Core Off The Shelf
  • 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 spatial
  • É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

SAGEM – THALES – CNES