The outcome of TNO-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 TNO-ESI methods & 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 tool for visualising quantitative analysis results. TRACE supports visualising the occurrence of activities on resources (and dependencies between them) as a function of the time (Gantt charts). TRACE also supports visualisation of quantitative results in (multi-dimensional) design-spaces to ease comparing design alternatives.

Key feature of TRACE is the ability to configure identification, selection and visualisation of such information to match any specific application domain.

Design Framework

The Design Framework supports consolidation and linking design artifacts (such as documents, models, code, analysis results) and track the consistency of these artifacts. 

Read more