Scientific publications

This chapter argues that embedded systems design faces several challenges of which late integration and the difference in development productivity between disciplines are major ones. Model driven engineeringMDE) looks a promising approach to address these challenges. However, MDE is a new approach which has to be defined and implemented in close interaction by academia and industry the near future.

Onboarding developers is a difficult task that many companies are faced with every day. One solution would be to have developers read the documentation for the codebase, but documentation can be incomplete and even incorrect. An alternative would be using tools for program comprehension to understand the codebase, with hybrid program analysis being one of the possible ways to infer information from the program and its code.

The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in which it is of interest to considerevent-driven control systems, where the sampling is event-triggered. Although there are various benefits of using event-driven control like reducing resource usage (e.

An elevator is used as a simple system to model a few physical aspects. We will show simple kinematic models and we will consider energy consumption. These low level models are used to understand (physical) design considerations. Elsewhere we discuss higher level models, such as use cases and throughput, which complement these low level models.

Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial view of the global system. Because of the size of these networks, analysis of gossip protocols is mostly done using simulations, that tend to be expensive in computation time and memory consumption.

The use of mobile devices is 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 over the load to exploit recovery properties usually extends the system lifetime.

In this paper, we describe a case study at Philips Healthcare MRI focusing on evolutionary couplings, i.e., a technique to infer relationships among modules by analyzing their history of changes in the source code archive. In this case study, we failed to transfer CouplingViewer, a tool implementing the current state-of-art in evolutionary couplings, to industry.

Performance is a key system level property. Performance, too, is affected by the myriad of decisions and choices in the development and configuration of both hardware and software components. This tutorial focuses on measuring and modeling system performance. We will discuss computer hardware architectures and execution architectures, the sofware design concepts for the dynamic behavior of the system.

In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a way of checking the correctness of a component by means of executing test cases that are systematically generated from a model of the component.