Tools and demonstration systems developed in the first funding period

Tool-Suite containing SSE, MatchBox, LM Configurator, SimuLizar, and Functional Analysis Tools.

   -> SeSAME page

_______________________________________________________________________

Service Specification Environment for describing services comprehensively and transforming specification languages using by-example techniques.

   -> SSE page

_______________________________________________________________________

Framework for matching services using a comprehensive matching process and fuzzy matching.

   -> MatchBox page

_______________________________________________________________________

Functional analysis of pre- and postconditions and data flow.

   -> Functional Analysis Tools page

_______________________________________________________________________

Provides modeling support for self-adaptation rules as well as new analysis for scalability, elasticity, and efficiency.

   -> SimuLizar page

_______________________________________________________________________

The goal of the market demonstrator is to demonstrate and evaluate the feasibility of an On-The-Fly service market.

   -> Market Demonstrator page

_______________________________________________________________________

ConfigMate is a tool to automatically compose a new service operation from a given set of service operations.

   -> ConfigMate Page

_______________________________________________________________________

Proof-Carrying Hardware Demonstrator

   -> PCH Demonstrator page

_______________________________________________________________________

Integrates proof-carrying code and programs-from-proofs in software analysis tool CPAchecker.

   -> SoCeTs page

_______________________________________________________________________

The On-The-Fly Image Processing demonstrator aims for emphasizing the benefits of applying On-The-Fly Computing service composition techniques to the image processing application domain.

   -> Image Processing Demonstrator page

_______________________________________________________________________

CrACo - Cryptographic Access Control Tool for Large Scale Systems

   -> CrACo page

_______________________________________________________________________

MaxiNet extends the famous Mininet emulation environment to span an emulation across several physical machines. This allows to emulate very large SDN networks.

   -> MaxiNet page

_______________________________________________________________________

The simulator provides functionalities to implement and test scheduling strategies and evaluate them.

   -> SchedSim

_______________________________________________________________________

Heterogeneous Node demonstrates the execution of service compositions on different computing resources deployed in a single heterogeneous server.

   -> Heterogeneous Node page

_______________________________________________________________________

The Water Tank Optimization tool can be used to support the planning process for tanks in a water distribution system.

   -> Water Tank Optimization page

_______________________________________________________________________

The Ontology Optimization Models tool implements the process of Algebraic Modeling Language (AML) Derivation for an ontology represented optimization model.

   -> Ontology Optimization Models page