15, Mar, 2013 14:30-15:30 (1 hour)
CISTER, Porto, Portugal

ABSTRACT:
Cyber-physical, embedded real-time systems 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 independent design, verification, and execution of applications with different criticalities and models of computation. In this presentation we present the concepts and current status of the CompSOC platform.
SHORT BIO:
Kees Goossens has a 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 anagement. 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, supporting multiple models of computation. 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 was guest editor for several special issues on networks on chip. He is author on 24 patents and 19 patent applications, and published two books, 100+ articles, with four paper awards (including CODES+ISSS). 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.

WHERE:
Auditorium, CISTER, ISEP
Rua Alfredo Allen, 535
4200-135 Porto, Portugal