Engineering complexity beyond the surface: discerning the viewpoints, the drivers, and the challenges

GA Garza Morales, K Nizamis, GM Bonnema - Research in Engineering …, 2023 - Springer
Complexity is often regarded as a “problem” to solve. Instead of attempting to solve
complexity, we follow systems engineering practices and switch back to the problem …

[HTML][HTML] Safety assurance of an industrial robotic control system using hardware/software co-verification

Y Murray, M Sirevåg, P Ribeiro, DA Anisi… - Science of Computer …, 2022 - Elsevier
As a general trend in industrial robotics, an increasing number of safety functions are being
developed or re-engineered to be handled in software rather than by physical hardware …

Features of integrated model-based co-modelling and co-simulation technology

PG Larsen, J Fitzgerald, J Woodcock, C Gamble… - … Engineering and Formal …, 2018 - Springer
Given the considerable ongoing research interest in collaborative multidisciplinary
modelling and co-simulation, it is worth considering the features of model-based techniques …

Virtual prototyping for maritime crane design and operations

Y Chu, LI Hatledal, H Zhang, V Æsøy… - Journal of marine science …, 2018 - Springer
This paper presents the implementation of the virtual prototyping system for maritime crane
design and operations. The study is designed to bridge the following gaps in maritime crane …

An object-oriented modeling approach to virtual prototyping of marine operation systems based on functional mock-up interface co-simulation

Y Chu, LI Hatledal, V Æsøy… - Journal of …, 2018 - asmedigitalcollection.asme.org
This paper presents an object-oriented modeling (OOM) approach to model development of
marine operation systems, specifically the hydraulic systems of marine cranes. Benefited …

An fmi-based initialization plugin for into-cps maestro 2

ST Hansen, C Thule, C Gomes - … 14–15, 2020, Revised Selected Papers …, 2021 - Springer
The accuracy of the result of a co-simulation is dependent on the correct initialization of all
the simulation units. In this work, we consider co-simulation where the simulation units are …

Verification of co-simulation algorithms subject to algebraic loops and adaptive steps

ST Hansen, C Gomes, M Palmieri, C Thule… - … Conference on Formal …, 2021 - Springer
Simulation-based analyses of cyber-physical systems are increasingly vital. Co-simulation is
one such technique that enables the coupling of specialized simulation tools through an …

Design and application of a domain specific modeling language for distributed co-simulation

M Krammer, M Benedikt - 2019 IEEE 17th International …, 2019 - ieeexplore.ieee.org
Co-simulation is considered as a state-of-the-art methodology in many industrial domains. It
enables virtual system development in distributed, multi-tiered environments, like the …

Modeling, algorithm synthesis, and instrumentation for co-simulation in maude

ST Hansen, PC Ölveczky - International Workshop on Rewriting Logic and …, 2022 - Springer
Simulation-based analysis of cyber-physical systems is vital in the era of Industry 4.0. Co-
simulation enables composing specialized simulation tools via a co-simulation algorithm. In …

An experimental scrutiny of visual design modelling: VCL up against UML+ OCL

N Amálio, L Briand, P Kelsen - Empirical Software Engineering, 2020 - Springer
The graphical nature of prominent modelling notations, such as the standards UML and
SysML, enables them to tap into the cognitive benefits of diagrams. However, these …