Periodic Reporting for period 2 - AURORA (Tool suite for AUtomatic code generation and validation of model-based critical iteROpeRAble components)

AURORA is a research project that provides enhanced tools and processes for building and validating critical auto-coded flight software products. Its main characteristics are:-Model orientation: system models are used to design the software at a high abstraction...