The outcome of ESI’s research activities is a set of multi-disciplinary methods and supporting tools for high-tech- and embedded systems design. These methods and tools have a sound academic basis and proven industrial value. This website presents an overview of the ESI methods and tools catalogue. They have been grouped into the following categories:


System performance

System quality & reliability

system performance

In the field of system performanceDesign, specification and prediction of quantitative system properties related to perceived application performance (quality of outcome, responsiveness, timeliness) and resource utilisation (processing time, storage space, bandwidth, energy, etc.). we have developed the following set of methods:

system quality and reliability

In the field of system quality & reliabilityDesign, specification, validation and certification of a system’s correct functional and non-functional behaviour, including aspects of overall system dependability (safety, reliability, robustness, etc.). we have developed the following set of methods:

Future-proof systems

Systems in context

future-proof systems

In the field of future-proof systemsStrategies and techniques that allow for the incorporation of new applications, user needs and/or technology upgrades during a system’s operating life. This includes, for example, design-time techniques to achieve design modularisation, standardisation of interfaces and re-use of design assets. we have developed the following set of methods:

systems in context

In the field of systems in contextNew abilities, architectures, and design methods for cyber-physical systems-of-systems, taking into account a dynamic and rapidly changing operational context, including situations that are not envisioned at design time. Our focus is on the information-centric architectures and adaptive operations for situational awareness, smart manufacturing, intelligent traffic, and smart buildings. we have developed the following set of methods:

Supporting tools


POOSL is an example of a new generation of modelling languages for system-level design that intend 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, source-independent Gantt chart viewer with mathematically well-founded analysis support. TRACE supports visualizing the occurrence of activities on resources as a function of the time (Gantt charts). TRACE also supports several analysis techniques, e.g., to identify bottlenecks, to check formally specified (performance) properties, and to analyze resource usage.
Key feature of TRACE is the ability to configure identification, selection and visualisation of such information to match any specific application domain.
Read more


Modeling and analysis of interfaces using ComMA. Precise interface descriptions are crucial for component-based design. read more