Ken Pierce

About

Ken is a Lecturer in the School of Computing at Newcastle University. His main interests lie in developing methods and tools for collaborative, model-based design and engineering of cyber-physical systems (CPSs). He is interested in helping engineers from multiple disciplines collaborate effectively through co-modelling and co-simulation to achieve better performing, more resilient designs across a range of domains. Recent collaborations include investigating Digital Twins for Resilient Geoinfrastructure and studying drones in mountain rescue with virtual field trials. He is associated with the AMBER group and has been Convener of the Language Board of the VDM formal method since 2014.

Education

• BSc (Hons) Computer Science (Software Engineering), Newcastle University, 2005
• PhD, Newcastle University, 2009

Selected publications

• Using Time Signal at Red (Tsar) as a Tool for Analysing Rail Network Performance
• Applying Collaborative Co-Simulation to Railway Traction Energy Consumption
• A feasibility assessment of multi-modelling approaches for rail decarbonisation systems simulation
• Early-stage analysis of cyber-physical production systems through collaborative modelling
• Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control
• Projects as Interventions in Infrastructure Systems‐of‐Systems
• Multi-modelling for decarbonisation in urban rail systems
• A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• A formal approach to collaborative modelling and co-simulation for embedded systems