Informatiker Prof. Chen mit ERC Grant ausgezeichnet

Prof. Chen erhält damit aus Brüssel Unterstützung für sein Projekt „PropRT - Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems“ – und zeigt sich darüber hoch erfreut: „Ich sehe es als große Ehre an, dass der Europäische Forschungsrat meine Arbeit mit einem ERC Consolidator Grant auszeichnet“, sagt er.

Sein Projekt wird einen umfassenden Überblick über potenzielle Design-, Analyse- und Optimierungsmöglichkeiten für Timing-Eigenschaften in cyberphysikalischen Echtzeitsystemen ermöglichen. Cyberphysikalische Echtzeitsysteme sind Informationsverarbeitungssysteme, die sowohl funktionale als auch zeitliche Korrektheit erfordern und mit der physikalischen Welt interagieren. Da die Zeit in der physikalischen Welt kontinuierlich fortschreitet, sind sichere Grenzwerte deterministischer oder probabilistischer Timing-Eigenschaften erforderlich. PropRT wird die Möglichkeiten untersuchen, aus formalen Eigenschaften Timing-Analysen für komplexe cyberphysikalische Echtzeitsysteme aufzubauen. Die Systeme werden so gestaltet sein, dass eine sichere und genaue Analyse sowie Optimierung nahezu automatisch durchgeführt werden kann. Die Ergebnisse können als Bausteine für den Entwurf vorhersehbarer cyberphysikalischer Systeme dienen, die in naher Zukunft eine Revolution der Computerarchitekturen und Kommunikationsmechanismen auslösen könnten.

Über den Europäischen Forschungsrat:

Der Europäische Forschungsrat ist eine Einrichtung zur Finanzierung von Grundlagenforschung, die die Europäische Kommission gegründet hat. Seit 2014 läuft das aktuelle Forschungsrahmenprogramm Horizon 2020. Der ERC Consolidator Grant richtet sich an etablierte Spitzenforscherinnen und-forscher, die bereits exzellente Forschungsleistungen erbracht haben. Der Grant hat eine Förderdauer von fünf Jahren, die Förderung beträgt in der Regel bis zu zwei Millionen Euro.

Zur Person:

Prof. Jian-Jia Chen ist seit April 2014 Professor an der Fakultät für Informatik der TU Dortmund. Zuvor war er von 2010 bis 2014 Juniorprofessor an der Fakultät für Informatik am Karlsruhe Institute of Technology (KIT). Vorausgegangen waren von 2008 bis 2010 Stationen an der ETH Zürich, von 2006 bis 2007 bei der Fisheries Agency, Council of Agriculture/Taiwan sowie von 2002 bis 2006 am Department of Computer Science and Information Engineering an der National Taiwan University, wo Chen 2006 promovierte.

Ansprechpartner für Rückfragen: