Reverse engineering the software design of a safety related atm system

This paper describes how a software architectural design of the ARTAS (ATM Surveillance Tracker And Server) surveillance data processing system was constructed from the existing Ada 83 code. A process of automated reverse engineering was adopted to construct a UML model of the static part of the design, with selected aspects of the dynamic behaviour being added manually. The resulting UML model was used as the vehicle for establishing bi-directional traceability between software requirements and design. The IBM Rhapsody^® and DOORS^® tools were used to build the models, for traceability and for the production of printed documents.