We focus on ten societal areas.
TNO cooperates with companies, the public sector and other organisations, to apply our knowledge and expertise with and for others.
We develop knowledge not for its own sake, but for practical application.
TNO offers you the chance to do groundbreaking work and help customers and society with innovative, practical and smart solutions.
On TNO Insights you can read in-depth interviews and articles. Get inspired by TNO’s innovations!
The goal of the research is to improve the development of software that is embedded in high-tech systems. The general approach is to use models of the software and its environment to allow early analysis of requirements and design decisions. Detecting errors early in the development process reduces the effort to obtain high-quality software. Additional benefits can be obtained by generating code from high-level models, including an improvement of software maintenance. Recent techniques to create a Domain Specific Language (DSL) have proven to effective in the development of embedded software. A DSL provides a single source from which a large number of artefacts can be generated, such as analysis models, code, tests, and documentation. This research is strongly related to ESI’s mission to create innovations that support the competitive strength of the high-tech industry.
DSL techniques have been used to create a high-level language, called CoHLA, to allow the fast creation of co-simulations of cyber-physical systems which consist of software components (cyber) and physical components. For such a multi-disciplinary system it is important to allow early system-level analysis by means of the co-simulation of different types of models. DSL technology has also been used to create the ComMA approach for the rich specification of interfaces, including a protocol state machine and time constraints. Powerful tooling has been developed to analyze specifications and to allow monitoring of interfaces. ComMA is currently used by a few high-tech companies.
Completion of the work on CoHLA for the fast creation of co-simulations of cyber-physical systems which consist of software components (cyber) and physical components.