School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. UKACM 2019
  4. Compressors Conference
  5. Our London location
  6. Athena SWAN
  7. Placements and internships
  8. Engineering & Mathematics scholarships and funding
  9. Computer Science scholarships and funding
  1. Centre for HCI Design
  2. Research
  3. Previous Projects
School of Mathematics, Computer Science & Engineering


"Safety-Related Requirements Analysis"

Project description

This 6 month project investigates a tool-based extension to existing NATS requirements processes to support safety-related requirements analysis and specification. Safety-related requirements processes will be extended with i* modelling supported with satisfaction arguments, embedded in an extended version of the REDEPEND software tool. The process and tool extension will evaluated using an airspace infringement detection solution.

Staff and funding

Principal investigator: Prof Neil Maiden

Research staff: James Lockerbie

Total funding: £54,000
Funding source: National Air Traffic Control
Duration: February 2006 until July 2006

Project collaborators

Key Research Publications

Key publications are available on the RESCUE project web-page.