Kees Goossens, Eindhoven University of Technology, NL


CompSOC: a Mixed-Criticality Multi-MOC Execution Platform


Cyber-physical, embedded real-time systems often contain multiple concurrent applications that have different characteristics and requirements, and are often designed by different parties. As a result, a single system contains applications designed using different models of computation (MOC), and with different criticalities (e.g. real time, safety critical, adaptive, or not). By offering an independent execution virtual platform to each application, the CompSOC platform enables indepedent design, verification, and execution of applications with different criticalities and models of computation. In this presentation we present the philosophy, status, and future developements of the CompSOC platform.


Kees Goossens has BSc in computer science from the University of Wales (1988), and a PhD from the University of Edinburgh (1993). In his thesis he investigated the formal verification of hardware, in particular by using semi-automated proof systems in conjunction with formal semantics of hardware description languages such as ELLA and VHDL. He continued this work at several other universities before joining Philips Research in the Netherlands in 1995. At Philips he worked on behavioural synthesis for high-throughput video processing, then on on-chip communication protocols and memory management. Until 2010, at Philips/NXP Semiconductors Research he led the team that defined te Aethereal network on chip for consumer electronics, where real-time performance and low cost are major constraints. He was also 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. He is editorial board member for the ACM Transactions on Design Automation of Electronic Systems (TODAES), associate editor for the Springer Journal of Design Automation of Embedded Systems (DAEM), and member of the editorial review board of the Resources Management Association (IRMA) International Journal of Embedded and Real-Time Communication Systems (IJECRTS), and guest editor for several special issues on networks on chip. He is author on 9 patents and 22 patent applications, and published two books, 100+ articles, with four paper awards (including CODES+ISSS), and his 2003 paper was selected as one of the 30 most influential papers of 10 years of the DATE conference. He is or was steering committee member of ACSD, DATE, NOCS, MPSOC, and TPC member of CODES+ISSS, DATE, DSD, FPL, ICPP, INA-OCMC, PARMA, ReConFig, SAMOS, SDR, SOC, and VLSI-SOC.

* If you wish to modify any information or update your photo, please contact the web chairalain.fourmigue@polymtl.ca