|
|
Plate-forme Systèmes et Logiciels Critiques
|
Plan Présentation
Buts et moyens
JSLC 2000
JSLC 2001
Projets-pilote
Club des Partenaires
Nous contacter
Liens
|
Le métier de base de SEXTANT est principalement orienté vers les produits et systèmes d'avionique dans les domaines principaux suivants :
- Navigation, guidage, gestion du vol - Conduite du vol : pilotes automatiques, systèmes de commandes de vol électriques - Visualisations et interfaces homme-machine. La plupart de ces équipements et systèmes sont réalisés en technologie numérique et les fonctions mises en œuvre par logiciel. Ces fonctions concourent pour la plupart d'entre elles, à la sûreté de l'aéronef ; elles sont redondées sur avions (ordre 3 où 4) et les logiciels qui les mettent en œuvre doivent être sûrs de fonctionnement au sens de la norme D0 178 B, niveau A.
L'autre aspect de la problématique pour le développement de ce type de systèmes et logiciels est la maîtrise des coûts ; celle-ci porte sur l'automatisation maximum de la production et de la validation des logiciels.
Pour répondre à tous les aspects de la problématique, SEXTANT a développé des outils de génération automatique de logiciel et en particulier l'outil GALA (pour Génération Automatique de Logiciels Aéronautiques).
Des travaux complémentaires de recherche sont poursuivis dans les domaines :
- de la conception de systèmes critiques testables - de la généralisation de la mise en œuvre de GALA pour tout type de traitement numérique - des outils de validation automatique - des outils de génération automatique de programmes de test .
SEXTANT entend poursuivre ces travaux en étroite coopération avec les centres de recherche français les plus pertinents. |