Retrospective Collection of Safety Case Evidence - Experiences from an Air Traffic Control System Safety Case

摘要

This paper describes some aspects of the collection of evidence to support a retrospective software safety case for a large, military Air Traffic Control system. The evidence was required to justify the derivation of software specific safety targets and to demonstrate that the targets were net. Operational records of incidents, including 'near misses', and configuration and change management records provided the data used for the evidence. The paper concludes that where equipment has been used within an existing safety culture it is potentially possible to find enough evidence for a successful retrospective safety case.