University of Minnesota
Software Engineering Center

You are here

Dr. Tim Kelly

He is perhaps best known for his work on safety case development, particularly his work on refining and extending the Goal Structuring Notation (GSN). His research interests include safety case management, software safety analysis and justification, software architecture safety, certification of adaptive and learning systems, and the dependability of “Systems of Systems”. He has supervised a number of research projects in these areas with funding and support from Airbus, BAE SYSTEMS, Data Systems and Solutions, DTI, EPSRC, ERA Technology, Ministry of Defence, QinetiQ and Rolls-Royce. He has published over 140 papers on high integrity systems development and justification in international journals and conferences. He is also Managing Director of Origin Consulting (York) Limited – a consultancy company specialising in safety critical systems development and assurance.