Outils de Modélisation de Logiciels Critiques
Production d’environnements de développement permettant la modélisation, la vérification, la génération automatique de code et de documentation pour les logiciels temps réel, embarqués, ou présentant un haut degré de criticité.

Support du standard international SAE-AS5506 pour la modélisation des systèmes et des logiciels (AADL : Architecture Analysis and Design Language).
Outils de vérification de logiciel qualifiés DO-178B pour l’A380.

ADI, Airbus, Alenia SIA, CNES, Dassault Aviation, Deimos Space, DSTO, ESA, Eurocopter, Faiveley Transport, Galileo Avionica, Hispano Suiza, ISI Hellas, MBDA, Sagem, Spacebel, Thales Airborne Systems, Thales Alenia Space.