An Approach to Identifying Inconsistencies in Model-based Systems Engineering

Herzig, Sebastian J. I.; Qamar, Ahsan; Paredis, Christiaan J. J.

doi:10.1016/j.procs.2014.03.044

Cited by 54 publications

(16 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The verification is realized by projection (a graph pattern matching process) between ECG of requirements and ECG of system design models. Although graph pattern matching is an NP‐complete problem, known heuristics can be employed to increase its performance to less than polynomial time . Moreover, distributed computing can be used to increase its performance.…”

Section: Discussionmentioning

confidence: 99%

“…Hehenberger et al proposed an approach called the Model/Analyzer approach for consistency checking of mechatronic design models, which ensures that inconsistencies are identified instantly when the model changes, and known errors are tracked over time. Herzig et al proposed an approach to identify inconsistencies within the context of MBSE where all models are represented by graphs and inconsistencies are identified by means of pattern matching. Feldmann et al: [916‐923] describes the challenges related to managing inconsistencies and proposed a conceptual approach that uses semantic web technologies for identifying inconsistencies in models.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Model verification for system design of complex mechatronic products

Chen

Liu

Zhao

et al. 2018

Systems Engineering

View full text Add to dashboard Cite

Increasing complexity of mechatronic products leads to more challenging designs. As the most important stage, system design determines the overall product architecture. Defects in this stage are difficult to rectify in future stages, thus requiring greater model accuracy. With the development of model-based systems engineering (MBSE), model verification can detect design defects, reduce development costs, improve development efficiency, and ensure system reliability. Currently, conventional verifications are performed only after design processes, which makes it difficult to make systematic modifications. To solve this problem, a model verification method implemented in the design stage is proposed in this study. Using this method, designers are able to detect defects earlier, thereby reducing modification costs. The proposed method is as follows:first, a language named Relation-based Modeling for Static Properties (RMSP) is proposed to formalize the static properties of requirements; second, the representation of "Conceptual Graphs" is extended to meet the needs of model verification of mechatronic products; finally, requirements in RMSP and system design in Systems Modeling Language (SysML) are transformed into the Extension of Conceptual Graphs. In this manner, the incorrectness and inconsistencies between requirements and system design can be found through projection in the system design stage. The omitted or improperly designed requirement items would be found and redesigned to fulfill the product requirements. K E Y W O R D Sconceptual graph, mechatronic product, model verification, SysML, system design 156

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Model verification for system design of complex mechatronic products

Chen

Liu

Zhao

et al. 2018

Systems Engineering

View full text Add to dashboard Cite

show abstract

“…Blackburn and his collaborators, under Systems Engineering Research Center sponsorship, have been working on assessing the technical feasibility of creating/leveraging a more holistic MBSE approach . In addition to his group's research addressing various MBSE challenges including model management, model transformation, and consistency checking, Paredis has also laid out a roadmap for academic research in MBSE . Bock has investigated the use of SysML and UML 2.0 for MBSE.…”

Section: Conclusion and Research Directionsmentioning

confidence: 99%

Model‐based systems engineering: Motivation, current status, and research opportunities

Madni

Sievers

2018

Systems Engineering

227

182

View full text Add to dashboard Cite

As systems continue to grow in scale and complexity, the Systems Engineering community has turned to Model-Based Systems Engineering (MBSE) to manage complexity, maintain consistency, and assure traceability during system development. It is different from "engineering with models," which has been a common practice in the engineering profession for decades. MBSE is a holistic, systems engineering approach centered on the evolving system model, which serves as the "sole source of truth" about the system. It comprises system specification, design, validation, and configuration management. Even though MBSE is beginning to see a fair amount of use in multiple industries, specific advances are needed on multiple fronts to realize its full benefits. This paper discusses the motivation for MBSE, and its current state of maturity. It presents systems modeling methodologies and the role of ontologies and metamodels in MBSE. It presents model-based verification and validation (V&V) as an example of MBSE use. An illustrative example of the use of MBSE for design synthesis is presented to demonstrate an important MBSE capability. The paper concludes with a discussion of challenges to widescale adoption and offers promising research directions to fully realize the potential benefits of MBSE. K E Y W O R D Smodel-based systems engineering (MBSE), modeling and simulation, system integration, systemsof-systems, verification and validation

show abstract

“…More recent efforts have explored the potential of graph representation of models. However, the scope of work has either been limited to inconsistencies using pattern matching (Herzig, 2014) or has relied on a software infrastructure driven approach that overlooks the need to evaluate and ensure the fundamental quality of the entity (i.e., the model) being integrated, prior to its association with other models as part of the Total System Model (TSM) (Bajaj, 2017).…”

Section: Sysml Models: Quality Characterization and Insightsmentioning

confidence: 99%

Graph‐based Assessment and Analysis of System Architecture Models

Petnga

2019

INCOSE International Symp

View full text Add to dashboard Cite

We conceptualize, develop and prototype a semi‐automatic graph‐based framework for quality assessment (i.e., completeness, consistency, correctness) and probing — at all stages of development and maturity — architecture models developed in the System Modeling Language (SysML). Relevant data is extracted via partial model transformation, then organized and stored in a labeled property graph. Analytics powered by graph algorithms enable the System Analyst to gain deep insight into the model and answer increasingly complex and diverse questions. Multidigraph formalisms provide solid theoretical foundations for our approach while graph database technologies coupled with custom software development support its implementation. We demonstrate the capability of our approach in an analysis of requirements in a publicly available spacecraft architecture model.

show abstract

An Approach to Identifying Inconsistencies in Model-based Systems Engineering

Cited by 54 publications

References 18 publications

Model verification for system design of complex mechatronic products

Model verification for system design of complex mechatronic products

Model‐based systems engineering: Motivation, current status, and research opportunities

Graph‐based Assessment and Analysis of System Architecture Models

Contact Info

Product

Resources

About