Reconciling interoperability with efficient verification and validation within open source simulation environments
Abstract A Cyber–Physical System (CPS) comprises physical as well as software
subsystems. Simulation-based approaches are typically used to support design and …
subsystems. Simulation-based approaches are typically used to support design and …
[HTML][HTML] A toolchain for domestic heat-pump control using Uppaal Stratego
Heatpump-based floor-heating systems for domestic heating offer flexibility in energy
consumption patterns, which can be utilized for reducing heating costs—in particular when …
consumption patterns, which can be utilized for reducing heating costs—in particular when …
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
Heatpump-based floor-heating systems for domestic heating offer flexibility in energy-
consumption patterns, which can be utilized for reducing heating costs—in particular when …
consumption patterns, which can be utilized for reducing heating costs—in particular when …
xshs: An executable domain-specific modeling language for modeling stochastic and hybrid behaviors of cyber-physical systems
Cyber-Physical Systems (CPS) integrate discrete computational processes and continuous
physical ones in a feedback loop. Design and analysis of CPS become difficult since their …
physical ones in a feedback loop. Design and analysis of CPS become difficult since their …
Verification of co-simulation algorithms subject to algebraic loops and adaptive steps
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 …
one such technique that enables the coupling of specialized simulation tools through an …
Data-driven reachability analysis of digital twin FMI models
Digital Twins are an emerging technology which makes it possible to couple cyber-physical
assets with their virtual representation in real-time. The technology is applicable to a variety …
assets with their virtual representation in real-time. The technology is applicable to a variety …
Analysis of source code using UPPAAL
In recent years there has been a considerable effort in optimising formal methods for
application to code. This has been driven by tools such as CPAChecker, DIVINE, and …
application to code. This has been driven by tools such as CPAChecker, DIVINE, and …
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
The recent surge in electricity prices has increased the demand for cost-effective and
sophisticated heat pump controllers. As domestic floor heating systems are becoming …
sophisticated heat pump controllers. As domestic floor heating systems are becoming …
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems
Model based design of embedded controllers is prevalent across different industries. The
final step in model based design is synthesis of hardware (or software) controller and then …
final step in model based design is synthesis of hardware (or software) controller and then …
A comprehensive survey of UPPAAL‐assisted formal modeling and verification
W Zhou, Y Zhao, Y Zhang, Y Wang… - Software: Practice and … - Wiley Online Library
UPPAAL is a formal modeling and verification tool based on timed automata, capable of
effectively analyzing real‐time software and hardware systems. In this article, we investigate …
effectively analyzing real‐time software and hardware systems. In this article, we investigate …