DelftVM

Final report about DelftVM.

Hardware acceleration of simulations of distributed systems

In recent years the study of complex systems gained prominence. Since it is usually difficult to use classical mathematic models to understand these systems, scientists and engineers have to resort to simulations. Currently programming languages like CUDA C and OpenCL are available to run large scale simulations on a GPU architecture....

Event patterns for distributed runtime verification

A fundamental problem in networked embedded systems is to know the runtime behaviour. Especially, the behaviour of self-organizing and adaptive systems is difficult to predict, because of the strong coupling with the environment. Monitoring this at runtime is difficult, because the only access is via the network. However, some properties need to...

Online deployment of dependent tasks onto networked systems

The static deployment of tasks onto the components of a networked system is a design-time activity. Given a set of tasks it is desirable to distribute them across the network elements such that an intended system functionality is achieved while application specified criteria—such as power consumption or execution time—are optimized. However, it...

Automatic Discovery of Distributed Algorithms for Large-Scale Systems

In recent years, large-scale systems have become mainstream at a very high pace. Typical examples of large-scale systems are MANETs, Wireless Sensor Networks, Pervasive Computing, Swarm Robotics, etc. These systems distinguish them- selves by the large number of devices they embody, and emergent behaviors they exhibit: Behavior that is globally...

Network-based bootloader for distributed embedded systems applications

This thesis describes the design, implementation and deployment of a network-based bootloader for distributed embedded systems applications. The bootloader is based NXP's LPC1769 microcontroller containing the ARM Cortex-M3 processor. The CAN bus is used as the network's physical layer. Due to the modular design of the bootloader, easily...

Improving RGBD Indoor Mapping with IMU data

With the release of RGBD-cameras (cameras that provide both RGB as well as depth information) researchers have started evaluating how these devices can be used in fields of localization, mapping and ubiquitous computing. Intel Seattle Research proposed an indoor mapping algorithm making use of such a camera. The algorithm itself is vulnerable to...

Wireless Sensor Platform for Sporting Applications

With Wireless Sensors widely used in various domains like home automation, industrial monitoring there is a market urge to deploy the wireless sensors in sporting applications. By deploying wireless sensors in sports, various dimensions of use-case scenarios become obvious which include monitoring sports players to help assess their fitness...