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.

基于模型的系统工程的进步极大地提高了模型的预测能力以及可以对其进行的分析。与此同时，设计变得更加模块化和基于组件。由于可能的架构和配置数量众多，手动探索所有可能的系统设计可能很困难；贸易空间探索已成为应对这一挑战的解决方案。在这项工作中，我们展示了一个新的软件工具：Guided Architecture Trade Space Explorer(GATSE)，它将现有的基于模型的工程语言 (AADL) 和建模环境 (OSATE) 连接到现有的贸易空间探索工具 (ATSV)。GATSE、AADL 和 OSATE 都设计为易于用户扩展，从而实现相对简单的域自定义。ATSV 与这些定制相结合，让系统设计人员可以“选购”候选架构，并根据任何可量化的质量属性或系统特性以交互方式探索架构交易空间。我们根据可变系统架构的既定框架评估 GATSE，并演示其在航空电子子系统上的使用。