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
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
2020
Authors
Elahi, H.; Geilen, M.; Basten, T.

A compositional Model for Multi-Rate Max-Plus Linear Systems

The timing of discrete-event systems with synchronization is naturally modeled with canonical multi-rate max-plus linear equations. The main objectives of these models are to analyze and control the systems. As a system becomes more complex, determining its canonical model becomes more complicated. Moreover, these systems may change over time which demands the model to be recalculated.
Year
2020
Authors
Jonk, R.; Voeten, J.; Geilen, M.; Basten, T.; Schiffelers, R.

SMT-based verification of temporal properties for component-based software systems

We introduce a technique to verify temporal properties expressed in MTL on Interval Message Sequence Charts (IMSC), a model based on UML2.0 MSC that captures the timed execution of component-based software systems. We accomplish this by encoding the IMSC and the property of interest in a constraint satisfaction problem, which is then solved with an SMT solver.
Year
2020
Authors
Sanden, B. van der; Vasenev, A.

Architectural guidance in automotive for privacy and security Survey and classification

Year
2020
Authors
Mohamed, S.; Goswami, D.; Nathan, V.; Rajappa, R.; Basten, T.

A scenario- and platform-aware design flow for image-based control systems

Published in
Microprocessors and Microsystems, 75
Year
2020
Authors
Geilen, M.C.W.; Skelin, M.; Kampenhout, J.R. van; Ara, H.A.; Basten, T.; Stuijk, S.; Goossens, K.G.W.

Scenarios in dataflow modeling and analysis

Year
2020
Authors
Basten, T.; Bastos, J.; Medina, R.; Sanden, B. van der; Geilen, M.C.W.; Goswami, D.; Reniers, M.A.; Stuijk, S.; Voeten, J.P.M.

Scenarios in the design of flexible manufacturing systems

Year
2020
Authors
Catthoor, F.; Basten, T.; Zompakis, N.; Geilen, M.C.W.; Kjeldsberg, P.G.

System-scenario-based design principles and applications

Year
2020
Authors
Marko, N.; Vasenev, A.; Striecks, C.

Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach

In the past several years, autonomous driving turned out tobe a target for many technical players. Automated driving requires newand advanced mechanisms to provide safe functionality and the increased communication makes automated vehicles more vulnerable to attacks. Security is already well-established in some domains, such as the IT sector, and now spills over to Automotive.
Year
2020
Authors
Behrouzian, A.R.B.; Goswami, D.; Basten, T.; Geilen, M.; Alizadeh Ara, H.; Hendriks, M.

Firmness Analysis of Real-Time Tasks

Published in
ACM Transactions on Embedded Computing Systems, 19(4)
(m, k)-firm real-time tasks require meeting the deadline of at least m jobs out of any k consecutive jobs. When compared to hard real-time tasks, (m, k)-firm tasks open up the possibility of tighter resource-dimensioning in implementations. Firmness analysis verifies the satisfaction of (m, k)-firmness conditions.