Scientific publications


Explore the publications from TNO‑ESI, showcasing our research findings and expertise. This includes peer-reviewed articles, conference papers, and research reports, as well as more accessible publications that share insights from our collaborations with industry partners. You can easily search the publications by keyword to find what is most relevant to you.

Year
2021
Authors
Diallo, M.; Akesson, B.; Bera, D.; Begeer, R.

Synthetic portnet generation with controllable complexity for testing and benchmarking

There are many classes of Petri nets for describing communicating systems. Some of these guarantee important properties, such as termination in the case of portnets. There are also many methods and tools available for their analysis and synthesis. However, when developing new methods, or benchmarking against existing ones, it is often helpful to quickly generate large sets of random models satisfying certain properties and user-defined rules.
Year
2020
Authors
Akesson, B.; Nasri, M.; Nelissen, G.; Altmeyer, S.; Davis, R.I.

An Empirical Survey-based Study into Industry Practice in Real-time Systems

This paper presents results and observations from a survey of 120 industry practitioners in the field of real time embedded systems. The survey provides insights into the characteristics of the systems being developed today and identifies important trends for the future. The survey aims to inform both academics and practitioners, helping to avoid divergence between industry practice and fundamental academic research.
Year
2022
Authors
Laveaux, M.; Wesselink, W.; Willemse, T.A.C.

On-The-Fly Solving for Symbolic Parity Games

Year
2022
Authors
Ibrahim, A.; Goswami, D.; Li, H.; Basten, T.

Delay-aware Multi-layer Multi-rate Model Predictive Control for Vehicle Platooning under Message-rate Congestion Control

Published in
IEEE Access
Vehicle platooning is an enabler technology for increasing road capacity, improving safety and reducing fuel consumption. Platoon control is a two-layered system where each layer runs under a different communication standard and rate - (i) the upper-layer operates under a specific V2V communication standard such as IEEE 802.
Year
2021
Authors
Dams, D.R.; Ketema, J.; Kramer, P.; Mooij, A.J.; Radulescu, A.

Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases

Maintaining large, multi-language code bases is challenging because of their size and complexity. Hence, tool support is desirable. Unfortunately, off-the-shelf tools fall short by aiming for genericity instead of exploiting characteristics of the specific code bases and maintenance tasks. Our objective is to support software maintenance by facilitating the development of custom tools for static code analysis.
Year
2021
Authors
Posch, J.; Verriet, J.; Driessens, K.

Encoder-Decoder Approaches for Detection and Diagnosis of Anomalies in Machine Control Applications

Year
2021
Authors
Hendriks, T.

Cybersecurity & privacy and Architecting : White Paper Resulting from Architecture Forum Meeting, November 14-15, 2018, Daimler, Sindelfingen, Germany

Year
2021
Authors
Safari, M.; Oortwijn, W.; Huisman, M.

Automated Verification of the Parallel Bellman–Ford Algorithm

Many real-world problems such as internet routing are actually graph problems. To develop efficient solutions to such problems, more and more parallel graph algorithms are proposed. This paper discusses the mechanized verification of a commonly used parallel graph algorithm, namely the Bellman–Ford algorithm, which provides an inherently parallel solution to the Single-Source Shortest Path problem.
Year
2021
Authors
Schuts, M.; Alonso, M.; Hooman, J.

Industrial experiences with the evolution of a DSL

At Philips IGT, we develop and produce interventional X-ray systems. For a controller in these systems, we have an approximately five years old domain specific language. Like general programming languages, domains specific languages also evolve. These languages co-evolve together with their domain. The language used at IGT was initially created for one system instance.
Year
2022
Authors
Akesson, B.; Nasri, M.; Nelissen, G.; Altmeyer, S.; Davis, R.I.

A comprehensive survey of industry practice in real-time systems

Published in
Real-Time Systems, 58(3), pp. 358-398.
This paper presents results and observations from a survey of 120 industry practitioners in the feld of real-time embedded systems. The survey provides insights into the characteristics of the systems being developed today and identifes important trends for the future. It extends the results from the survey data to the broader population that it is representative of, and discusses signifcant diferences between application domains.