Geoffrey Duval (ISAE-SUPAERO)Geoffrey.duval@isae.fr

Naples, October 1st, 2012

Why modeling such complex system? Analysis of the supersonic rocket Architecture Analysis and Design Language

(AADL) Model conceived Validation case Improvements and evolutions

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

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

Hybrid decomposition◦ Black box method◦ Reverse engineering

Advantages :◦ System for each function◦ Model close to real ARES

rocket

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

Modeling

Simple check

Computational check

Computational check - example

Need to validate performances computed

Test on Ares04Evo-Leia (2011)

Improvements on current model :◦ Better modeling of Cx, Thrust

Evolutions :◦ Toolbox for preliminary design

Requirements automatically checked for subsonic configuration

Improvements on REAL◦ New patterns◦ New functions

Base for a preliminary design tool for PERSEUS project

Thanks for your attention,

Any questions ?