7 citations · 12 across the 3 of their papers we have counts for
3 papers
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…
Towards Verification of Constituent Systems through Automated Proof
Luis Diogo Couto, Simon Foster, Richard Payne
This paper explores verification of constituent systems within the context of the Symphony tool platform for Systems of Systems (SoS). Our SoS modelling language, CML, supports var…
Fault Modelling in System-of-Systems Contracts
Zoe Andrews, Jeremy Bryans, Richard Payne +1
The nature of Systems of Systems (SoSs), large complex systems composed of independent, geographically distributed and continuously evolving constituent systems, means that faults…