Safety-critical software development in automated code – Aeronautic Sector:

AUSY's solutions

 Set-up of a team of more than 10 people at a fixed rate to:

    Develop the navigation functions for the A400M

    Develop the HYBRID function of the GADIRS system (GPS Air Data and Inertial

Reference System)

 Hybridization of inertial reference data (IR) with barometric (altitude) and GPS data.

Our efforts/activities/operations

 To carry-out development planning, configuration management, verification, tests …

 To complete the specification phase SRS (HLR) as agreed on by the definition of requirements

with the help of a model layout in SCADE.

 To make SCADE models (Design) of each CSC or function beginning with the software

requirements specification.

 To achieve the certification and verification of the models, with 100% test coverage (matrix coverage) and a 100% model test coverage (MTC).

Our tools & expertise

 Inertial navigation

 Kalman filter

 SCADE 6

 DOORS

 SYNERGY and CHANGE

 DO-178B level A