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
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.
Year
2020
Authors
Putten, B.J.C. van; Sanden, B. van der; Reniers, M.; Voeten, J.; Schiffelers, R

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

Published in
Discrete Event Dynamic Systems: Theory and Applications
One of the challenges in the design of supervisors with optimal throughput for manufacturing systems is the presence of behavior outside the control of the supervisor. Uncontrollable behavior is typically encountered in the presence of (user) inputs, external disturbances, and exceptional behavior. This paper introduces an approach for the modeling and synthesis of a throughput-optimal supervisor for manufacturing systems with partially-controllable behavior on two abstraction levels.
Year
2020
Authors
Berg, F. vanden; Camra, V.; Hendriks, M.; Geilen, M.; Hnetynka, P.; Manteca, F.; Sanchez, P.; Bures, T.; Basten, T.

QRML: A Component Language and Toolset for Quality and Resource Management

Published in
Forum on Specification and Design Languages, 2020
Cyber-physical systems (CPS) are complex, heterogeneous, and dynamic systems, spanning hardware and software components ranging from edge devices to cloud platforms. CPS need to satisfy many rigorous constraints, e.g., with respect to deadlines, safety, and quality, yielding a large configuration space where only a limited number of configurations meet the constraints and only a fraction are optimal regarding certain qualities.