One of the outcomes of ESI's research activities are methodologies that are supported by tools for high-tech systems design. These tools have a sound academic basis and proven industrial value. The current tool-portfolio of ESI contains the following tools:


The ComMA framework supports component-based development by formalizing and monitoring interface specifications. This includes time constraints and a state machine to specify the allowed sequences of client-server interactions.

Read more

POOSL is a modeling language for system-level design which is intended to bridge the gap between industrial practice and formal methods. The POOSL tool provides an integrated editing, debugging and validation environment combined with a high-speed simulation engine.

Read more

TRACE is a customizable, domain-independent and source-independent Gantt chart viewer with mathematically-founded analysis support. TRACE supports the visualization of activities on resources as a function of time (Gantt charts), as well as the visualization of continuous signals. TRACE also supports several analysis techniques to identify bottlenecks, check formally-specified (performance) properties, and analyze resource usage. A key feature of TRACE is the ability to configure the identification, selection and visualization of such information to match any specific application domain.

Read more

LSAT (Logistics Specification and Analysis Tool) is a performance workbench for the rapid design space exploration of supervisory controllers that orchestrate the behavior of flexible manufacturing systems. LSAT provides an integrated development environment for the lightweight modeling of system resources, system behavior and timing characteristics. The tool provides various visualizations to explore the controlled system behavior and analysis and optimization techniques in order to improve the overall system performance

Read more