SOFTWARE INTENSIVE SYSTEMS REVERSE ENGINEERING

THIS PROPOSAL IS BASED ON THE REVERSE ENGINEERING OF SOFTWARE METHODOLOGY DEVELOPED UNDER A PHASE I NSF SBIR GRANT (#ISI 876-0223). THE NSF SPONSORED PROJECT PRODUCED AN ALGORITHM FOR TRANSLATING A PROCEDURAL FORTRAN PROGRAM INTO AN EQUATIONAL SPECIFICATION IN MODEL. THE LATTER IS INPUT TO THE MODEL SYSTEM WHICH REGENERATES THE PROGRAM IN PL/1, C OR ADA. THIS PROPOSAL IN DIRECTED TOWARDS APPLYING THE ABOVE METHOD TO SOURCE PROGRAMS IN CMS-2 IN REAL-TIME MILITARY APPLICATIONS. THE GENERATED SPECIFICATIONS WILL BE IN THE MODEL LANGUAGE, FROM WHICH PROGRAMS IN ADA WILL BE GENERATED. THE EMPHASIS WILL BE ON PARALLEL AND DISTRIBUTED ARCHITECTURES. THESE ARCHITECTURES ARE PRESENTLY SUPPORTED BY THE MODEL SYSTEM. THIS METHODOLOGY WILL SUPPORT THE ENTIRE LIFE CYCLE OF THE SOFTWARE REVERSE ENGINEERING: REDESIGN, DOCUMENTATION, MAINTENANCE, PROGRAM REGENERATION AND TESTING. THIS METHODOLOGY WILL BE USED TO REVERSE ENGINEER THE TENS OF MILLIONS OF CMS-2 PROGRAM LINES IN NAVY TACTICAL AND STRATEGIC SYSTEMS. A TWO THIRDS REDUCTION IN COST AND IMPROVED QUALITY ARE ENVISIONED, AS COMPARED WITH REPLACING THE OLD PROGRAMS WITH NEWLY DEVELOPED PROGRAMS. CCCC IS OFFERING COMMERCIALLY THE MODEL SYSTEM AND PLANS TO EXTEND THIS OFFERING TO A CMS-2-TO-ADA AUTOMATED REVERSE ENGINEERING PRODUCT.