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é.
Assurance qualité :
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.