Real-Time and Embedded Systems

Funded Projects

  • ComDraPor: Compact Graph Drawing with Port Constraints (2014 - 2016, funded by the German Research Foundation, DFG HA 4407/8-1)
  • PRETSY/PRETSY2: Precision-Timed Synchronous Reactive Processing (2011 - 2017, funded by the German Research Foundation, DFG HA 4407/6-1 and HA 4407/6-2)
  • Graphical Design of Safety-Critical Applications (2011 - 2012, funded by National Instruments)
  • MENGES: Modellgetriebene Entwicklung für eine neue Generation elektronischer Stellwerke (2009 - 2012, EU Regional Funding, part of KoSSE)
  • Model Engineering and Predictable Processing (2010 - 2012, collaboration with UC Berkeley, funded by DAAD, 50154894)
  • ELBASYS: Elektrische Basissysteme in einem CFK Rumpf: Architektur und Auslegung (2007 - 2009, funded by Federal Ministry of Economics and Technology/Airbus, EYI-058/07)
  • DECOS: Dependable Embedded Components and Systems (2004 - 2007, EU 6th Framework Integrated Project, IST-2004-FP6-511764)