14 citations · 22 across the 8 of their papers we have counts for
5 papers · 1 filter
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…
Proceedings of the 20th International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 202…
Modelling System of Systems Interface Contract Behaviour
Oldrich Faldik, Richard Payne, John Fitzgerald +1
A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. Th…
SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study
Claire Ingram, Steve Riddle, John Fitzgerald +2
Systems of systems (SoSs) are particularly vulnerable to faults and other threats to their dependability, but frequently inhabit domains that demand high levels of dependability. F…
Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans, John Fitzgerald
FAVO2009 was the second workshop on Formal Aspects of Virtual Organisations. The purpose of the FAVO workshops is to encourage an active community of researchers and practitioners…