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),…