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
Zameni, T.; Bos, P. van den; Tretmans, J.; Foederer, J.; Rensink, A.

From BDD Scenarios to Test Case Generation

Model-based testing (MBT) offers the possibility of automatic generation and execution of tests. However, it is not yet widely used in industry due to the difficulty in creating and maintaining models. On the other hand, Behavior Driven Development (BDD) is becoming more popular in the agile development process to achieve a common understanding of the system under development among stakeholders and to automate testing.
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
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
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
Barbini, L.

Approaches to performance diagnostics and prediction with Bayesian networks

Year
2023
Authors
Gerwen, M.J.A.M. van

Guided root cause analysis of machine failures - Status 2022

Today’s complexity of high-tech systems makes diagnosing system failures a tough task for service engineers. Increasing product variability and fast market introduction of new generation systems prohibit the expertise build-up that served service engineers in the past. Traditionally, system knowledge is transferred to the service organization through service manuals and training.
Year
2022
Authors
Gerwen, M.J.A.M. van; Barnini, L.; Nägele, T.C.

Integrating System Failure Diagnostics Into Model-based System Engineering

Published in
Insight, 25(4), pp. 51-57.
Ever-increasing system complexity is challenging for development engineers and service personnel troubleshooting system failures in the field. This paper presents a systematic, scalable approach to attain a diagnostic model. Automatic transformation into computational models is used 1) at design time to improve the diagnosability of the system, and 2) during operation for guided root cause analysis by calculating the most probable failures and suggesting diagnostic procedures based on available data and observations.
Year
2022
Authors
Roos, N.; Pil, A.

Managing Complexity in cyber-physical systems

We are a leading applied research center for systems design and engineering in the high-tech equipment industry. We work in close collaboration with Dutch industry as well as in strong association with the fundamental research of academia, both nationally and internationally. We contribute to society and the economy by driving advances in high-tech systems technology through a strong shared research program, dedicated innovation support, a focused competence development program and various knowledge- and experience-sharing activities.