MSc SCSE Projects completed by students since 2000: 25

1. S. D. Nucci [2000] Software Safety and Supportability Analysis

2. G. Jolliffe [2004] Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints

3. R. Barraclough [2005] Human Factors Contracts for Safety Critical Systems

4. K. Moore [2005] The Move to Performance based standards - managing uncertainty

5. D. Huw Morgan [2005] Integration Modelling of Process Industry Safety Initiatives

6. A. Eaton [2005] Evaluating safety related image integrity over visual communication systems

7. D. H. Gower [2006] Assessing the Use of a Safety and Support Questionnaire in Support of a Service Modification Process

8. A. Evans [2006] The Hazards of Unmanned Air Vehicle Integration into Unsegregated Airspace

9. E. Pittaway [2006] Extension in Current Safety Assessment Process to Incorporate System Induced Human Failures

10. M. Salter [2006] Managing Operational Safety Case in High-Risk Systems

11. D. J. Pritchard [2007] Tool Qualification, A Generic Argument for safe application of tools to a Safety Critical Software Project

12. A. Hill [2008] Safety Tactics for Reconfigurable Process Control Devices

13. C. J. Hodson [2008] Civil Airworthiness for a UAV Control Station

14. C. Hollinshead [2008] Using Safety Contracts to Identify Regression Tests for Modular Systems

15. A.Wake [2008] Safety of Data in Real-Time Distributed Systems

16. A. Scott [2009] Environmental and Human Health Risk Management: A preliminary investigation into tools to aid conflict identification and management

17. A. Armstrong [2009] Development of a Methodology for Deriving Safety Metrics for UAV Operational Safety Performance Measurement

18. R. Boyd [2009] Software Lifecycle Model Selection Criteria for Safety-Critical Software

19. M. Remnant [2009] The Application of Sneak Analysis To Safety Critical FPGAs

20. J. Beer [2010] The True Significance of Common Cause Failures in Accidents

21. S. Collins [2010] A Behavioural Assessment Process for the Substantiation of Practitioner Competency Claims in Safety Arguments

22. J. Palmer [2010] Interface Contracts between Safety Management Systems

23. D. Sexton [2010] A Process for the Evaluation of V & V Workflows for Ensuring that Automatically Generated Code Matches the Input from Model Based Design

MSC GTC projects

1. Mohammed Ahmed [2010] Selecting a Technology for a Computing Core in an Aerospace Electronic Engine Controller

2. J. Tullett [2020] Lessons Learnt Approaches used in Gas Turbine Control Applications