Jonathan A. Saddler

Papers

Total Citations

H-Index

About

Jonathan A. Saddler is a researcher at the intersection of software engineering, safety-critical systems, and product-line variability. His work focuses on ensuring the dependability of complex, configurable systems—particularly in high-stakes domains like robotic surgery. In his widely cited 2018 experience report, Saddler pioneered methods for modeling and testing families of surgical robots, demonstrating how dependability cases, traditionally built for single products, can be adapted to validate safety properties across an entire product line. This contribution is critical for certifying that each variant of a robotic system maintains invariant safety guarantees, or for revealing counterexamples where those properties fail. With 23 citations, this paper has influenced both academic research and industrial practice in safety assurance for configurable cyber-physical systems. Saddler’s work bridges formal methods and practical testing, offering engineers systematic ways to reason about variability without compromising reliability. His research is essential reading for anyone working on software product lines, safety cases, or the verification of medical robotics—showing how rigorous modeling can prevent failures in life-critical applications.