School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Centre for HCI Design
  2. Research
  3. Previous Projects
School of Mathematics, Computer Science & Engineering

SARA

"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.