1. Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012

2.  Why modeling such complex system?  Analysis of the supersonic rocket  Architecture Analysis and Design Language (AADL)  Model conceived  Validation case  Improvements and evolutions

3.  Context : PERSEUS project ◦ Rockets conceived and built by students ◦ New rocket each year  Usual needs : ◦ Respect requirements ◦ Quick evaluation of performances  Supersonic needs : ◦ Architecture optimization ◦ Formalize advanced project phase  Goal of the study : ◦ To give efficient tool for preliminary definition of supersonic rocket

4.  Functional description of all requirements : ◦ Service Function (FS) ◦ Adaptation Function (FA)  Advantages : ◦ Each requirement is specified with criteria and values ◦ Easy definition of the success of the mission ◦ Classification of requirements based on their importance

5.  Hybrid decomposition ◦ Black box method ◦ Reverse engineering  Advantages : ◦ System for each function ◦ Model close to real ARES rocket

6.  Allows to define a system as pair of component type and implementation  Compare implementation (technical solution) to system definition (model) ◦ Architecture ◦ Constraints ◦ Performances  Using REAL (Requirements Enforcement and Analysis Language) for computation

7.  Modeling

8.  Simple check

9.  Computational check

10.  Computational check - example

11.  Need to validate performances computed  Test on Ares04Evo-Leia (2011)

12.  Improvements on current model : ◦ Better modeling of Cx, Thrust  Evolutions : ◦ Toolbox for preliminary design

13.  Requirements automatically checked for subsonic configuration  Improvements on REAL ◦ New patterns ◦ New functions  Base for a preliminary design tool for PERSEUS project

14. Thanks for your attention, Any questions ?