Skip to topic | Skip to bottom


Main.CarstenKrauterr1.1 - 08 Oct 2007 - 12:13 - GerdGross

Start of topic | Skip to actions

-- GerdGross - 08 Oct 2007

Carsten Krauter

An Automatic Approach For VDM To Lydia-Model Transformation


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.

You are here: Main > MastersProjects > PastAndCurrentMScProjects > CarstenKrauter

to top

Copyright © 2003-2017, Software Engineering Research Group, Delft University of Technology, The Netherlands