Professor John A. McDermid’s Personal Page

Article
Howard Chivers and John McDermid, "Refactoring service-based systems: how to avoid trusting a workflow service", Concurrency & Computation: Practice & Experience, vol. , Pages 1255–1275, January 2006.
Download: Refactoring_service-based_systems:_how_to_avoid_trusting_a_workflow_service.pdf
Conference Paper
A. J. Arlow, C. J. Duffy, J. A. McDermid, "Safety Specification of the Active Traffic Management Control System for English Motorways", in ISSC 2006, 2006.
Download: Safety_Specification_of_the_Active_Traffic_Management_Control_System_for_English_Motorways.pdf
Article
Professor John McDermid & Dr Tim Kelly, "Software in Safety Critical Systems:Achievement and Prediction", Nuclear Future, vol. , No. 03, 2006.
Download: Software_in_Safety_Critical_Systems:Achievement_and_Prediction.pdf
Conference Paper
Z. R. Stephenson, J. A. McDermid, A. G. Ward, "HEALTH MODELLING FOR AGILITY IN SAFETY-CRITICAL SYSTEMS DEVELOPMENT", in 1st IET Conference on System Safety, Pages 260, June 2006.
Download: HEALTH_MODELLING_FOR_AGILITY_IN_SAFETY-CRITICAL_SYSTEMS_DEVELOPMENT.pdf
Conference Paper
Zoë Stephenson, Mark Nicholson, John McDermid, "Flexibility and Manageability of IMS Projects", in ISSC 2006, August 2006.
Download: Flexibility_and_Manageability_of_IMS_Projects.pdf
Conference Paper
O. Lisagor. J A McDermid, D J Pumfrey, "Towards a PracticableProcess for Automated Safety Analysis", in ISSC 2006, August 2006.
Download: Towards_a_PracticableProcess_for_Automated_Safety_Analysis.pdf
Conference Paper
Andy Galloway, Frantz Iwu, John McDermid and Ian Toyn, "On the Formal Development of Safety-Critical Software", in TBA, Springer Verlag, 2005.
Download: On_the_Formal_Development_of_Safety-Critical_Software.pdf
Article
Frantz Iwu,Andy Galloway, John McDermid, Ian Toyn, "Integrating safety and formal analyses using UML and PFS", Reliability Engineering and System Safety, 2005.
Download: Integrating_safety_and_formal_analyses_using_UML_and_PFS.pdf
Misc
John McDermid, "Software Hazard and Safety Analysis", 01 2004.
Download: mcdermid.pdf
Conference Paper
Zoe Stephenson and John McDermid, "Automated Component Configuration in Safety-Critical Domains", in ISSC Conference Proceedings 2004, 2004.
Download: StevensonMcDermid ISSCpaper.pdf
Conference Paper
Zoë Stephenson, Yuan Zhan, John Clark and John McDermid, "Test Data Generation for Product Lines – A Mutation Testing Approach", in ISSC 2004 Conference Proceedings, 2004.
Download: PLTestingSZCM.yuanMcDermid ISSC.pdf
Conference Paper
Oleg Lisagor; Prof. J. A. McDermid & Dr. D. J. Pumfrey, "Safety Analysis of Software Architectures – “Lightweight PSSA”", in ISSC 2004, 2004.
Download: LisagorMcDermidPumfrey-ISSC04.pdf
Conference Paper
Simon Bates, Iain Bate, Richard Hawkins, Tim Kelly, John McDermid, "Safety case architectures to complement a contract-based approach to designing safe systems", in 21st International System Safety Conference, 2003.
Download: Safety case architectures to complement a contract-based approach to designing safe systems.pdf
Conference Paper
Zezhi Chen, Nick Pears, John McDermid, and Thomas Heseltine, "Epipole Estimation under Pure Camera Translation", in Digital Image Computing:Techniques and Applications 2003, 2003.
Download: Epipole Estimation under Pure Camera Translation.pdf
Conference Paper
Philippa Conmy, John McDermid, Mark Nicholson, "Identifying Safety Dependencies in Modular Computer Systems", in 21st International System Safety Conference, 2003.
Download: Identifying Safety Dependanciesin Modular Computer Systems.pdf
Conference Paper
Richard Hawkins, John McDermid, Iain Bate, "Developing Safety Contracts for OO Systems", in 21st International System Safety Conference, 2003.
Download: Developing Safety Contracts for OO Systems.pdf
Article
Iain Bate, John McDermid, Peter Nightingale, "Establishing timing requirements for control loops in real-time systems", Microprocessors and Microsystems, vol. , Pages 159-169, 2003.
Download: Establishing timing requirements for control loops in real-time systems.pdf
Conference Paper
Andy Galloway, John McDermid, David Pumfrey, John Murdoch, "Automation of System Safety Analysis: Possibilities and Pitfalls", in ISSC, 2002.
Download: Automation of System Safety Analysis.pdf
Conference Paper
Richard Hawkins, John McDermid, "Performing Hazard and Safety Analysis of Object Oriented Systems", in ISSC Denver, 2002.
Download: Performing Hazard and safety Analysis ofObject Orientated Systems - Hawkins.pdf
Article
Nigel Tracey, John Clark, John McDermid, Keith Mander, "A Search Based Automated Test-Data Generation Framework for Safety-Critical Systems", Springer Verlag, Pages 174-213, January 2002.
Download: A Search Based Automated Test Data Generation Framework.pdf
Conference Paper
Peter A. Lindsay & John A McDermid, "Derivation of Safety Requirements for an Embedded Control System", in Proc. Systems Engineering, Test and Evaluation Conference (SETE 2002), Pages 83-93, 2002.
Download: SETE2002_Lindsay.pdf
Conference Paper
Philippa Conmy, John McDermid, "High level failure analysis for Integrated Modular Avionics", in Aus Workshop on Industrial Experience with Safety Critical Systems and Software, 2001.
Download: High level failure analysis for Integrated Modular Avionics.pdf
Conference Paper
John McDermid, "Software Safety: Where’s the Evidence?", in Aus Workshop on Industrial Experiemce with Safety Critical Systems and Software, 2001.
Download: Software safety - wheres the evidence.pdf
Conference Paper
J. Murdoch, J.A. McDermid, P.Wilkinson, "Failure Modes and Effects Analysis (FMEA) and Systematic Design", in International System Safety Conference , 2001.
Download: Failure Modes & Effects Analysis.pdf
Conference Paper
John Murdoch, John A. McDermid, Philip Wilkinson, "Process Tailoring in Iterative Development", in INCOSE 2001 International Council on Systems Engineering, 2001.
Download: Process Tailoring in Iterative.pdf
Conference Paper
Yiannis Papadopoulos, John McDermid, Androcles Mavrides, Christian Scheidler, Matthias Maruhn, "MODEL-BASED SEMIAUTOMATIC SAFETY ANALYSIS OF PROGRAMMABLE SYSTEMS IN AUTOMOTIVE APPLICATIONS", in Advanced Driver Assistance Systems, 2001.
Download: MODEL-BASED SEMIAUTOMATIC SAFETY ANALYSIS OF PROGRAMMABLE SYSTEMS IN.pdf
Conference Paper
Nick Pears, Jim Austin , John McDermid, "Multi-Cue Vision, Novel Architectures, and High Integrity Concepts for Dependable Robots", in 1st IAST/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environment, 2001.
Download: Multi-Cue Vision, Novel Architectures and High IntegrityConcepts....pdf
Article
Iain Bate, Philippa Conmy, Tim Kelly, John McDermid, "Use of Modern Processors in Safety-Critical Applications", Computer Journal, vol. , No. 6, Pages 531-543, 2001.
Download: Use of Modern Processors in safety critical applications.pdf
Article
Y. Papadopoulos, J. McDermid, R. Sasse, G. Heiner, "Analysis and synthesis of the behaviour of complex programmable Electronic Systems in Conditions of Failure", Reliability Engineering & System Safety, vol. , Pages 229-247, January 2001.
Download: Analysis and synthesis of the behaviour of complex programmable.pdf
Article
Yiannis Papadopoulos & John McDermid, "Automated Safety Monitoring: A Review and Classification of Methods", International Journal of Condition Monitoring and Diagnostic Engineering Management., vol. , Pages 14/32, January 2001.
Download: Automated Safety Monitoring.pdf
Article
Sunwoo Kim, John A. Clark, John A. McDermid, "Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method", Software Testing, Verification and Reliability, December 2001.
Download: Investigatingthe Effectiveness ofOO Test strategies.pdf
Conference Paper
K Allenby, M Bardill, John McDermid et al , "A Family-Oriented Software Development Process for Engine Controllers", in Profes 2001, 2001.
Download: Family-Orientated Software Development for Engine Controllers.PDF
Conference Paper
Iain Bate, Philippa Conmy, John McDermid, "Generating Evidence for Certification of Modern Processors for use", in 5th International High Assurance Systems Engineering Symposium, 2000.
Download: Generating Evidence for Certification of Modern Processors for use in Safety Critical Systems.doc.pdf
Conference Paper
Simon Burton, John Clark ,John McDermid, "Testing, Proof and Automation. An Integrated Approach", in 1st International Workshop on Automated Program Analysis, Testing and Verification, 2000.
Download: testing_proof_and_automation.pdf
Conference Paper
Paul Hollow, John McDermid, Mark Nicholson,, "Approaches to Certification of Reconfigurable IMA Systems", in 10th International Symposium of the International Coucil on Systems Engineering, 2000.
Download: Approaches to Certification of Reconfigurable IMA Systems.pdf
Conference Paper
Sunwoo Kim, John A. Clark, John A. McDermid, "Class Mutation: Mutation Testing for Object-Oriented", in OOSS: Object -Orientated Software Systems, 2000.
Download: Class Mutation-Mutation Testing for Object-Oriented.pdf
Conference Paper
Sunwoo Kim, John A. Clark, John A. McDermid, "INVESTIGATING THE APPLICABILITY OF TRADITIONAL TEST", in FESMA-AEMES 2000: the European Software Measurement Conference, 2000.
Download: Investigating the Applicability of Traditional Test Adequacy for OO Programs.pdf
Conference Paper
John A McDermid, "Complexity: Concept, Causes and Control", in 6th IEEE International Conference on Engineering ofComplex Computer (ICECCS 2000), 2000.
Download: Complexity-Concept,Causes & Control.pdf
Conference Paper
John Murdoch, Peter Kirkham, John A. McDermid, Philip Wilkinson, "Safety assessment of System Architectures", in 10th Int Symposium of the International Council on Systems Engineering, 2000.
Download: Safety Assessment of System Architectures.pdf
Conference Paper
Yiannis Papadopoulos, Giuseppe Mauri, John McDermid, "Systematic Anticipation and Validation of Scenarios of Failure Propagation and Mitigation in PLC Controlled Processes", in 4th International Conference on PLCs in Safety Related Applications, January 2000.
Download: Systematic Anticipation and Validation of Scenarios.pdf
Conference Paper
Zoe Stephenson, Darren Buttle, John McDermid, "Extending Commonality Analysis for Embedded Control Systems Families", in International Workshop on Software Architecture and Product Families, 2000.
Download: Extending Commonality Analysis for Embedded Control System Families.pdf
Conference Paper
Simon Burton, John Clark, Andy Galloway, John McDermid, "Automated V&V for high integrity systems, a targeted formal methods approach", in NASA Langley Formal Methods Workshop, January 2000.
Download: NASALangley.pdf
Article
N. Tracey, J. Clark, K. Mander and J. McDermid, "Automated test-data generation for exception conditions", SOFTWARE—PRACTICE AND EXPERIENCE, vol. , Pages 61-79, 2000.
Download: Automated Test Data Generation for Exception Conditions.PDF
Article
Peter Lindsay, John McDermid, David Tombs, "Deriving Quantified Safety Requirements in Complex Systems", Springer Verlag, 2000.
Download: Deriving Quantified Safety Requirements in Complex Systems.PDF
Article
Y. Papadopoulos, J. A. McDermid, "The Potential for a Generic Approach to Certification of Safety-Critical Systems in the Transportation Sector", Journal of Reliability Engineering and System Safety, vol. , Pages 47-66, 1999.
Download: The Potential for a Generic Approach.pdf