Model-transformation-based computational design synthesis for mission architecture optimization

Herzig, Sebastian J. I.; Mandutianu, Sanda; Kim, Hongman; Hernández, Sonia López; Imken, Travis

doi:10.1109/aero.2017.7943953

Cited by 14 publications

(14 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The computational design synthesis of interferometry mission architectures has been introduced in [33] as a complex challenge for early mission planning for space missions of NASA where a designated architecture consists of collaborating satellites (of different size and capabilities) and radio communication between them. Each mission architecture involves multiple spacecrafts, which imposes an especially challenging design task.…”

Section: Models and Partial Modelsmentioning

confidence: 99%

“…Each mission architecture involves multiple spacecrafts, which imposes an especially challenging design task. The authors of [33] suggested a technique to automatically enumerate promising design candidates with respect to the requirements, technical and resource constraints, and mission objectives. Since the original paper already used graph models and tools, we decided to adapt this as the running example of the paper.…”

Section: Models and Partial Modelsmentioning

confidence: 99%

“…WF constraints further restrict consistent (or valid) instance models of the language by defining additional design rules. In this paper, we use the Eclipse Modeling Framework (EMF) [34] metamodels and VIATRA well-formedness constraints [10], [11] as a technical foundation for domain modeling, which is also used in those industrial tools above as well as in [33]. Conceptually, the graph generation approach could be applied on other modeling formalisms too, e.g.…”

Section: Domain-specific Modeling Languagesmentioning

confidence: 99%

“…• We extend an open source model generator [32] with type scope support and integrate various IP and LP solvers to provide a software prototype tool. • We evaluate the effectiveness of the approach on numerous case studies including a running example of a complex design space exploration challenge [33] introduced by researchers at NASA Jet Propulsion Lab. The current paper builds upon but substantially extends past research results in [8], [20], [32].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Automated Generation of Consistent Graph Models With Multiplicity Reasoning

Marussy

Semeráth

Varró

2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated generation of well-formed (or intentionally malformed) graph models is necessitated which is often carried out by solver-based model generation techniques. In many model generation scenarios, one needs more refined control over the generated unit tests to focus on the more relevant models. Type scopes allow to precisely define the required number of newly generated elements, thus one can avoid the generation of unrealistic and highly symmetric models having only a single type of elements. In this paper, we propose a 3-valued scoped partial modeling formalism, which innovatively extends partial graph models with predicate abstraction and counter abstraction. As a result, well-formedness constraints and multiplicity requirements can be evaluated in an approximated way on incomplete (unfinished) models by using advanced graph query engines with numerical solvers (e.g. IP or LP solvers). Based on the refinement of 3-valued scoped partial models, we propose an efficient model generation algorithm that generates models that are both well-formed and satisfy the scope requirements. We show that the proposed approach scales significantly better than existing SAT-solver techniques or the original graph solver without multiplicity reasoning. We illustrate our approach in a complex design-space exploration case study of collaborating satellites introduced by researchers at NASA Jet Propulsion Lab.

show abstract

Section: Models and Partial Modelsmentioning

confidence: 99%

Section: Models and Partial Modelsmentioning

confidence: 99%

Section: Domain-specific Modeling Languagesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Automated Generation of Consistent Graph Models With Multiplicity Reasoning

Marussy

Semeráth

Varró

2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…This overall process has been demonstrated linking MATLAB ® by Mathworks and Microsoft ® Excel analyses guided by a SysML architecture through the use of Application Programming Interfaces (API's) within the software suite ModelCenter ® by Phoenix Integration . This has also been demonstrated using fairly detailed cost modeling to the subsystem level for space architectures, as well as integrating other optimization methods to include varying the objective function itself . Opportunities to improve computational performance have been expanded through the use of a hierarchy of meta‐models and conducting concurrent optimization…”

Section: Introductionmentioning

confidence: 99%

Model‐based architecture and programmatic optimization for satellite system‐of‐systems architectures

LaSorda

Borky

Sega

2018

Systems Engineering

View full text Add to dashboard Cite

This paper presents a new approach to architecture optimization for an enterprise or System of Systems (SoS) with the goal of enhancing individual system acquisition programs and the operational effectiveness of the enterprise as a whole. Replacing the current common practice of utilizing one or two technical parameters serially to evaluate candidate architectures is a better method that employs a fuller set of technical and programmatic variables in a Model-Based Systems Engineering (MBSE) context. Integrated architecture modelling and optimization is performed in a tool-supported MBSE process to identify an optimum architecture solution. This specifically addresses the predesign phases of a system acquisition program where leverage on total program cost is the greatest. We seek to improve the ability to deal with challenges such as management independence, technical diversity, and lack of synchronization across the programs involved in a SoS. This implementation results in a higher quality optimization with a more informed, and traceable selection decision. An example satellite communications SoS case study is used to develop the approach and highlight its utility. 372

show abstract

Automated generation of consistent models using qualitative abstractions and exploration strategies

Babikian

Semeráth

et al. 2021

Softw Syst Model

View full text Add to dashboard Cite

Automatically synthesizing consistent models is a key prerequisite for many testing scenarios in autonomous driving to ensure a designated coverage of critical corner cases. An inconsistent model is irrelevant as a test case (e.g., false positive); thus, each synthetic model needs to simultaneously satisfy various structural and attribute constraints, which includes complex geometric constraints for traffic scenarios. While different logic solvers or dedicated graph solvers have recently been developed, they fail to handle either structural or attribute constraints in a scalable way. In the current paper, we combine a structural graph solver that uses partial models with an SMT-solver and a quadratic solver to automatically derive models which simultaneously fulfill structural and numeric constraints, while key theoretical properties of model generation like completeness or diversity are still ensured. This necessitates a sophisticated bidirectional interaction between different solvers which carry out consistency checks, decision, unit propagation, concretization steps. Additionally, we introduce custom exploration strategies to speed up model generation. We evaluate the scalability and diversity of our approach, as well as the influence of customizations, in the context of four complex case studies.

show abstract

Model-transformation-based computational design synthesis for mission architecture optimization

Cited by 14 publications

References 18 publications

Automated Generation of Consistent Graph Models With Multiplicity Reasoning

Automated Generation of Consistent Graph Models With Multiplicity Reasoning

Model‐based architecture and programmatic optimization for satellite system‐of‐systems architectures

Automated generation of consistent models using qualitative abstractions and exploration strategies

Contact Info

Product

Resources

About