-- GerdGross - 08 Oct 2007

Carsten Krauter

An Automatic Approach For VDM To Lydia-Model Transformation

Abstract

The systems, we use, are getting more complex and faster, but they are not getting less fault-prone. Thus, we need an aid, supporting us in the task of keeping them dependable. Such an aid is called fault diagnosis. Fault diagnosis provides different manual and automated approaches. A special automated approach is the model-based fault diagnosis, for which we need a model of the system, we want to diagnose. For such model descriptions, different modelling languages were invented, for example the modelling language LYDIA. Because of the fact that the systems get more complex, the task of generating a model can be very hard and time-consuming. Most of these systems are developed by describing them in special developing model languages, like VDM++. Now, we want to find out how these developing models, written in VDM++, can be translated automatically to a LYDIA model. This report gives a short overview over the basics of both modelling languages VDM++ and LYDIA and gives a brief description of the different steps of a compiler, which are needed for the automatic transformation. Afterwards, the VDM++ constructs, which can be translated to a LYDIA model, and their transformation definitions are described. Last but not least, the transformation tool that performs the automatic transformation task is examined.