MVI
(aéronautique) - Développement d'une interface générique de monitoring et validation de systèmes aéronef (simulateur de périphériques), certifiable DO178B (software) et DO254 (hardware), connexions par bus ARINC 429
- Programmation en Ada95, profile Ravenscar, librairie de distribution PolyOrb (CORBA), vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Drivers spécifiques développés en Ada, C, Assembler
- Architecture modulaire à haute intégrité GRECO
- Embarquement VxWorks sur cartes Pentium Wind River
- Développement de modules hardware à processeur ARM et microcontroleur PIC, programmés en Ada et C, certifiables DO254, pour la simulation configurable de capteurs, sur bus ARINC 429
- Équipe de 4 personnes : 2 ingénieurs, 2 techniciens
- France (usage interne) 170 K€
Sentinel
(aéronautique) - Développement d'un système autonome de surveillance des aéronefs
- Collaboration avec SICK (D), IndigoVision (UK), Armée Française
- Programmation en Ada95 et C, vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Architecture modulaire à haute intégrité GRECO
- Embarquement VxWorks sur cartes Pentium Thales
- Équipe de 4 personnes : 4 ingénieurs
- France, Allemagne, Royaume Uni 150 K€
PENICHES
(Transport marinier) - Développement d'un système de détection d'embarcations et de sécurisation des écluses par radar laser, et de interfaces intelligentes Ethernet - RS485 à processeur ARM
- Collaboration avec SICK (D) et CNR
- Programmation en Ada95 et C, vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Architecture modulaire à haute intégrité GRECO
- Embarquement Linux sur cartes ARM
- Équipe de 4 personnes : 4 ingénieurs
- France, Allemagne 95 K€
ASTERION
(sécuritaire) - Développement d'un système de reconnaissance de trajectoires
- Collaboration avec SICK (D) et PELCO (USA)
- Programmation en Ada95 et C, vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Architecture modulaire à haute intégrité GRECO
- Embarquement VxWorks sur cartes Pentium Wind River
- Équipe de 4 personnes : 4 ingénieurs
- France, Allemagne, USA 450 K€
Projet
SIEMENS
(ferroviaire) - Étude de faisabilité et de transfert technologique
- Application de radars laser au pilotage automatisé de rames de métro et de véhicules de type Orlyval (aéroportuaire), certifiable aux normes CENELEC
- Programmation en Ada95 et C, vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Embarquement VxWorks sur cartes Pentium Wind River
- Équipe de 2 personnes : 2 ingénieurs 54 K€
GRECO
(architecture générique) - Développement d'une architecture modulaire générique à haute intégrité, temps réel, pouvant être distribuée (CORBA), embarquée (VxWorks), et certifiée DO178B
- Programmation en Ada95, profile Ravenscar, librairie de distribution PolyOrb (CORBA), vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Équipe de 2 personnes : 2 ingénieurs
- France (usage interne) 150 K€
Consulting
(aérospatiale) Missions d'expertise et d'étude de faisabilité concernant divers projets industriels aéronautiques : drones, avions légers, avionique, formation, certifications
(spatial) - Architecture et développement d'outils de test de communication par satellites
- Programmation en Ada95 et C, environnement GNAT Ada (ACT) sous Linux
- Équipe de 5 personnes : 3 ingénieurs, 2 techniciens
- France, Luxembourg 200 K€
Gestion IT, réorganisation help-desk, homogénéisation des systèmes, cost killing
- Développement, déploiement et production d'outils de gestion opérationnelle ( flotte et équipages, vols, maintenance, yield, gestion commerciale, RH )
- Logiciels développés en GNAT Ada95 (ACT) sous Linux, certains sous Windows NT
- Équipe de 54 personnes : 23 ingénieurs, 31 techniciens
- Nombreuse sous-traitance
Centre Entraînement Équipage
- AMOA, MOE
- Construction, aménagement et équipement du centre d'entraînement du personnel navigant.
- Collaboration avec Evans & Sutherland (GB), FOKKER Technologies (NL)
- Intégration et certification des outils didactiques ISA-01
- Équipe de 9 personnes : 9 ingénieurs
- Nombreuse sous-traitance
- France, Grande Bretagne, Pays Bas 8 M€
ISA-01
(aéronautique) - Étude de faisabilité, AMOA, MOE, Direction de Projet
- Développement d'outils didactiques normatifs pour la formation des pilotes de ligne (Simulateur de vol A320, EAV, System Trainers).
- Programmation en Ada83 sur VxWorks, embarqué sur carte VAi à 4 processeurs Alpha 500 MHz.
- Architecture modulaire GENESIS 1
- Drivers spécifiques développés en Ada, C, Assembler
- Développements débutés en environnement DEC Ada sous Vax VMS puis portés vers GNAT Ada (ACT) sous Linux
- Équipe de 7 personnes : 4 ingénieurs, 3 techniciens
- France 3 M€
Secteur : centre d'essais et production mécanique
- Mission de direction de projets d'intégration de machines outils et de robots, de leurs certifications, de la formation des intervenants
- Collaboration IMT (Italie), NTN et Mori-Seiki (Japon)
- Importante sous-traitance
- France, Italie, Japon 2 M€
- Architecture & Développement d'un ensemble avionique intégré, certifiable DO178B (software) et DO254 (hardware), connexions par bus ARINC 429
- Collaboration FAA (USA)
- Programmation en Ada95 et Ada05, profile Ravenscar, librairie de distribution PolyOrb (CORBA), vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Drivers spécifiques développés en Ada, C, Assembler
- Architecture modulaire à haute intégrité GRECO
- Embarquement VxWorks sur cartes Pentium Wind River
- Développement de modules hardware à processeur ARM (graphisme, analyse et synthèse vocale) et microcontroleur PIC (pilotage et connexion de capteurs et d'actionneurs, affichages LED), programmés en Ada et C, certifiables DO254, sur bus ARINC 429
- Équipe de 7 personnes : 5 ingénieurs, 2 techniciens
- France, Amérique du Nord 4.8 M€
Chef de Projet, Architecture, Développement
- Développement d'un système de catégorisation de véhicule
- Collaboration avec SICK (D), Réseaux autoroutiers APRR et ASF
- Programmation en Ada95, profile Ravenscar, vérification logicielle par SPARK, environnement GNAT Ada (ACT) sous Linux
- Architecture modulaire à haute intégrité GRECO allégée
- Embarquement Linux sur cartes ARM
- France, Allemagne 180 K€
(médical) - Étude de HID à capteurs physiologiques pour patients L.I.S..
- Collaboration avec l'université de Metz
- Programme Assembler embarqué sur carte VAi à uC Scenix SX18
- Équipe de 2 personnes : 1 ingénieur, 1 technicien
- France 25 k€