Geoffrey Duval (ISAE-SUPAERO) [email protected] Naples, October 1 st, 2012.
-
Upload
gladys-martin -
Category
Documents
-
view
212 -
download
0
Transcript of Geoffrey Duval (ISAE-SUPAERO) [email protected] Naples, October 1 st, 2012.
![Page 2: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/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: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/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: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/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: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/5.jpg)
Hybrid decomposition◦ Black box method◦ Reverse engineering
Advantages :◦ System for each function◦ Model close to real ARES
rocket
![Page 6: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/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: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/7.jpg)
Modeling
![Page 8: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/8.jpg)
Simple check
![Page 9: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/9.jpg)
Computational check
![Page 10: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/10.jpg)
Computational check - example
![Page 11: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/11.jpg)
Need to validate performances computed
Test on Ares04Evo-Leia (2011)
![Page 12: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/12.jpg)
Improvements on current model :◦ Better modeling of Cx, Thrust
Evolutions :◦ Toolbox for preliminary design
![Page 13: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/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: Geoffrey Duval (ISAE-SUPAERO) Geoffrey.duval@isae.fr Naples, October 1 st, 2012.](https://reader035.fdocuments.in/reader035/viewer/2022070403/56649f325503460f94c4e1b3/html5/thumbnails/14.jpg)
Thanks for your attention,
Any questions ?