Use Case - Space Toolset for Avionics Control Unit (Thales Alenia Space – ES)

Use Case Application:
The application to be implemented for the Space domain is the Low Level Software for an Avionics Control Unit, which application software could include autonomous navigation features based on GPS, inertial and/or image acquisition inputs as well as FPGA on-flight reconfiguration control. 
Main Methods and Tools:
- AUGE (Automatic Test Generation)
- Safety Analysis for Aerospace
- AFTS DM (Design Methodology for Autonomous Fault Tolerant System)
- Art2kitekt (Scheduling Requirements Analysis)
Expected results:
- Automatic Generation of Tests against Requirements
- Easy Data Collection by RAMS engineer
Figure 1: Overall Process Covering Every Engineering Method
Figure 2: HW target platform