AT @ MSC @ TU/e

On this page, an overview of automotive technology (AT) activities is given carried out within the department of Mathematics and Computer Science (MSC) of the Eindhoven University of Technology (TU/e). From the MSC department, the sections Model Driven Software Engineering (MDSE) and Security and Embedded Networked Systems (SENS) participate actively in the Automotive Systems graduate program.

1         Research Projects

1.1       Current projects

1.1.1       FP7-ICT/iGAME

iGAME, which is an acronym for “Interoperable GCDC AutoMation Experience”, is a 3-years project  of the 7th Framework Programme for Research, technological Development and Demonstration. The objective of iGAME is to develop generic, fault-tolerant, and resilient technologies for automated driving and supporting cooperative applications, focusing on the supervisory control level. I-GAME aims to speed-up real-life implementation of interoperable cooperative driving, enabled by wireless communications. iGAME is a cooperation between several faculties of the TU/e, TNO, IDIADA and Viktoria Swedish ICT. Tarun Gupta participated in iGAME.

1.1.2       ARTEMIS/EMC2

EMC2, which is an acronym for “Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments”, is an ARTEMIS Joint Undertaking project in the Innovation Pilot Programme “Computing platforms for embedded systems” (AIPP5). The objective of EMC2 is to establish Multi-Core technology in all relevant Embedded Systems domains. EMC2 is a project of 99 partners. Sander de Putter, member of the section MDSE and Leo Hatvani, member of the section SENS, participate in EMC2.

1.2       Completed projects

1.2.1       FP7/OPENCOSS – October 2011 – March 2015

OPENCOSS (Open Platform for EvolutioNary Certification Of Safety-critical Systems) is an FP7 large-scale integrated project with a consortium of seventeen companies from nine countries. It aims 1) at devising a common certification framework which spans different vertical markets in the transport sector, such as railway, avionics and automotive industries, and facilitates the reuse of assurance assets within, across, and between domains, and 2) establishing an open-source platform for safety certification infrastructure. Yaping Luo of the section MDSE participated as a PhD-student, and worked on using metamodeling techniques to facilitate safety certification process and metric design for safety assessment.

1.2.2       HTAS/HIT – September 2010 – June 2014

The Hybrid Innovations for Trucks (HIT) project was a 4-years research project in the innovation program of the Ministry of Economic Affairs, Agriculture and Innovation in the Netherlands on HighTech Automotion Systems (HTAS), funded by the Dutch agency Agentschap NL. It was carried out in a consortium of an OEM, suppliers and research institutes as part of the HTAS program. The ultimate goal of the project is the reduction of CO2 emissions and fuel savings for long-haul trucks. To enable the innovation in hybrid vehicles, more complex control software will be developed, e.g. for engine, after-treatment, battery management and energy management systems. Yanja Dajsuren of the section MDSE participated as a PhD-student in HIT, and worked on architecture modelling and software quality techniques.

1.2.3       HTAS/Verified – April 2009 – December 2013

Verified, which is an acronym of “Verified, Economical and Robust Integrated Functionality for In-vehicle Embedded Development”, is also a 4-years research project in the HTAS innovation program. Verified is a co-operation between several faculties of the TU/e, TNO and various partners in the automotive industry, such as NXP and Verum. Sjoerd Cranen, former member of the section MDSE and Martijn M.H.P. van den Heuvel, member of the section SENS, participated as PhD-students in Verified. A presentation of the results of MSC at the final demonstration of Verified can be found here.

1.3       Submitted projects

1.3.1       STW Perspectief/iCAVE

iCAVE, which is an acronym of “Integrated Cooperative Automated Vehicles”, is a project proposal in the so-called Perspectiefronde 2014/2015 of STW. iCAVE aims at researching and designing a Cooperative Dual Mode Automated Transport (C-DMAT) system, consisting of dual mode vehicles which can be driven automatically and manually to allow maximum flexibility. iCAVE is a cooperation between faculties of the TU/e, UT, DUT, UvA, and RU.

2         Education

2.1       TU/e Bachelor College

The TU/e Bachelor College program offers 3-year lasting Bachelor educations with a fixed part (120 credits), consisting of the Major and the Basic Courses, and a large elective part (60 credits), consisting of a USE-trajectory and Free Electives. Automotive is one of the majors in the bachelor college. The MCS department provides the Automotive software engineering course (2IWA0) within the Automotive major.

2.2       TU/e Graduate School

The TU/e Graduate School provides 15 graduate programs, each focused on a specific field of research. A graduate program consists of one or more Master programs with the possibility to continue with a Technological Designer or PhD program in the same field. Automotive Systems is one of the TU/e graduate programs, with an Automotive Technology (AT) master’s degree program, an Automotive Systems Design (ASD) PDEng program, and an Automotive Systems PhD program.

The MCS department provides the Real-time software systems engineering course (2IN70) in the core program of the Master’s Program Automotive Technology (MSc-AT).

3         Publications

3.1       PhD-theses

[1]    S. Cranen, Getting the point: obtaining and understanding fixpoints in model checking, PhD-thesis, TU/e,, September 2015.

[2]    Y. Dajsuren, On the Design of an Architecture Framework and Quality Evaluation for Automotive Software Systems, PhD-thesis, TU/e,, March 2015.

[3]    M.M.H.P. van den Heuvel, Composition and synchronization of real-time components upon one processor, PhD-thesis, TU/e,, June 2013.

3.2       Master theses

[4]    R.F.W. Segers, Suitability of Bluetooth Low Energy as a communication technology for automotive applications, MSc-AT thesis, TU/e,, August 2014.

[5]    J.H.S. van Uden, Proof of Concept of an Integrated Automotive Architecture, MSc-AT thesis, November 2013.

[6]    A.G. Dinu, Estimating performance indicators at model level, MSc-AT thesis, November 2013.

[7]    D.M.M. Gerrits, FlexRay-based communication for distributed in-vehicle embedded control, MSc-AT thesis, TU/e,, November 2013.