English German
There's always a Logic Solution!
  • Verum

Software Archaeology in Practice; Recovering lost behaviour from legacy code

A presentation at Embedded World 2017 – by Robert C. Howe, CEO Verum Software Tools BV. 
Reengineering legacy software is risky, undesirable but nevertheless occasionally unavoidable. The core challenge is to efficiently and effectively uncover the behaviour of a legacy system. At Embedded World 2017, Verum will present a paper entitled “Software Archaeology: Recovering lost behaviour from legacy code”. We will explain how the behaviour of entire legacy (sub) systems can be systematically rediscovered and captured in verifiably complete and correct Dezyne models, which then provide a basis for further reengineering. We will also be demonstrating this technique at our stand. Facing challenges with your legacy code base?  Read more about our presentation..


Reengineering legacy software is an undesirable but nevertheless occasionally unavoidable necessity. The core challenge is to efficiently and effectively uncover the behaviour of legacy code, the origins of which have been lost in the mists of time, establishing a complete and correct foundation for further re- engineering. In this paper, we present a technique by which such lost or poorly understood behaviour can be recovered and turned into formally verifiable models. These models then offer a solid foundation for the further development of a software system.

Introduction Dezyne

Dezyne is a new generation of model-driven software engineering tools that enables software engineers to create, explore and formally verify designs for state based, event driven or concurrent software systems. It leads to generated code that is robust, reliable and trustworthy. The results include a 50% reduction in development costs, 20% decrease in time to market and a 25% reduction in the cost of field defects. More about Dezyne.