Structure Preserving Transformations for Practical Model-based Systems Engineering

09/16/2022
by   Siyuan Ji, et al.
0

In this third decade of systems engineering in the twenty-first century, it is important to develop and demonstrate practical methods to exploit machine-readable models in the engineering of systems. Substantial investment has been made in languages and modelling tools for developing models. A key problem is that system architects and engineers work in a multidisciplinary environment in which models are not the product of any one individual. This paper provides preliminary results of a formal approach to specify models and structure preserving transformations between them that support model synchronization. This is an important area of research and practice in software engineering. However, it is limited to synchronization at the code level of systems. This paper leverages previous research of the authors to define a core fractal for interpretation of concepts into model specifications and transformation between models. This fractal is used to extend the concept of synchronization of models to the system level and is demonstrated through a practical engineering example for an advanced driver assistance system.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/11/2018

Building a Sustainable Structure for Research Software Engineering Activities

The profile of research software engineering has been greatly enhanced b...
research
12/16/2021

Software and Security Engineering in Digital Transformation

Digital transformation is a hot topic in the current global environment ...
research
07/10/2023

Code Generation for Machine Learning using Model-Driven Engineering and SysML

Data-driven engineering refers to systematic data collection and process...
research
05/22/2019

Digital Availability of Product Information for Collaborative Engineering of Spacecraft

In this paper, we introduce a system to collect product information from...
research
11/22/2020

Modular Moose: A new generation software reverse engineering environment

Advanced reverse engineering tools are required to cope with the complex...
research
04/07/2020

Compositional Formal Analysis Based on Conventional Engineering Models

Applications of formal methods for state space exploration have been suc...
research
10/14/2021

Only Time Will Tell: Modelling Communication for Information Diffusion in Software Engineering

In this manuscript, we present a novel model based on time-varying hyper...

Please sign up or login with your details

Forgot password? Click here to reset