Software Engineering
Document Actions

Stalin 2.0 - Improving Model Checking Framework (Team-Projekt)

The Stalin-Framework is an extensible architecture for model checking and software analysis. Since it's early days, many requirements changed and missing features got detected. This team projects aims at closing these gaps. Students are required to program in Java using Eclipse RCP to improve the existing Stalin Core and implement some new features.

Many different algorithms and techniques exist for model checking of different kinds of software. At the Chair of Software Engineering, a Framework exists which is designed to provide input to many different model checking tools. Such tools are written as Eclipse plugins and can be selected via a graphical user interface.
During creation of these plugins, new requirements were encountered and some feature lacks in the current version of the Stalin Framework were detected. During this team project, the current framework should be refactored and improved by requirements comming from different model checking algorithms.
The whole project covers an implementation in Java using Eclipse RCP. Students will get a general insight into the core components of a model checker like generic abstract syntax trees, tool chain management and graph traversal algorithms.

Prerequisites

  • Java, Programming Skills, Software Design
  • Knowledge about Eclipse RCP is beneficial


Available resources