A selection of Dr Trevor Cockram's published papers

Requirements Engineering

System Requirements Process Improvement and Automation for Embedded, Safety Related Applications: An Industrial Case Study. ESA/INCOSE conference on Better Systems Faster Noordwijk Netherlands November 1997 ESA publication WPP-130

Defining practical criteria and methods for selecting and testing requirement capture tools (co-author) in Successful requirements capture and traceability in systems engineering conference Euroforum London 29-30 April 1998

Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software (co-author) In proceedings of DCCS'98 Distributed computer control systems Lake Como, Italy 9-11 September 1998

Choosing and using the most appropriate requirements management tool for your team and your project (co-author) Euroforum, London 13-14 October 1998

System Requirements for Dependable Systems, T Cockram panel paper Increasing the Role of Requirements Engineering in the Development of Dependable Systems ed C Heitmeyer in proceedings of RE'99 4th international symposium on Requirements Engineering University of Limerick June 1999 IEEE Computer Society Press

The Industrial Use of a Formal Method in a Gas Turbine Engine Electronic Control System (co-author)
In Proceedings of the Workshop on Formal Specifications of Computer Based Systems, FSCBS'00, April 2000
.

Revealing Requirements with Safety T Cockram ESAS01 conference MoD Bristol 2001

Safety and security

Managing safety cases using tool support Safety Critical Systems Club newsletter September 1995

Where Inspections and Audits Fit Into the Safety Process and How Can We Have Confidence in their Effectiveness in Lessons in System Safety ed. F Redmill and T Anderson proceedings of Safety Critical Systems Symposium 2000. Southampton: Springer ISBN 1-85233-249-2.

Lowering the safety hurdle, Achieving cost, schedule and performance safely DPA Safety seminar Abbey Wood September 2000

Electronic Safety Cases: Challenges and Opportunities in proceedings of Safety Critical Systems Symposium 2003. Bristol: Springer

An eSafetyCase approach to assuring safety in UK legacy Air Launched Munitions (co-author) In proceedings of Parari 2003 Canberra November 2003

Examining Programme Experiences with Electronic Safety Cases (co-author) in In proceeding of Dissecting The Latest Tools & Techniques For Increasing Effectiveness In Safety Critical Systems, London May 2004

Assurance Cases: how assured are you? (co-author) in a supplemental volume to DSN-2004, the proceedings of the 2004 International Conference on Dependable Systems and Networks 2004

Examining Programme Experiences With Electronic Safety Cases For Methods Of Improving The Safety Argument In proceeding of Dissecting The Latest Tools & Techniques For Increasing Effectiveness In Safety Critical Systems, London May 2004

Safety Engineering, and Systems Engineering applied to Safety – how far does the analogy go In proceedings of INCOSE Autumn Review 2005

IEC61508 Tutorial Ron Bell, Bill Black, Trevor Cockram IET International Conference on System Safety 6-8 June 2006, Savoy Place, London, UK

Is this the right room for an argument - improving arguments for safety and security. In proceedings of ESREL2006 Lisbon September 2006

Should software reliability be considered in System Safety Assessments Journal of the Safety and Reliability Society Vol 27 No 2 p20-23

Combining security and safety principles in practice IET Conference on System Safety 2007

Software Development Process

Fault Prediction for the software development process (co-author) in Mathematics of Dependable Systems, based on the proceeding of a conference on Mathematics of Dependable Systems organised by The Institute of Mathematics and its Applications and held at Royal Holloway, University of London in September 1993 ed. C Mitchell and V Stavridou Oxford University Press 1995 ISBN 0 19 853491 4

A method of integrating disparate measurements for determining the adequacy of design reviews, presented at the Safety Critical Systems Club conference on the measurement of reliability and safety. London December 1993

Estimating faults introduced by software maintenance (co-author) In Proceeding of CSR Conference on Software Evolution: Models and Metrics Dublin September 1994

Fault Analysis of the Software Generation Process - FASGEP project (co-author) in Risk Management and Critical Protective Systems: Proceedings of the Safety and Reliability Society Conference Cheshire Oct 1994 ed. RF Cox SARS Ltd Manchester

Metrics in the FASGEP project. In proceedings of Application of metrics in industry 1995 conference London December 1995

Fault tolerant design methodology in software for safety related systems --In proceedings of NATO RTO AVT panel symposium on Design principles and methods for aircraft gas turbine engines Toulouse 11-15 May 1998.

Gaining confidence in Software Inspection using a Bayesian Belief Model In Software Quality Journal January 2001 Vol 9 No1 p31-42

A model for inspection efficiency prediction (co-author) Open University Computing Department Technical Report 03/12 November 2003

Testing

Test Equipment Philosophy for military engine control systems. In Proceedings of ITAME 1986 London November 1986 Network Events

Testing protection software through simulation of failures (co-author) Open University Computing Department Technical Report 93/15 August 1993

Knowledge Engineering helps testing protection software (co-author) In Proceeding of 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, June 1994 p116-123

Injecting faults into environment simulators for testing safety critical software (co-author) In Proceedings of 1st European Dependable Computing Conference Berlin Oct 1994

Testing safety critical software via simulating failures of the environment system (co-author) in Risk Management and Critical Protective Systems: Proceedings of the Safety and Reliability Society Conference Cheshire Oct 1994 ed. RF Cox SARS Limited Manchester

Human Error

Human Error in the Software Generation Process in Technology and Assessment of Safety Critical Systems ISBN 0-387-19859-8 February 1994 Springer-Verlag ed. F Redmill, T Anderson

Human Failure in the proceedings of DTI workshop on Human Factors ed F Redmill Derbyshire April 1996, available from the Department of Trade and Industry SafeIT Document Distribution Centre, 35 Benbrook Way, Macclesfield, Cheshire, UK, SK11 9RT

Technology Transfer

The Technology Transfer Gap: A Case Study of Academic-Industrial Technology Transfer and the Barriers to Success (co-author) Conference on Academic and Industrial Co-operation in Space Research Vienna 11-13 November 1998