Computer Science

Reverse Engineering
The research focuses on defining a reverse engineering methodology for legacy applications. Legacy applications can be represented as Parameterized Timed Transition Systems (a subclass of the Parameterized ATTSs defined in Research Activity “Formal Verification”). As a consequence, the research aims at defining (1) XAL, an XML-based language for representing Parameterized Timed Transition Systems, (2) an algorithm that translates a legacy application written in a high-level programming language (e.g., Java or PhP) in XAL, and (3) a methodology for analyzing (e.g. using model checking defined in Research Activity “Formal Verification”) and re-engineering a legacy application represented in XAL. Part of the results have been implemented in a tool available at: [1] .
Laboratory SILab at DII
Contact PersonLuca Spalazzi
  • SRI International, Menlo Park, CA, USA
  • University of Verona