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
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.
Year
2020
Authors
Hussain, I.; Awan, M.A.; Souto, P.F.; Bletsas, K.; Akesson, B.; Tovar, E.

Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines

The well-known model of Vestal aims to avoid excessive pessimism in the quantification of the processing requirements of mixed-criticality systems, while still guaranteeing the timeliness of higher-criticality functions. This can bring important savings in system costs, and indirectly help meet size, weight and power constraints.
Year
2020
Authors
Hooman, J.; Munnik, D. van der; Noltes, P.

Complex software-centric systems require interface medelling

Software interfaces play a crucial rule in component-based development. The Comma framework provides mature tool support for the specification and analysis of interfaces. An interface description in Comma contains a protocol state machine and it may specify timing constraints on the occurrence of interface events.