Background

Carl has been a Research Associate in the School of Computing Science for 10 years and his main research area is the co-modelling and co-simulation of Cyber-Physical Systems.  In the recently completed INTO-CPS (EU, H2020) project, he developed methods and tools supporting Design Space Exploration (DSE) and requirements traceability.   This work followed on from his development of both DSE and fault modelling methods in the DESTECS (EU, FP7) project and the DSE work in the MERLIN rail (EU, FP7) project.

 

Carl also has interests in the area of data provenance and dependability, having helped develop tooling for the abstraction of provenance meta-data in the DaISy (MOD) project and a tool for experimenting with the use of dependability meta-data in the SSEI (MOD) project.

 

Before becoming an RA, Carl’s PhD focussed on the design time detection of architectural mismatch when composing web-services, this was supervised by Dr. Cristina Gacek.  Previous to his PhD, Carl obtained a BEng in Mechanical and Manufacturing Systems Engineering after which worked as an Industrial Engineer for a Tier-1 automotive supplier, being responsible for the programming of their industrial robots and their mission critical synchronous delivery system.

Carl is currently continuing development of DSE and requirements traceability tools and methods as part of the INTO-CPS association and is also working with the SIEMENS MindSphere Innovation Network to develop the MindSphere Lab, developing and promoting the use if IoT, the cloud and data analytics.  This is alongside the development of Newcastle University's own Cyber-Physical Lab.

Publications

• Pierce KG, Fitzgerald JS, Gamble C. Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model. In: ERCIM/EWICS/Cyber-physical Systems Workshop at SafeComp. 2011, Naples, Italy.
• Gamble C, Riddle S. Dependability Explicit Metadata: Experimental Results and Research Issues. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1249.
• Gamble C, Riddle S. Dependability Explicit Metadata: Extended Report on Properties, Policies and Exemplary Application to Case Studies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1248.
• Gamble C, Riddle S. Dependability Metadata Acquisition and Assessment: A State of the Art Survey. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1232.
• Gacek C, Gamble C. Mismatch Avoidance in Web Services Software Architectures. Journal of Universal Computer Science 2008, 14(8), 1285-1313.
• Gacek C, Gamble C. Minimal Web Services Style — Architectural Style Description and Example Instantiation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1078.
• Gacek C, Gamble C. Mismatch Avoidance in Web Services Based Software Architectures. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1079.
• Gamble C. A Minimal Web Service Architectural Style. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1015.
• Gamble C. Detecting Architectural Mismatches Between Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1019.
• Gacek C, Gamble C. Mismatch Avoidance with Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1061.
• Fitzgerald J, Pierce K, Gamble C. A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1331.
• Missier P, Bryans J, Gamble C, Curcin V, Danger R. Provenance graph abstraction by node grouping. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1393.
• Fitzgerald J, Gamble C, Payne R, Larsen PG, Basagiannis S, Mady AE-D. Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study. In: INCOSE International Symposium (IS2016). 2016, Edinburgh, UK: Wiley Online Library.
• Larsen PG, Fitzgerald J, Woodcock J, Nilsson R, Gamble C, Foster S. Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination and Applications. 2016, Corfu, Greece: Springer.
• Missier P, Bryans J, Gamble C, Curcin V, Danger R. ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs. In: Provenance and Annotation of Data and Processes (IPAW 2014). 2015, Cologne, Germany: Springer.
• Fitzgerald JS, Gamble C, Larsen PG, Pierce K, Woodcock JCP. Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains. In: 2015 IEEE/ACM 37TH IEEE International Conference on Software Engineering. 2015, Florence, Italy: IEEE.
• McGough AS, Arief B, Gamble C, Wall D, Brennan J, Fitzgerald J, van Moorsel A, Alwis S, Theodoropoulos G, Ruck-Keene E. Detecting insider threats using ben-ware: Beneficial intelligent software for identifying anomalous human behaviour. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 2015, 6(4), 3-46.
• McGough AS, Wall D, Brennan J, Theodoropoulos G, Ruck-Keene E, Arief B, Gamble C, Fitzgerald F, van Moorsel A, Alwis S. Insider Threats: Identifying Anomalous Human Behaviour in Hereogeneous Systems Using Beneficial Intelligent Software (Ben-ware). In: 7th ACM CCS International Workshop on Managing Insider Security Threats. 2015, Denver, CO, USA: ACM.
• Kennedy NA, Kalla R, Warner B, Gambles CJ, Musy R, Reynolds S, Dattani R, Nayee H, Felwick R, Harris R, Marriott S, Senanayake SM, Lamb CA, Al-Hilou H, Gaya DR, Irving PM, Mansfield J, Parkes M, Ahmad T, Cummings JRF, Arnott ID, Satsangi J, Lobo AJ, Smith M, Lindsay JO, Lees CW. Thiopurine withdrawal during sustained clinical remission in inflammatory bowel disease: relapse and recapture rates, with predictive factors in 237 patients. Alimentary Pharmacology & Therapeutics 2014, 40(11-12), 1313-1323.
• Mace JC, Morisset C, Pierce K, Gamble C, Maple C, Fitzgerald J. A multi-modelling based approach to assessing the security of smart buildings. In: Living in the Internet of Things: Cybersecurity of the IoT. 2018, London, UK: Institution of Engineering and Technology.
• Mace JC, Morisset C, Pierce K, Gamble C, Maple C, Fitzgerald J. A multi-modelling based approach to assessing the security of smart buildings. In: Living in the Internet of Things: Cybersecurity of the IoT. 2018, Institution of Engineering and Technology.