Scientific publications

This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete-time systems possibly affected by disturbances. Given a β-contractive ellipsoidal set E, the key idea is to construct a polyhedral set that lies between the ellipsoidal sets β E and E.

All aspect orientation languages provide a onesize-fits-all methodology for reflection on join points. However, the amount of resources necessary for this approach is too high to be applicable in the context of consumer products. In this industrial research paper, we describe a solution to this problem and prove via an experiment that it is suitable for our context.

Formal theories for real-time systems (such as timed process algebra, timed automata and timed petri nets) have gained great success in the modeling of concurrent timing behavior and in the analysis of real-time properties. However, due to the ineliminable timing differences between a model and its realization, synthesizing a software realization from a model in a predictable way is still a challenging research topic.

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.

Manufacturing companies of complex distributed cyber-physical systems (dCPS) are encountering challenges with respect to designing their next-generation machines. They need efficient Design Space Exploration (DSE) techniques to evaluate possible design decisions and their consequences on nonfunctional aspects of the systems.

Ever-increasing system complexity is challenging for development engineers and service personnel troubleshooting system failures in the field. This paper presents a systematic, scalable approach to attain a diagnostic model. Automatic transformation into computational models is used 1) at design time to improve the diagnosability of the system, and 2) during operation for guided root cause analysis by calculating the most probable failures and suggesting diagnostic procedures based on available data and observations.

The lack of explicit and precise specifications of software interfaces between components often leads to integration issues during development and maintenance. To address this, we have developed a framework named ComMA (Component Modeling and Analysis) that supports model based engineering of high-tech systems by precisely defining components and their interfaces.

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.

Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on a multiprocessor system as a task graph. Tasks communicate data over buffers, where tasks wait on sufficient space in output buffers before producing their data.

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.