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
2023
Authors
Fokkink, W.J.; Goorden, M.A.; Hendriks, D.; Beek, D.A. van; Hofkamp, A.T.; Reijnen, F.F.H.; Etman, L.F.P.; Moormann, L.; Mortel-Fronczak, J.M. van de; Reniers, M.A.; Rooda, J.E.; Sanden, L.J. van der; Schiffelers, R.R.H.; Thuijsman, S.B.; Verbakel, J.J.; Vogel, J.A.

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

The Eclipse Supervisory Control Engineering Toolkit (ESCETTM) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers , targeting their entire engineering process. It supports synthesis-based engineering of supervisory controllers for discrete-event systems, combining model-based engineering with computer-aided design to automatically generate correct-constructioncontrollers.
Year
2023
Authors
Hendriks, A.J.; Akesson, B.; Voeten, J.; Hendriks, M.; Coronel Parada, J.; Garcia-Gordillo, M.; Saez, S.; Valls, J.J.

Thirteen concepts to play it safe with the cloud

Market trends show advanced usage of safetycritical systems with novel services based on smart data analytics. Customers require continuous updates to applications and services and seek lower costs, and easy-to-install solutions (maintenance) for safety-critical cyber-physical systems (CPS). Leveraging edge and cloud technologies has the potential to enhance safety-critical CPS, also in regulated environments.
Year
2023
Authors
Verriet, J.; Sanden, B. van der; Veen, G. van der; Splunter, A. van; Lousberg, S.; Hendriks, M.; Basten, T.

Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development

Product family development facilitates reuse across all phases of systems engineering; in case of model-based systems engineering, this reuse involves the models as well. Introducing a model-based way of working is challenging, especially for product family development. This paper describes a case of introducing a modelbased way of working in brown-field product family development.
Year
2023
Authors
Yang, N.; Cuijpers, P.; Hendriks, D.; Schiffelers, R.; Lukkien, J.; Serebrenik, A.

An interview study about the use of logs in embedded software engineering

Published in
Empirical Software Engineering, 28(2)
Context: Execution logs capture the run-time behavior of software systems. To assist developers in their maintenance tasks, many studies have proposed tools to analyze execution information from logs. However, it is as yet unknown how industry developers use logs in embedded software engineering. Objective: In this study, we aim to understand how developers use logs in an embedded software engineering context.
Year
2023
Authors
Elahi, H.; Geilen, M.; Basten , T.

Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs

Published in
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Streaming systems are naturally modeled with synchronous dataflow graphs (SDFGs). The max-plus semantics of an SDFG is a compact matrix representation of its timing behavior. The max-plus semantics enables us to analyze and control timing properties of the systems, such as the obtainable minimum guaranteed throughput and maximum latency.
Year
2021
Authors
Barbini, L.; Bratosin, C.; Nägele, T.

Embedding diagnosability of complex industrial systems into the design process using a model-based methodology

There is a constant increase of the market expectations on the capabilities of industrial high-tech systems. To meet these expectations, designers of such systems have to explore complex solutions that ensure both functionality and maximum up-time. We describe a methodology that supports the designers in this task.
Year
2022

Insight : Archimedes initiative

We are pleased to announce the December 2022 INSIGHT issue published cooperatively with John Wiley & Sons as the systems engineering practitioners’ magazine. The INSIGHT mission is to provide informative articles on advancing the practice of systems engineering and to close the gap between practice and the state of the art as advanced by Systems Engineering, the Journal of INCOSE also published by Wiley.
Year
2022
Authors
Detterer, P.; Nabi, M.; Jiao, H.; Basten, T.

Receiver Design With an Adjustable Energy-Signal-Quality Tradeoff for IoT Networks

Published in
IEEE Internet of Things Journal, 9(22), pp. 23086-23096.
The energy efficiency of an Internet of Things (IoT) receiver can be improved by introducing an adjustable tradeoff between signal quality and energy consumption. In good channel conditions, the receiver can be set to consume less energy per bit, without compromising signal quality in bad channel conditions.
Year
2022
Authors
Mooij, A.J.

Static type checking without downcast operator

Published in
Information Processing Letters, 178
In the last couple of years several dynamically-typed, object-oriented programming languages have been equipped with optional static type checkers. This typically requires these languages to be extended with a downcast operator, which is a common operator in statically-typed languages but not in dynamically-typed languages.
Year
2022
Authors
Sanden, B. van der; Geilen, M.; Reniers, M.; Basten, T.

Partial-Order Reduction for Supervisory Controller Synthesis

Published in
IEEE Transactions on Automatic Control, 67(2), pp. 870-885.
A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique that alleviates this issue in the field of model checking.