Validity Frame–enabled model-based engineering processes

B Van Acker, P De Meulenaere, H Vangheluwe… - …, 2024 - journals.sagepub.com
Model-based systems engineering (MBSE) focuses on using models to support the design,
optimization, simulation, and ultimately deployment of complex cyber-physical systems …

The digital twin as a common knowledge base in devops to support continuous system evolution

J Mertens, J Denil - … Conference on Computer Safety, Reliability, and …, 2021 - Springer
There is an industry wide push for faster and more feature rich systems, also in the
development of Cyber-Physical Systems (CPS). Therefore, the need for applying agile …

Structuring and accessing knowledge for historical and streaming digital twins

BJ Oakes, B Meyers, D Janssens… - Joint proceedings of …, 2021 - repository.uantwerpen.be
Organisations are intensely develo** Digital Twins (DTs) to correctly and efficiently
answer questions about the history and behaviour of physical systems. However, it is not …

Validation and uncertainty in model-based design space exploration: an experience report

Y Vanommeslaeghe, D Ceulemans… - Proceedings of the 25th …, 2022 - dl.acm.org
Model-based systems engineering (MBSE) techniques can help manage the growing
complexity in the design and development of cyber-physical systems, and can even allow for …

Future Directions and Challenges

PG Larsen, J Fitzgerald, C Gomes, J Woodcock… - The Engineering of …, 2024 - Springer
Although digital twins have been around for decades, there are many areas of research that
need to be pursued in order to enable trustworthy predictions. The existing challenges and …

Trajectory planning based on adaptive model predictive control: Study of the performance of an autonomous vehicle in critical highway scenarios

CIV Gonçalves - 2022 - search.proquest.com
Increasing automation in automotive industry is an important contribution to overcome many
of the major societal challenges. However, testing and validating a highly autonomous …

Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software

V Tietz - 2021 ACM/IEEE International Conference on Model …, 2021 - ieeexplore.ieee.org
The use of domain-specific modeling for development of complex (cyber-physical) systems
is gaining increasing acceptance in the industrial environment. Domain-specific modeling …

Towards Continuous Verification and Validation of Multi-Domain System Designs

Y Vanommeslaeghe, B Van Acker… - 2023 ACM/IEEE …, 2023 - ieeexplore.ieee.org
The design and development of cyber-physical systems (CPS) inherently involves multiple
engineering domains. As these systems become more complex, the different domains …

A digital twin approach to support the evolution of cyber-physical systems

J Mertens - 2024 - repository.uantwerpen.be
Computer modeling and simulation is found in many industrial applications, for example
there exist CAD models, finite element simulations of mechanical parts, simulations of …

Validity frames for the model-based development of cyber-physical systems

B Van Acker - 2022 - repository.uantwerpen.be
Abstract Engineering Cyber-Physical Systems has become increasingly complex, eg due to
the vastly increasing performance and safety demands. This makes it harder to correctly …