Ian McCormack
Papers
1
Total Citations
5
H-Index
1
About
Ian McCormack is a leading researcher in the design and verification of Cyber-Physical Systems (CPS), with a focus on ensuring robustness against timing failures. His work addresses the critical challenge of maintaining safety in distributed CPS where software and networks must meet strict timing constraints. McCormack’s most cited paper, “Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures” (2022, 5 citations), introduces a novel methodology that simplifies the verification process for timing requirements, enabling engineers to build more reliable systems without exhaustive manual checks. This contribution is pivotal for applications in autonomous vehicles, industrial automation, and medical devices. Beyond this, McCormack’s research explores the intersection of real-time systems and formal methods, offering practical solutions to complex timing issues. His work has been recognized for its potential to reduce development costs and enhance safety in critical CPS deployments. With a growing citation impact, McCormack continues to shape the future of dependable cyber-physical systems, making his research essential reading for students and engineers tackling timing-related design challenges.
Research Focus
Key Achievements
Top Papers
- 1