Automated Analysis of Formal Models (Wintersemester 2013/2014)

Lecturer: Prof. Dr. Holger Giese (Systemanalyse und Modellierung) , Dr. Leen Lambers (Systemanalyse und Modellierung) , Johannes Dyck (Systemanalyse und Modellierung)

General Information

• Weekly Hours: 2
• Credits: 3
• Graded: yes
• Enrolment Deadline: 1.10.2013 - 31.10.2013
• Teaching Form: Seminar
• Enrolment Type: Compulsory Elective Module

Programs, Module Groups & Modules

Description

Complexity is one of the most important challenges of today's software systems and their development. Modeling and model-driven software engineering provide a multitude of concepts to handle complexity in the design and development processes, reducing development costs and improving reusability and maintainability. When models are additionally equipped with formal semantics, these models can also be used as a basis for the automated analysis of the systems they represent. Such formal analysis techniques allow, for example, the verification of properties that could otherwise not be assured by testing or human analysis because of the incompleteness of such methods or the complexity of such systems and properties. However, not all tools for the analysis of formal models are equally suited for all kinds of systems. Rather, they are often tailored to their respective areas of application, yielding specific advantages and disadavantages to be aware of.

This seminar is focused on a number of such tools for the automated analysis of formal models. The students will learn about both general approaches for formal analysis techniques and specific tools employing those formal techniques. During the seminar, each student will be assigned a tool and accompanying literature to familiarize him- or herself with and will evaluate the tool as to its areas of application, its specific advantages and disadvantages and its use in practice.

Literature

After the first meeting, the slides - including the topics - will be found under FG Systemanalyse und Modellierung -> Automated Analysis of Formal Models on the respective drive/the internal materials folder.

Learning

The course is a seminar, where each student will give a presentation and write a paper about his or her assigned topic. Each topic will focus on a specific tool for the analysis of models. While there will not be any implementation involved, we expect the students to familiarize themselves with their assigned tool and its use and to develop an example to demonstrate the tool's application.

There will be an introductory meeting presenting basic concepts of the analysis of formal models. In addition, we will introduce the topics - with each topic covering a specific tool - to choose from. Students wishing to participate will be asked to name their preferred topic(s), which we will then process to assign the topics in the subsequent meeting.

Examination

We will grade the student's reports, presentations, and their participation in the seminar.

Dates

First/introductory meeting: Tuesday, 22nd of October, 15.15 - 16.45, Room H-2.58.

Zurück