"Safety-Related Requirements Analysis"
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
Key Research Publications
Key publications are available on the RESCUE project web-page.