modeling of a supersonic rocket using architecture analysis language
DESCRIPTION
Modeling of a supersonic rocket using Architecture Analysis Language. Naples, October 1 st , 2012. Geoffrey Duval (ISAE-SUPAERO) [email protected]. Table of contents. Why modeling such complex system? Analysis of the supersonic rocket Architecture Analysis and Design Language (AADL) - PowerPoint PPT PresentationTRANSCRIPT
![Page 2: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/2.jpg)
Why modeling such complex system? Analysis of the supersonic rocket Architecture Analysis and Design Language
(AADL) Model conceived Validation case Improvements and evolutions
![Page 3: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/3.jpg)
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
![Page 4: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/4.jpg)
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
![Page 5: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/5.jpg)
Hybrid decomposition◦ Black box method◦ Reverse engineering
Advantages :◦ System for each function◦ Model close to real ARES
rocket
![Page 6: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/6.jpg)
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
![Page 7: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/7.jpg)
Modeling
![Page 8: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/8.jpg)
Simple check
![Page 9: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/9.jpg)
Computational check
![Page 10: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/10.jpg)
Computational check - example
![Page 11: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/11.jpg)
Need to validate performances computed
Test on Ares04Evo-Leia (2011)
![Page 12: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/12.jpg)
Improvements on current model :◦ Better modeling of Cx, Thrust
Evolutions :◦ Toolbox for preliminary design
![Page 13: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/13.jpg)
Requirements automatically checked for subsonic configuration
Improvements on REAL◦ New patterns◦ New functions
Base for a preliminary design tool for PERSEUS project
![Page 14: Modeling of a supersonic rocket using Architecture Analysis Language](https://reader035.vdocuments.site/reader035/viewer/2022062422/568138a8550346895da0689e/html5/thumbnails/14.jpg)
Thanks for your attention,
Any questions ?