J
John McDermid
Researcher at University of York
Publications - 255
Citations - 5929
John McDermid is an academic researcher from University of York. The author has contributed to research in topics: Software development & Formal specification. The author has an hindex of 37, co-authored 243 publications receiving 5656 citations. Previous affiliations of John McDermid include York University & New York University.
Papers
More filters
Journal ArticleDOI
Towards Operational Measures of Computer Security
Bev Littlewood,Sarah Brocklehurst,Norman Fenton,Peter Mellor,Stella Page,David Wright,John Dobson,John McDermid,Dieter Gollmann +8 more
TL;DR: The paper discusses similarities between reliability and security with the intention of working towards measures of 'operational security' similar to those that the authors have for reliability of systems, based on the analogy between system failure and security breach.
Book ChapterDOI
Hierarchically Performed Hazard Origin and Propagation Studies
TL;DR: The method mechanises and simplifies a large part of the analysis, the development of fault trees, and can guarantee the consistency of results and it is shown how it has helped to analyse and improve the safety of a distributed brake-by-wire system for cars.
Proceedings ArticleDOI
An automated framework for structural test-data generation
TL;DR: The results of preliminary experiments using this technique and the prototype tool-set are presented and show the efficiency and effectiveness of this approach to automate the generation of test data.
Journal ArticleDOI
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
TL;DR: A new method for safety analysis is introduced which modifies, automates and integrates a number of classical safety analysis techniques to address some of the problems currently encountered in complex safety assessments and discusses its application on a prototypical distributed brake-by-wire system for cars.
Posted Content
Large-scale Complex IT Systems
Ian Sommerville,Dave Cliff,Radu Calinescu,Justin Keen,Tim Kelly,Marta Kwiatkowska,John McDermid,Richard F. Paige +7 more
TL;DR: The reductionism behind today's software-engineering methods breaks down in the face of systems complexity.