81 citations · 168 across the 16 of their papers we have counts for
16 papers
A System-of-Systems Case Study for the Verification of Composed Digital Twins
Mennatullah T. Khedr, Mengwei Xu, John S. Fitzgerald +1
Current approaches to engineering dependable Digital Twins (DTs) of Cyber-Physical Systems lack practical guidance on how qualities such as relevance, verifiability, substitutabili…
State of the Art Report: Verified Computation
Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha +8
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) S…
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen +3
Establishing digital twins is a non-trivial endeavour especially when users face significant challenges in creating them from scratch. Ready availability of reusable models, data a…
Model-Based Monitoring and State Estimation for Digital Twins: The Kalman Filter
Hao Feng, Cláudio Gomes, Peter Gorm Larsen
A digital twin (DT) monitors states of the physical twin (PT) counterpart and provides a number of benefits such as advanced visualizations, fault detection capabilities, and reduc…
Bidirectional UML Visualisation of VDM Models
Jonas Lund, Lucas Bjarke Jensen, Nick Battle +2
The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already e…
VDM recursive functions in Isabelle/HOL
Leo Freitas, Peter Gorm Larsen
For recursive functions general principles of induction needs to be applied. Instead of verifying them directly using the Vienna Development Method Specification Language (VDM-SL),…
Modelling Chess in VDM++
Morten Haahr Kristensen, Peter Gorm Larsen
The game of chess is well-known and widely played all over the world. However, the rules for playing it are rather complex since there are different types of pieces and the ways th…
Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins
Prasad Talasila, Daniel-Cristian Crăciunean, Pirvu Bogdan-Constantin +3
Digital twin technology is an essential approach to managing the lifecycle of industrial products. Among the many approaches used to manage digital twins, co-simulation has proven…
Constructing Neural Network-Based Models for Simulating Dynamical Systems
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger +6
Dynamical systems see widespread use in natural sciences like physics, biology, chemistry, as well as engineering disciplines such as circuit analysis, computational fluid dynamics…
A Survey of Practical Formal Methods for Security
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen +4
In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the f…
The Incubator Case Study for Digital Twin Engineering
Hao Feng, Cláudio Gomes, Casper Thule +3
To demystify the Digital Twin concept, we built a simple yet representative thermal incubator system. The incubator is an insulated box fitted with a heatbed, and complete with a s…
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
Peter Gorm Larsen, Hugo Daniel Macedo, John Fitzgerald +6
Businesses, particularly small and medium-sized enterprises, aiming to start up in Model-Based Design (MBD) face difficult choices from a wide range of methods, notations and tools…
Co-simulation of Continuous Systems: A Tutorial
Cláudio Gomes, Casper Thule, Peter Gorm Larsen +2
Co-simulation consists of the theory and techniques to enable global simulation of a coupled system via the composition of simulators. Despite the large number of applications and…
Robotic design choice overview using co-simulation
Martin Peter Christiansen, Peter Gorm Larsen, Rasmus Nyholm Jørgensen
Rapid robotic system development sets a demand for multi-disciplinary methods and tools to explore and compare design alternatives. In this paper, we present collaborative modeling…
Co-simulation: State of the art
Cláudio Gomes, Casper Thule, David Broman +2
It is essential to find new ways of enabling experts in different disciplines to collaborate more efficient in the development of ever more complex systems, under increasing market…
Towards Enabling Overture as a Platform for Formal Notation IDEs
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagić +3
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) wil…