Tools

One of the outcomes of TNO-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 TNO-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.

The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET™) supports a Synthesis-Based Engineering (SBE) approach for the development of supervisory controllers. Its CIF tooling supports the entire development process of controllers, including among others specification, supervisory controller synthesis, simulation-based validation and visualization, verification, real-time testing, and code generation. Together with the CIF modeling language, this allows to efficiently and cost-effectively design and implement correct-by-construction controllers.

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

MIDS is the Model Inference and Differencing Suite (MIDS). It provides functionality to infer multi-level models of software behavior from execution logs, to get insight into the software behavior. It also provides functionality to compare behavioral models, for change impact analysis, to prevent regressions and reduce the risks for software changes.

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.

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.