Towards a Common Systems Engineering Methodology to Cover a Complete System Development Process

Morkevičius, Aurelijus; Aleksandraviciene, Aiste; Armonas, Andrius; Fanmuy, Gauthier

doi:10.1002/j.2334-5837.2020.00713.x

Cited by 16 publications

(10 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The columns of the grid stand for different aspects of the SysML model. Also referred to as four pillars SysML (Friedenthal et al, 2008) It is based on the best practices of SE and technical processes defined in ISO 15288 (Morkevicius et al, 2020).…”

Section: Introduction To Magicgridmentioning

confidence: 99%

“…MagicGrid Framework A cell at the intersection of a particular row and column represents the view, which determines what SysML diagrams and elements should be utilized to capture information when visiting that particular cell. The order of visiting the cells is defined by the modeling workflow of the MagicGrid framework.It is based on the best practices of SE and technical processes defined in ISO 15288(Morkevicius et al, 2020).…”

mentioning

confidence: 99%

See 1 more Smart Citation

System Verification and Validation Approach Using the MagicGrid Framework

Morkevičius

Aleksandraviciene²,

Strolia³

2022

INCOSE International Symp

Self Cite

View full text Add to dashboard Cite

The ongoing transformation in the industry from a document-based systems engineering to a model-based systems engineering approach reveals a need for new methods of verifying and validating systems. Traditional methods of testing the actual system are getting more and more expensive. A model-based environment could significantly reduce testing and, most importantly, verification and validation processes costs. It allows testing on the system model by applying various techniques, such as simulation, analysis, review, mock-ups, etc. There are, however, very few approaches today detailing how verification and validation of the entire system (taking into count its components and subsystems) could be performed. This paper proposes an approach to perform verification and validation of a system using system models developed with Systems Modeling Language (SysML) and in accordance with the MagicGrid (formerly known as MBSE Grid) framework. The approach covers system testing activities beginning with verification of the lowest modeled system elements against system requirements and finishing with validation of the system as a whole, against stakeholder needs.IBM Rational Harmony for Systems Engineering. The IBM methodology covers a verification part related to real-time embedded systems and software. In a model-driven system development environment, the key artifact of the hand-off from systems engineering to subsystem development is executable models. The Harmony/SE Deskbook recommends an interactive verification using model execution, including model animation, and a visual comparison of the "as-is" behavior regarding the expected behavior. Integration test scenarios will be part of each composed subsystem hand-off package. These test scenarios can be used to verify a developed subsystem against the requirements (Hoffman, 2015).The Harmony approach turns out to be very much tool-oriented and the exact modeling language constructs used to perform V&V are not clearly described. Moreover, the approach is embedded systems-oriented and does not describe how testing could be carried out in the higher levels of system hierarchy and with different types of systems. UML Testing Profile (UTP).UTP is a part of the UML ecosystem and as such, it can be combined with other profiles of that ecosystem in order to associate test-related artifacts with other relevant system artifacts, e.g., requirements, risks, use cases, business processes, system specifications etc. This enables requirements engineers, system engineers and test engineers to bridge the communication gap among different engineering disciplines (OMG, 2019b). UTP provides a set of concepts to describe test planning, test architecture, test behavior, and data. In contrast, SysML has the only concept used for testing called Test Case. In SysML, a Test Case is defined as "a method for verifying a requirement is satisfied" (OMG, 2019a). It has a single return parameter named verdict which is typed by the enumeration Verdict Kind. It is important to note this is consistent with...

show abstract

Section: Introduction To Magicgridmentioning

confidence: 99%

mentioning

confidence: 99%

System Verification and Validation Approach Using the MagicGrid Framework

Morkevičius

Aleksandraviciene²,

Strolia³

2022

INCOSE International Symp

Self Cite

View full text Add to dashboard Cite

show abstract

“…Trade study is an activity involving several steps to transform subjective data into quantitative information to identify the most preferred solutions between the proposed set of viable solutions by comparing alternatives and highlighting their key benefits and deficiencies (Morkevicius, A et al, 2020). Alternative solutions are judged by their satisfaction with a series criteria.…”

Section: Introductionmentioning

confidence: 99%

“…As the requirements define system constraints, they can be used as an adequate instrument for selecting evaluation criteria in trade study analysis. To automate this complex process, it is necessary to develop a digital, unambiguous, and precise model-based environment consisting of the modeling language, architecture framework, and tool (Morkevicius, A et al, 2020).…”

Section: Introductionmentioning

confidence: 99%

Automated trade study analysis based on dynamic requirements verification in the model‐based system engineering

Bankauskaite

Strolia

Morkevičius

2021

INCOSE International Symp

Self Cite

View full text Add to dashboard Cite

In this complex world, where evolving systems communicate independently to achieve a common goal, the ability for an engineer to develop systems with traceability to requirements, using one integrated architecture model that enables all types of automated analysis (e.g., impact analysis, gap analysis, trade study analysis, and simulation) is becoming more and more vital. Today, the core enabler for automated analysis is the application of model‐based systems engineering practices. Model‐based systems engineering is used to capture system or systems of systems architecture as descriptive and analytical system models, which relate text‐based requirements to the architecture and provide an infrastructure to support trade study analysis. One of the core techniques to perform such analysis is requirements verification. This paper proposes an approach for an automated trade study analysis based on dynamic requirements verification in the model‐based systems engineering environment, with a goal to support trade of analysis both in the system of systems and systems engineering domains.

show abstract

“…Shinozaki et al [6] research on mechanical products modelled by RFLP-based framework, through requirements trace, designers can complete new designs by changing requirements and improves the reusability of models. In addition, the SysML modelling Software manufacturers made modelling methodology into modelling framework to support model reuse, such as the customized Magicgrid methodology of MagicDraw [7] and harmony-SE of IBM.…”

Section: Introductionmentioning

confidence: 99%

Building SysML Model Graph to Support the System Model Reuse

Fu¹,

Liu

Wang

2021

IEEE Access

View full text Add to dashboard Cite

With the implementation and application of MBSE (Model Based System Engineering) in enterprises, a vast number of system model files is constantly and increasingly generated. The problem of how to acquire the knowledge carried by the system model and reuse the system model is urgently required to be solved. Therefore, a cross-products system model graph construction method supporting system model reuse is proposed. System model graph is constructed by defining the SysML metamodel ontology and the construction strategy is given. The entity alignment based on the relationship set and the rule-based reasoning is applied to achieve the fusion of multiple subgraphs, and the semantic extended retrieval of design requirements is realized based on this graph. Finally, the case studies of the Automatic Climate Control Integrated System of car and satellite design verify the effectiveness and practicability of the method, supporting system model reuse. In conclusion, the paper indicates that it is feasible to express the system model with knowledge graph and the constructed system model knowledge graph can well support the retrieval and reuse of cross-products system models.

show abstract

Towards a Common Systems Engineering Methodology to Cover a Complete System Development Process

Cited by 16 publications

References 10 publications

System Verification and Validation Approach Using the MagicGrid Framework

System Verification and Validation Approach Using the MagicGrid Framework

Automated trade study analysis based on dynamic requirements verification in the model‐based system engineering

Building SysML Model Graph to Support the System Model Reuse

Contact Info

Product

Resources

About