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
- 2010
- Authors
- Jongerden, M.; Mereacre, A.; Bohnenkamp, H.; Haverkort, B.; Katoen, J.P.
Computing optimal schedules of battery usage in embedded systems
- Published in
- IEEE Transactions on Industrial Informatics, 6(3), pp. 276-286.
The use of mobile devices is often limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries or battery cells over the load to exploit the recovery properties of the batteries helps to extend the overall systems lifetime.
- Year
- 2010
- Authors
- Shabbir, A.; Stuijk, S.; Kumar, A.; Theelen, B.; Mesman, B.; Corporaal, H.
A predictable communication assist
Modern multi-processor systems need to provide guaranteed services to their users. A communication assist (CA) helps in achieving tight timing guarantees. In this paper, we present a CAfor a tile-based MP-SoC. Our CA has smaller memory requirements and a lower latency than existing CAs. The CAhas been implemented in hardware.
- Year
- 2010
- Authors
- Yang, Y.; Geilen, M.; Basten, T.; Stuijk, S.; Corporaal, H.
Automated bottleneck-driven design-space exploration of media processing systems
Media processing systems often have limited resources and strict performance requirements. An implementation must meet those design constraints while minimizing resource usage and energy consumption. Design-space exploration techniques help system designers to pinpoint bottlenecks in a system for a given configuration.
- Year
- 2010
- Authors
- Cloutier, R.; Muller, G.; Verma, D.; Nilchiani, R.; Hole, E.; Bone, M.
The concept of reference architectures
- Published in
- Systems Engineering, 13(1), pp. 14-27.
The concept of Reference Architectures is novel in the business world. However, many architects active in the creation of complex systems frequently use the term Reference Architecture. Yet, these experienced architects do not collectively have a consistent notion of what constitutes a Reference Architecture, what is the value of maintaining the Reference Architecture, what is the best approach to visualizing a Reference Architecture, what is the most appropriate level of abstraction, and how should an architect make use of the Reference Architecture in their work? This paper examines current Reference Architectures and the driving forces behind development of them to come to a collective conclusion on what a Reference Architecture should truly be.
- Year
- 2010
- Authors
- Shojaei, H.; Wu, T.H.; Davoodi, A.; Basten, T.
Pareto-algebraic framework for signal power optimization in global routing
This paper proposes a framework for (signal) interconnect power optimization at the global routing stage. In a typical design flow, the primary objective of global routing is minimization of wirelength and via consumption. Our framework takes a global routing solution that is optimized for this objective, and quickly generates a new solution that is optimized for signal power, with only a small, controlled degradation in wirelength.
- Year
- 2010
- Authors
- Ma, Z.; Catthoor, F.; Vermunt, F.; Hendriks, T.
System-level analysis of soft error rates and mitigation trade-off explorations
This paper presents a novel system-level analysis of soft error rates (SER) based on the Transaction Level Model (TLM) of a targeted System-On-a-Chip (SoC). This analysis runs 1000x faster than the conventional SoC analysis using a gate-level model. Moreover, it allows accurate prediction in the early design phase of a SoC, when only limited application details are available.
- Year
- 2010
- Authors
- Xing, J.; Theeleny, B.D.; Langerak, R.; Pol, J. van de; Tretmans, J.; Voeten, J.P.M.
From POOSL to UPPAAL Transformation and quantitative analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control systems, POOSL has been used to construct models for performance analysis. The considered motion control algorithms are characterized by periodic execution.
- Year
- 2010
- Authors
- Pillai, C.; Fabel, R.; Somers, L.
Model based control software synthesis for paper handling in printers
Control software is an integral part of new complex electromechanical systems, such as professional high speed printers. The development of these multidisciplinary products involves a number of iterative and incremental cycles of prototype creation. Automatically generating control software is a big leap in rapid prototyping of these products.
- Year
- 2010
- Authors
- Xing, J.; Theelen, B.D.; Langerak, R.; Pol, J. van de; Tretmans, J.; Voeten, J.P.M.
UPPAAL in practice Quantitative verification of a RapidIO network
Packet switched networks are widely used for interconnecting distributed computing platforms. RapidIO (Rapid Input/Output) is an industry standard for packet switched networks to interconnect multiple processor boards. Key performance metrics for these platforms include average-case and worst-case packet transfer latencies.
- Year
- 2010
- Authors
- Stuijk, S.; Geilen, M.; Basten, T.
A predictable multiprocessor design flow for streaming applications with dynamic behaviour
The design of new embedded systems is getting more and more complex as more functionality is integrated into these systems. To deal with the design complexity, a predictable design flow is needed. The result should be a system that guarantees that an application can perform its own tasks within strict timing deadlines, independent of other applications running on the system.

