Scientific publications

Cost-effective mobile healthcare must consider not only technological performance but also the division of responsibilities between the patient and care provider, the context of the patient’s condition, and ways to implement patient decision support and tailored interaction.

Deliver “actionable” intelligence instead of just raw information – this is what the Metis research project pursues for supporting operational work in domains characterized by constantly evolving situations with a diversity of entities, complex interactions and high-level uncertainty in the information gathered.

Smart system of systems adapt to their context, current situation, and configuration. To engineer such systems’ behavior, we need to design and eval-uate system-level control strategies and the intelligent management of key scenarios. We propose a model-based approach called probabilistic system summaries to explore related design choices, e.

The warehouse system sales process leads from a specific customer request to a specific customer quotation. This process of configuring a warehouse system with existing components involves a sequence of steps which contain increasingly more details. In this chapter, it is shown by two examples that easy-to-use essential system simulation models can be applied early in the sales process with a good cost/benefit ratio.

Borate ester compounds are emerging as promising materials for lubricating systems. The main drawback of borate esters however, is the susceptiblity to hydrolysis. In this work, two kinds of N-containing heterocyclic borate esters were synthesized. Their hydrolytic stability and tribological properties as lubricant additives in rapeseed oil were evaluated.

The timed dataflow model of computation is a useful performance analysis tool for Electronic System Level Design automation and embedded software synthesis. Its determinism gives it strong analysability properties. It is expressive enough to cover a large class of applications and platforms. The trend however, in both embedded applications and their platforms is to become more dynamic, reaching the limits of what the model can express and analyse with tight performance guarantees.

This document addresses the way an architect can do his work. It shows many tools that belong to the architect toolkit: The CAFCR model, tools per 5 views (Customer Objectives, Application, Functional, Conceptual and Realization), Qualities, Story telling and Reasoning in multiple dimensions.

Model-based testing allows the creation of test cases from a model of the system under test. Often, such models are difficult to obtain, or even not available. Automata learning helps in inferring the model of a system by observing its behaviour. The model can be employed for many purposes, such as testing other implementations, regression testing, or model checking.

Tasks executing on general purpose multiprocessor platforms exhibit variations in their execution times. As such, there is a need to explicitly consider robustness, i.e., tolerance to these fluctuations. This work aims to quantify the robustness of schedules of directed acyclic graphs (DAGs) on multiprocessors by defining probabilistic robustness metrics and to present a new approach to perform robustness analysis to obtain these metrics.