Sprungmarken

Servicenavigation

Hauptnavigation


You are here:

Bereichsnavigation

Nebeninhalt

Links:

Related Projects

Hauptinhalt

Overview / Objectives

The Project has two main objectives: providing documentation and remote access to a growing set of tools for model synthesis.

Documentation and Information platform

We want to setup an information platform, hosting a collection of tools. This allows interested users to compare and evaluate these tools. The tool developers are given an opportunity to present their systems to a software-engineering community and compare them to competing tools.

Deployment Platform

In addition we want to integrate the individual tool into jETI. The jETI platform provides transparent remote access to services and thus facilitates the development and maintenance of heterogeneous software systems.