Publications

Full flexible use of inkjet printhead units in printing systems requires consistent generation of drops with any given volume and velocity at any moment and place desired. True drop-on-demand is currently hampered by physical phenomena in the printhead. These are residual vibrations and crosstalk resulting from conventional jets.

Full flexible use of inkjet printhead units in printing systems requires consistent generation of drops with any given volume and velocity at any moment and place desired. True drop-on-demand is currently hampered by physical phenomena in the printhead. These are residual vibrations and crosstalk resulting from conventional jets.

How to develop adaptive high-tech embedded systems? This question has motivated this book. Adaptivity provides a wider operational envelope of systems and enables new market opportunities. Effective development of such systems requires a systematic approach that enables to include the adaptive capabilities at various system levels.

Context: Large software systems are usually developed by integrating several smaller systems, which may have been developed independently. The integration of such systems often requires the development of a custom adapter (sometimes called mediator or glue logic) for bridging any technical incompatibilities between the systems.

Much, if not most, information needed to assess a crisis situation originates these days from cooperative sources such as the Internet and social networks. Public safety authorities face the challenge to compile this information of uncertain origin and quality in their situation understanding and response planning.

This paper presents an approach to construct execution views, which are views that describe what the software of a software-intensive system does at runtime and how it does it. The approach represents an architecture reconstruction solution based on a metamodel, a set of viewpoints, and a dynamic analysis technique.

Wireless Sensor Networks (WSNs) are commonly deployed in dynamic environments where events, such as moving sensor nodes and changing external interference, impact the performance, or Quality-of-Service (QoS), of the network. QoS is expressed by the values of multiple, possibly conflicting, network quality metrics, such as network lifetime and maximum latency of communicating a packet to the sink.

This paper presents a collaborative procedure for multiobjective global routing. Our procedure takes multiple global routing solutions, which are generated independently (e.g., by one router that runs in different modes concurrently or by different routers running in parallel), as input. It then performs multiobjective optimization based on Pareto algebra and quickly generates multiple global routing solutions with a tradeoff between the considered objectives.

Performance modeling of embedded systems is used to explore the system-level design-space and compare a wide range of possible solutions with respect to their performance gain. Calibration and validation of the developed performance models help ensure that the performance predictions of these models are accurate.

Wereport about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components.