Scientific publications

Designing next generation distributed Cyber-Physical Systems (dCPS) requires effective Design Space Exploration (DSE) methods to evaluate system design alternatives and their impact on performance. While existing DSE approaches focus on hardware optimization and software-to-hardware mapping, they often overlook parallel execution opportunities within software tasks.

In this survey we asked the participants how they currently use and experience software rejuvenation tools, and what they expect from these tools in the future. The respondents indicated that they are very familiar with the issues addressed by software rejuvenation, and most of them have used rejuvenation tools themselves.

Het succes van de chipmachines van ASML berust voor een belangrijk deel op de kennis en expertise van laserspecialist Trumpf. Aangemoedigd door ASML maakte het EUV-bedrijfsonderdeel de afgelopen vier jaar een ingrijpende transformatie door, begeleid door TNO Embedded Systems Innovation (TNO ESI) en The LMS Group.

De energietransitie in Nederland streeft naar netto nul broeikasgasemissies tegen 2050. Netbeheerders staan daarbij in de komende 10 jaar voor de taak het elektriciteitsnet met ruwweg een factor 5 te verzwaren. Hoofduitdagingen daarbij zijn de volgende: 1. Grondverwerving: Het vinden en verkrijgen van geschikte gronden voor infrastructuur-uitbreiding is uitdagend door beperkte ruimte en concurrerende belangen.

Causal modelling refers to modelling cause-effect relationships in systems, such as to understand how one thing causes another. Causality is becoming an essential element in models that try to make sense of the world. They range in purpose from mainly facilitating communication to making precise predictions on the consequences of choices, and to evaluate the past retrospectively.

ComMA (an abbreviation of Component Modeling and Analysis) is an approach for modeling components and their interfaces in an implementation agnostic notation. The approach is supported by the open-source tool Eclipse CommaSuite. It supports, for instance, model validation and monitoring to check whether the execution of an implementation conforms to the specification.

When humans rely on interacting with AI enabled systems, notably to support a critical decision- making process, it is crucial that the human interactors understand the outcomes in an explainable way. While this is less important for non-critical applications, business, safety, and mission critical applications require this transparency when accountability and compliance to regulations is demanded.

High-tech original equipment manufacturers rely on long-living, software-intensive complex systems that must continuously evolve to meet fast-paced market demands. This evolution often leads to the accumulation of technical debt, making maintenance increasingly challenging. This legacy code problem highlights the need for efficient strategies to keep these systems adaptable and fit-for-purpose.

Modern Integrated Development Environments (IDEs) offer automated refactorings to aid programmers in developing and maintaining software. However, implementing sound automated refactorings is challenging, as refactorings may inadvertently introduce name-binding errors or cause references to resolve to incorrect declarations.

TNO-ESI was asked to help the Netherlands armed forces take their systems engineering know-how to the next level. After a successful pilot training with twenty participants, four additional groups of twenty will be upskilled this year.