Guided architecture trade space exploration: fusing model-based engineering and design by shopping

被引:5
作者
Procter, Sam [1 ]
Wrage, Lutz [1 ]
机构
[1] Carnegie Mellon Univ, Software Engn Inst, Pittsburgh, PA 15213 USA
基金
美国安德鲁·梅隆基金会;
关键词
Design space exploration; Search-based system engineering; Model-based engineering; Guided optimization; Architecture analysis and design language (AADL); Open source AADL tool environment (OSATE); ARL trade space visualizer (ATSV);
D O I
10.1007/s10270-021-00889-8
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Advances in model-based system engineering have greatly increased the predictive power of models and the analyses that can be run on them. At the same time, designs have become more modular and component-based. It can be difficult to manually explore all possible system designs due to the sheer number of possible architectures and configurations; trade space exploration has arisen as a solution to this challenge. In this work, we present a new software tool: the Guided Architecture Trade Space Explorer (GATSE), which connects an existing model-based engineering language (AADL) and modeling environment (OSATE) to an existing trade space exploration tool (ATSV). GATSE, AADL, and OSATE are all designed to be easily extended by users, which enables relatively straightforward domain-customizations. ATSV, combined with these customizations, lets system designers "shop" for candidate architectures and interactively explore the architectural trade space according to any quantifiable quality attribute or system characteristic. We evaluate GATSE according to an established framework for variable system architectures, and demonstrate its use on an avionics subsystem.
引用
收藏
页码:2023 / 2045
页数:23
相关论文
共 53 条
[1]  
Abdeen H., 2014, INT C AUTOMATED SOFT, P289
[2]  
Aerospace S.A.E., 2011, AIR6110 SAE INT
[3]   ArcheOpterix: An Extendable Tool for Architecture Optimization of AADL Models [J].
Aleti, Aldeida ;
Bjoernander, Stefan ;
Grunske, Lars ;
Meedeniya, Indika .
MOMPES: 2009 ICSE WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, 2009, :61-71
[4]  
[Anonymous], 2015, AS2C SAE INT
[5]  
[Anonymous], 2004, 10 AIAA ISSMO MULT A
[6]  
[Anonymous], 2011, AS2C SAE INT
[7]  
Bak K, 2011, LECT NOTES COMPUT SC, V6563, P102, DOI 10.1007/978-3-642-19440-5_7
[8]  
Balling R., 1999, P 3 WORLD C STRUCTUR, P295
[9]   The Palladio component model for model-driven performance prediction [J].
Becker, Steffen ;
Koziolek, Heiko ;
Reussner, Ralf .
JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (01) :3-22
[10]  
Bertolino A., 1998, Software Testing, Verification and Reliability, V8, P155, DOI 10.1002/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO