Tim Kelly

Papers

Total Citations

H-Index

About

Dr. Tim Kelly is a leading authority in the engineering of safety-critical systems, with a research focus on model-based assurance and safety compliance. His most influential work, "Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel" (2015, 46 citations), provides a foundational framework for systematically capturing and managing safety requirements across complex systems. Dr. Kelly’s recent contributions advance the field through the ACCESS project (2024, 10 citations), which pioneers assurance case centric engineering—moving beyond static, manual documentation to dynamic, model-based approaches. He further refines this vision in "Automated Model-Based Assurance Case Management Using Constrained Natural Language" (2023, 8 citations), demonstrating how natural language processing can automate the creation and validation of assurance cases, reducing human error and lengthy review cycles. His work directly addresses the critical challenge of communicating confidence in system safety and security, offering practical solutions for industries like aviation, automotive, and defense. With a career dedicated to making assurance processes more rigorous and efficient, Dr. Kelly’s research has shaped modern safety engineering practices, earning him recognition as a key innovator in the field.