Feb 10, 2015: Bugra M. Yildiz: Model-based Critical Path Analysis and Deriving Models from the Source Code Using Model-Transformation Techniques

February 10, 2015Model-based Critical Path Analysis and Deriving Models from the Source Code Using Model-Transformation Techniques
Room: HB 2ABugra M. Yildiz
12:30-13:30

To support the automation of verification of models derived from source code and to provide a suitable platform for the experiments, we have developed a model transformation framework using model-driven engineering techniques. We automatically derive control-flow model from source code and subsequently, apply a group of transformations to this model to get a timed-automata model compatible with UPPAAL. The framework can be extended by adding new meta-models with related model instances and new model transformations while existing modules and meta-models can be reused. This helps us to reuse the framework for variety of purposes and example cases.