Title :
Reverse engineering requirements for process-control software
Author_Institution :
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
Abstract :
A method of reverse engineering requirements for process-control system software is presented, along with a domain-specific functional structure. Techniques are demonstrated on the executable pseudocode of a commercial avionics control system. Resulting requirements are expressed as a state-based model of externally visible behavior specified completely in the language of process control
Keywords :
aerospace computer control; aerospace computing; aircraft instrumentation; process computer control; process control; software maintenance; commercial avionics control system; domain-specific functional structure; executable pseudocode; externally visible behavior; process-control software; reverse engineering requirements; state-based model; Aerospace computer control; Aircraft computers; Process control; Software development management; Software maintenance;
Conference_Titel :
Software Maintenance, 1994. Proceedings., International Conference on
Conference_Location :
Victoria, BC
Print_ISBN :
0-8186-6330-8
DOI :
10.1109/ICSM.1994.336763
