print · source · login   

Theme: Embedded Systems

Embedded systems constitute a natural application area for the technologies developed within our group. We collaborate with several major companies in this area such as Philips Healthcare, ASML, NXP and Oce. There are many opportunities for projects.

a) A virtual environment for the development of embedded software

To validate (models of) embedded software it is useful to have a virtual simulation of the hardware that is controlled by the software. The aim of this project is to investigate the construction of such a simulation environment, e.g., using serious gaming techniques. Important is the trade-off between the amount of detail (the realism of the model), the speed of the simulation, and the user needs. As an application of the approach, the goal is a simulation environment for Lego Mindstorms EV3 robots (contact Jozef Hooman).

b) Internship at ASML

Design an efficient scalable, and robust calculation service for critical dimension metrology (contact Frits Vaandrager).

c) Model checking at NXP

One year ago some students of the Analysis of Embedded Systems course did a successful project in which they applied the nuSMV model checker to analyze a Die-Bonder Strip Glue machine at NXP/ITEC in Nijmegen. I am looking for students interested in an MSc project at NXP, building further on this work (contact Frits Vaandrager).

d) Internship at Embedded Systems Innovation in Eindhoven

Former ICIS student Martijn Hendriks is looking for students that are interested in an intership at ESI/TNO in Eindhoven. ESI/TNO uses system-level performance models to predict the performance of future implementations of the datapath of high-end printers and copiers from Oce. This model-based way of working can lead to shorter development times and improved performance of products. An important step in this process is to validate and calibrate the models that we use. The goal of the assignment is to investigate distance metrics for (sets of) execution traces. Such metrics can contribute to the automated validation and calibration of performance models. The developed metrics are expected to be implemented in a prototype tool. This assignment has a challenging theoretical side, but its results can directly be applied and tested in an industrial setting. For more info see here (contact Frits Vaandrager).