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, Nexperia and Oce. There are many opportunities for projects.

a) Internship at Nexperia in Nijmegen on software model checking of Ada programs

Nexperia consistently produces the essential semiconductors required by every electronic design in the world: more than 90 billion annually. Nexperia, which has over 11,000 employees across Asia, Europe and the U.S., has its headsquartes in Nijmegen. See here for the project description of this internship. Contact Frits Vaandrager or Nils Jansen.

b) 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).