Maestro: The INTO-CPS co-simulation framework

C Thule, K Lausdahl, C Gomes, G Meisl… - … Modelling Practice and …, 2019 - Elsevier
Abstract Cyber-Physical Systems (CPSs) often operate in a critical context where it is crucial
that they behave as intended. However, the heterogeneous nature of CPSs makes them …

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 …

Migrating the INTO-CPS application to the cloud

HD Macedo, MB Rasmussen, C Thule… - Formal Methods. FM …, 2020 - Springer
Abstract The INTO-CPS Application is a common interface used to access and manipulate
different model-based artefacts produced by the INTO-CPS tool chain during the …

Exploring the cyber‐physical design space

J Fitzgerald, C Gamble, R Payne… - INCOSE international …, 2017 - Wiley Online Library
A major challenge in the model‐based engineering of Cyber‐Physical Systems (CPSs) is
that of providing methods and tools that support decision‐making in design. In the CPS …

Empirical-evolution of frameworks supporting co-simulation tool-chain development

J Lu, D Gürdür, DJ Chen, J Wang… - Trends and Advances in …, 2018 - Springer
Co-simulation has been proposed as a method for facilitating integrated simulation of multi-
domain models of Cyber-physical Systems (CPS). To ensure that co-simulations are well …

Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections

M Rindarøy, H Nordahl, S Sad**a, S Skjong… - Software and Systems …, 2025 - Springer
The task of interfacing sub-simulators in a co-simulation often remains difficult, tedious, and
prone to error. Here, we describe how this process, and the validation of the resulting …

[PDF][PDF] Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical system

S Bogomolov, J Fitzgerald, FF Foldager… - Proceedings of the 18th …, 2021 - arxiv.org
We describe a pilot study that aims to evaluate a systematic approach to tuning the design
parameters of Cyber-Physical Systems by using machineassisted Design Space Exploration …

A multi-modelling based approach to assessing the security of smart buildings

JC Mace, C Morisset, K Pierce… - Living in the Internet …, 2018 - ieeexplore.ieee.org
Smart buildings are controlled by multiple cyber-physical systems that provide critical
services such as heating, ventilation, lighting and access control. These building systems …

[PDF][PDF] Research survey on model-based systems engineering tool-chain

J Lu - 2019 - academia.edu
Abstract Model-based Systems Engineering (MBSE) tool-chain is an emerging technique in
the area of systems engineering which is expected to become a next generation approach …

Towards resilience-explicit modelling and co-simulation of cyber-physical systems

M Jackson, JS Fitzgerald - … Engineering and Formal Methods: SEFM 2017 …, 2018 - Springer
Abstract The resilience of Cyber-Physical Systems (CPSs) is of major public concern, but is
an ill-defined property that is challenging to engineer, given the complexity and multi …