Model‐based systems engineering for a small‐lift launch facility

Taraila, Walter McGee; Asundi, Sharanabasaweshwara

doi:10.1002/sys.21634

Cited by 11 publications

(9 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An MBSE methodology is defined as a collection of tools, processes, and methods to aid systems engineering within a "model-driven" context (Taraila and Asundi, 2022). The tool selected for this systems engineering development project was Cameo Enterprise Architect, because of its status as one of the leading industry tools used for descripting model development.…”

Section: Methodsmentioning

confidence: 99%

Applying MBSE in Space Based Systems Development

Madariaga,

Bashir,

Swickline

2023

INCOSE International Symp

View full text Add to dashboard Cite

A core challenge in modern systems engineering is executing the Digital Transformation to produce Digital Engineering (DE) products that meet traditional program needs. Model Based Systems Engineering (MBSE) focuses the formal application of models to support the systems engineering process, but is often difficult to apply in practice due to a lack of a well‐defined methodology. This paper first introduces an openly available MBSE methodology concentrating on a development process for system architecture models, a style guide defining how the process steps are executed, and a validation suite which serves as a tool to help execute development. Then, this paper describes the experience in applying this process to a DoD program developing a space‐based sensor system to a Critical Design Review (CDR) level of maturity. Real‐life successes and lessoned learned are described through model metric data pulled directly from the SysML development model. This paper concludes by identifying opportunities for future research/work from which to further build the DE/MBSE capabilities of the model.

show abstract

Section: Methodsmentioning

confidence: 99%

Applying MBSE in Space Based Systems Development

Madariaga,

Bashir,

Swickline

2023

INCOSE International Symp

View full text Add to dashboard Cite

show abstract

“…These requirement relationships include derivation, satisfaction, verification, refinement, and trace 9 . From another point of view, AADL and MARTE provide the richest set of modeling tools for real-time embedded systems.…”

Section: Aadl and Their Behavior Annex: An Overviewmentioning

confidence: 99%

“…To perform requirement analysis in SysML, relationships are defined that link requirements to other requirements and model elements. These requirement relationships include derivation, satisfaction, verification, refinement, and trace 9 . From another point of view, AADL and MARTE provide the richest set of modeling tools for real‐time embedded systems.…”

Section: Backgroundsmentioning

confidence: 99%

Improving consistency of AADL models: A composition approach

Hamdane

Harous

Kerkouche

et al. 2023

Systems Engineering

View full text Add to dashboard Cite

AADL—architecture analysis and design language—has proven to be important in developing real‐time embedded systems. However, its formalization capability is still limited, which makes it difficult to produce a consistent model; particularly, in the case where several models are combined together. Therefore, using formal verification is an effective way to meet the consistency requirements of the AADL model. This paper proposes a model‐based engineering approach that uses timed automata (TA) formalism to aggregate multiple AADL models into a single composite model. Based on the set of input AADL models, the proposed approach creates a consistent composed model as well as support model checking verification. The effectiveness of this contribution is evaluated through two case studies; a multicamera surveillance system and a drone system.

show abstract

“…SysML supports the architectural design and analysis by providing structural and executable behavioral models. [6][7][8] Requirements are usually validated by simulating operational scenarios on SysML state machines and activity diagrams. However, as these SysML models are complex, simulating a handful of traces is usually not enough to find subtle design errors in the models.…”

Section: Motivationmentioning

confidence: 99%

Pragmatic verification and validation of industrial executable SysML models

Horváth

Molnár

Graics

et al. 2023

Systems Engineering

View full text Add to dashboard Cite

In recent years, Model‐Based Systems Engineering (MBSE) practices have been applied in various industries to design, simulate and verify complex systems. The verification and validation (V&V) of such systems engineering models are crucial to develop high‐quality systems. However, this is a challenging problem due to the complexity of the models and semantic differences in how different tools interpret the models, which can undermine the validity of the obtained results if they go undiscovered. To address these issues, we propose (i) a subset of the SysML language for which the practical semantic integrity of tools can be achieved and (ii) a cloud‐based V&V framework for this subset, lifting verification to an industrial scale. We demonstrate the feasibility of our approach on an industrial‐scale model from the aerospace domain and summarize the lessons learned during transitioning formal verification tools to an industrial context.

show abstract

Model‐based systems engineering for a small‐lift launch facility

Cited by 11 publications

References 5 publications

Applying MBSE in Space Based Systems Development

Applying MBSE in Space Based Systems Development

Improving consistency of AADL models: A composition approach

Pragmatic verification and validation of industrial executable SysML models

Contact Info

Product

Resources

About