|
|
MSc in Safety Critical Systems
Student Projects
|
|
If you would like to look at a copy of this project please contact Mark
Nicholson (mark@cs.york.ac.uk).
Projects of 2008
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
98 |
MScSCSE |
An Independent Safety Auditor's View of Data Off The Shelf |
M. Clarke |
D. J. Pumfrey |
|
99 |
MScSCSE |
Arguing the Safety of FPGAs within Safety Critical Systems |
J. Clegg |
P. Conmy |
|
100 |
MScSCSE |
'Advisory Only' Status for Aircraft Systems with a Protective Function |
T. Corkery |
D. J. Pumfrey |
|
101 |
MScSCSE |
A. Hill |
M. Nicholson |
|
|
102 |
MScSCSE |
C. Hodson |
M. Nicholson |
|
|
103 |
MScSCSE |
U sing Safety Contracts to Identify Regression Tests for Modular Systems |
C. Hollinshead |
M. Nicholson |
|
104 |
MScSCSE |
Maintenance for SIL Partitioned Systems |
N. McAllister |
D. J. Pumfrey |
|
105 |
MScSCSE |
Managing Assumptions for Safety Critical Projects |
A. Shore |
T. P. Kelly |
|
106 |
MScSCSE |
A. Wake |
M. Nicholson |
Projects of 2007
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
153 |
MScSCSE |
A Method for Effective Safety Management of Materials in Defence Systems |
P. Benton |
T. Kelly |
|
154 |
MScSCSE |
Avoiding Complacency, Ensuring Complacency :Human Factors
and Considerations |
S. Elks |
H. L. Petrie |
|
155 |
MScSCSE |
Managing the Safe Integration of Complex Systems |
C. Eskdale |
T. Kelly |
|
157 |
MScSCSE |
Establishing a Product Line Safety Case - For a Logistic Vehicle Fleet |
H. Page |
T. Kelly |
|
158 |
MScSCSE |
Use of Contracts in the Modularisation of Complex Fault Trees |
M. Price |
R. Allerton |
|
159 |
MScSCSE |
Integrating the ALARP Principle with the use of Safety Integrity Levels |
J. Shuttleworth |
T. Kelly |
|
160 |
MScSCSE |
Safety integrity of data |
M. Templeton |
R. Allerton |
|
163 |
MScSCSE |
The Retrospective Application of BS EN 61508 |
D. Muir |
D. J. Pumfrey |
|
165 |
MScSCSE |
Development of an Operational safety Case Within an
Existing Safety Management |
M. Jones |
T. Kelly |
|
172 |
MScSCSE |
D. J. Pritchard |
M. Nicholson |
|
|
173 |
MScSCSE |
Profiling of IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, for the Assessment and Evaluation of Legacy Systems |
|
J. A. McDermid |
Projects of 2006
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
90 |
MScSCSE |
Assessing the Use of a Safety and Support Questionnaire in Support of a Service Modification Process |
A. D. H. Gower |
M. Nicholson |
|
138 |
MScSCSE |
Tram Projects - An Integrated Approach |
P. Alliott |
D. Pumfrey |
|
139 |
MScSCSE |
Towards a UML Profile and Process for Building Safety Related Object Oriented Software |
C. Chorley |
R. F. Paige |
|
140 |
MScSCSE |
Mechanisms for High Integrity Signalling |
M. Clayton |
S. De Souza |
|
141 |
MScSCSE |
Research into the Extensions required to the MilCAN Protocol for its use in Safety Critical Systems |
A. Crolla |
S. De Souza |
|
143 |
MScSCSE |
The Hazards of Unmanned Air Vehicle Integration into Unsegregated Airspace |
A. Evans |
M. Nicholson |
|
144 |
MScSCSE |
The “Development Risks” Defence (Consumer Protection Act 1987) An Engineering Viewpoint |
A. Harrison |
D. Pumfrey |
|
145 |
MScSCSE |
Extension in Current Safety Assessment Process to Incorporate System Induced Human Failures |
E. Pittaway |
M. Nicholson |
|
146 |
MScSCSE |
Establishing and Using Data Bus Safety Arguments |
M. Place |
T. Kelly |
|
148 |
MScSCSE |
M. Salter |
M. Nicholson |
|
|
149 |
MScSCSE |
Formal Methods in Railway Signalling |
R. Watson |
J. C. P. Woodcock |
|
150 |
MScSCSE |
The Development of Programmable Logic Devices for use in Safety Critical Systems` |
G. White |
R. Allarton |
|
151 |
MScSCSE |
The use of ALARP safety justifications at the level of sub systems |
G. Wilkinson |
D. Pumfrey |
Projects of 2005
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
134 |
MScSCSE |
Human Factors Contracts for Safety Critical Systems |
R. Barraclough |
M. Nicholson |
|
135 |
MScSCSE |
A New Approach for the Production and Application of an MEL |
L. Hegarty |
D. Pumfrey |
|
136 |
MScSCSE |
The Move to Performance based standards - managing uncertainty |
K. Moore |
M. Nicholson |
|
137 |
MScSCSE |
Integration Modelling of Process Industry Safety Initiatives |
D. Huw Morgan |
M. Nicholson |
|
138 |
MScSCSE |
Addressing the Inconsistencies in the Offshore Safety Case |
|
T. Kelly |
|
143 |
MScSCSE |
Evaluating safety related image integrity over visual communication systems |
A. Eaton |
M. Nicholson |
Projects of 2004
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
159 |
MScSCSE |
Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints |
G. Jolliffe |
M. Nicholson |
|
160 |
MScSCSE |
Military Airbourne Safety Arguments: A innovative approach
to both the Military Aircraft |
G. Brown |
T. P. Kelly |
|
161 |
MScSCSE |
Use of the C++ Programming Language in Safety Critical Systems |
D. W. Reinhardt |
T. P. Kelly |
|
162 |
MScSCSE |
Managing Safety during Design Change |
A. Vaughan |
T. P. Kelly |
|
163 |
MScSCSE |
Introducing Systematic Reuse into Military ATC Safety Case Management |
M. Warren |
T. P. Kelly |
|
164 |
MScSCSE |
Fault Tree Analysis - more than just minimum cut set generation |
T. White |
D. J. Pumfrey |
|
227 |
MScSCSE |
Issues Surrounding the Development of Operational Safety
Cases in the |
C. Blagrove |
D. J. Pumfrey |
Projects of 2003
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
134 |
MScSCSE |
Safety Process Measurement |
P. Caseley |
J. Clark |
|
178 |
MScSCSE |
Streamlining Safety Case Development: A Railway Signalling Example |
Z. Alderman |
T. Kelly |
|
179 |
MScSCSE |
Communicating Safety Assurance - A Case Study |
J. Fenn |
T. Kelly |
|
180 |
MScSCSE |
The Systematic Use of Fault Tolerant Software Engineering
Techniques Applied |
G.McCall |
T. Kelly |
|
181 |
MScSCSE |
Using \'low integrity\' data and components in a Safety-Critical System |
A. Ward |
D. Pumfrey |
Projects of 2002
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
169 |
MScSCSE |
An Human Error Analysis of Operational Engineering Procedures and a Theoretical Discussion on Procedure Violation |
P. Bateman |
P. C. Wright |
|
170 |
MScSCSE |
Maintenance of the Certification Basis for a Distributed Control System - Developing a Safety Case Architecture |
M. Dowding |
T. P. Kelly |
|
171 |
MScSCSE |
Safety Analysis of UML based Software Specifications |
P. Edwards |
unknown |
|
172 |
MScSCSE |
"Heavy Modifications": A Three Stage Safety Process for Modification of Undocumented Legacy Systems |
K. Graham |
D. J. Pumfrey |
|
173 |
MScSCSE |
Maintenance of Safety Related and Safety Critical Software in the Royal Air Force |
M. Shuker |
J. Clark |
|
185 |
MScSCSE |
Structured Safety Case Evaluation: A Systematic Approach to Safety Case Review |
P. Mayo |
T. P. Kelly |
|
186 |
MScSCSE |
Investigation of Preliminary System Safety Assessment (PSSA) in the Air Traffic Management Environment |
M. Oliver |
J. Clark |
Projects of 2001
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
147 |
MScSCSE |
Using Formal Methods to Validate Geographical Data for Railway Signalling Systems |
Rabade Blanco |
S. King |
|
148 |
MScSCSE |
From Clouds to Concrete - The pragmatic application of
Goal Structured Notation to |
K. Cartmale |
T. Kelly |
|
149 |
MScSCSE |
The Eurofighter 'Operational' Safety Case |
L. Henery |
T. Kelly |
|
150 |
MScSCSE |
Towards an Industrially Applicable Model Checker for Railway Signalling Data |
M. Huber |
S. King |
|
151 |
MScSCSE |
Safety Case Augmentation |
K. Keen |
T. Kelly |
|
152 |
MScSCSE |
Applying Safety Techniques in Security |
J. Lynch |
J. Clark |
|
153 |
MScSCSE |
Application of Hazop Type Techniques in an Industrial Context |
P. Miles |
J. Clark |
|
154 |
MScSCSE |
UML Patterns for Real-Time Systems |
Alejandra Stolk |
I. Wand |
|
155 |
MScSCSE |
A Pragmatic Evaluation of an Integrated Approach to System Safety Assessment |
P. Williams |
T. Kelly |
Projects of 2000
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
175 |
MScSCSE |
Frameworks for Managing Complex Synthetic Environments |
V. Brennan |
S. King |
|
176 |
MScSCSE |
A Comparative Study Of The Safety Integrity Level Concept
For Use |
P. Brown |
T. Kelly |
|
177 |
MScSCSE |
Safety Case Strategies for COTS Software |
G. M. Coates |
T. Kelly |
|
178 |
MScSCSE |
Software Safety and Supportability Analysis |
S. D. Nucci |
M. Nicholson |
|
179 |
MScSCSE |
Effectiveness of the SPARK Toolset in Checking for Run-Time Errors in Safety-Critical Software |
D. Foulger |
S. King |
|
180 |
MScSCSE |
Tool Support for Different Styles of Refinement in Z |
E. Kellaway |
S. King |
Projects of 1999
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
146 |
MScSCSE |
Impact of Integration on Safety Critical Avionic Systems |
A. Cox |
N. Audsley |
|
147 |
MScSCSE |
Review of Railtrack's Methodology for Ensuring
Preparedness for Disruption to Operational Processes: |
A. L. Backhouse |
J. Moffett |
|
148 |
MScSCSE |
The Utilisation of the Java Language In Safety Critical System Development |
S. Bentley |
I. C. Wand |
|
149 |
MScSCSE |
The Cost of Security on the Internet |
A. D. Brydon |
J. Moffett |
|
150 |
MScSCSE |
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems |
R. Evans |
J. Moffett |
|
151 |
MScSCSE |
Security and Electronic Commerce |
I-Yu Wang |
J. Moffett |
|
152 |
MScSCSE |
A Pragmatic Application of the ALARP Principle To Software |
S. Woods |
T. Kelly |
Projects of 1998
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
141 |
MScSCSE |
Casual Animator |
E. Chatzikyriakos |
J. Moffett |
|
142 |
MScSCSE |
Test Case Generation from Requirements Specification |
E. Grigoriadis |
J. Moffett & A. Vickers |
|
143 |
MScSCSE |
The MATRIXx Notation's Semantics and Principles of Formal Code Generation |
C. E. Parker |
S. King |
|
144 |
MScSCSE |
Integration of Safety and Security Requirements in Information Systems |
D. Eames |
J. Moffett |
|
145 |
MScSCSE |
Comparison of Refinement Styles |
C. Plummer |
S. King |
|
146 |
MScSCSE |
Fixed Priority Timing Analysis and Real-Time Networks |
R. White |
A. Burns |
|
147 |
MScSCSE |
Multi-Integrity Level Software on Uni-Processor Systems |
S. Hutchesson |
unknown |
|
148 |
MScSCSE |
The Automatic Generation of High-Integrity |
M. Bardill |
I. Wand |
|
149 |
MScSCSE |
Analysis of Software Designs for Non Functional Properties |
T. Hopwood |
A. Vickers & J. Moffett |
|
150 |
MScSCSE |
Patterns for Safety-Critical Systems |
R. W. Born |
I. Wand |
Projects of 1997
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
114 |
MScSCSE |
Implementing an Abstraction Tool to Tackle the State Explosion Problem in Model Checking |
F. Fotopoulos |
S. King |
|
115 |
MScSCSE |
Safety Analysis for Command and Control Systems |
J. D. C. Savage |
J. Clark |
|
116 |
MScSCSE |
Assessing Computer Systems for Human Error |
B. O. Thomas |
M. Harrison |
|
117 |
MScSCSE |
Formal Methods in PLC Programming |
A. Cole |
J. Clark |
Projects of 1996
|
ProjectId |
Course |
Title |
Author |
Supervisor |
|
116 |
MScSCSE |
The Application of Formal Methods to the Development of
Railway |
H. Anagnostopoulos |
I. C. Wand |
|
117 |
MScSCSE |
Investigations into the integration of timing constraints with the B method |
B. Hemeury |
S. King |
|
118 |
MScSCSE |
The Verification of the Design of Railway Networks |
E. L. Raili |
S. King |
|
119 |
MScSCSE |
Integrating Requirements Specification and Safety Analysis Techniques |
G. Taylor |
A. J. Vickers |