Partner n° 3 – TUE (Netherlands)

The Eindhoven University of Technology (TUE) was established in 1956. It has 9 scientific departments and provides 12 academic Bachelor programs, 18 Master’s programs, 8 special Master’s programs, 10 postgraduate design programs, 4 first degree teacher training programs. The TUE supervises 10 research schools recognised by the Royal Netherlands Academy of Arts and Sciences, two of the six top research schools and one of the four leading technological institutes. The TUE is ranked among the top universities in Europe. It has approximately 3000 employees, 240 professors, 7200 students, 250 postgraduate students, 600 PhD students. It has 25.000 graduated engineers, 1000 graduated technological design engineers and about 2000 awarded PhDs. It participates in the European university networks CESAER, Santander and CLUSTER and collaborates with universities all over the world.

The Electronic Systems (ES) group has expertise on (formal) modeling and design of embedded systems. ES is involved in (inter)national projects relating to intelligent, ubiquitous, embedded (multimedia) systems, and wireless sensor networks. Major research themes are composable (virtualised), predictable (real-time), low-power embedded systems, models of computation, trade-off analysis, multi-objective optimization, design-space exploration and scenario-based design. It participates or has participated in EU funded projects, Ozone, Betsy, Wasp, Mnemee, ARTEMIS-ASAM.

Key personnel to be involved:

Kees Goossens received his PhD from the University of Edinburgh in 1993 on hardware verification using embeddings of formal semantics of hardware description languages in proof systems. He worked for Philips/NXP Research from 1995 to 2010 on networks on chip for consumer electronics, where real-time performance, predictability, and costs are major constraints. He was part-time full professor at the Delft university of technology from 2007 to 2010, and is currently full professor at the Eindhoven university of technology, where his research focusses on composable (virtualised), predictable (real-time), low-power embedded systems.

Marc Geilen is an assistant professor in the Department of Electrical Engineering at Eindhoven University of Technology. He his Ph.D. from the Eindhoven University of Technology on formal modelling and analysis of real-time distributed message passing systems. His research focuses on analytical modelling for analysis and synthesis of embedded systems, model-based design of multiprocessor systems-on-chip and wireless sensor networks, and multi-objective optimization and trade-off analysis.