Direkt zum Inhalt springen

10.06 PARSEC

About

Platform-Aware Synthesis of Embedded Control Software

Semantic gap between control algorithms and their implementations

Embedded control software plays a significant role in many life-critical applications, e.g.  flight control system. These software controllers have the responsibility of controlling physical quantities (e.g. altitude), via feedback loops using which physical and computational components interact with each other. However, there is a large semantic gap between control algorithms – making idealistic assumptions on the implementation platform (e.g. zero communication delay) – and their actual implementation on concrete platforms. This coupled with the heterogeneous nature of the interaction between the physical world (continuous) and the computational platform (discrete), results in ad-hoc and error-prone solutions. Despite a number of developments in the area of hybrid systems, a large portion of design costs today is still consumed with validation efforts.

This project proposes a new paradigm in which the controller code is automatically synthesized from high-level correctness requirements while taking into account the features of the computational platforms. Requirements for modern applications go beyond conventional ones in control theory (e.g. stability) and beyond conventional protocol design in computer science. To address this, we bring together an interdisciplinary team of a control theorist, a computer scientist, and a real-time embedded systems designer, and use a unified methodology for automatic, platform-aware, controller synthesis. This project unifies techniques from computer science, control theory, and the domain of real-time embedded systems to synthesize control software in a reliable and yet cost-effective way.

01-01-1970
IGSSE setup of interdisciplinary research in project teams
16.05.17

Apply now: 12th call for proposals

IGSSE supports up to 10 new project teams

Call closes 2 July 2017

11.06.17

Apply now: IGSSE travel grant for ICCE 2017

28-29 September 2017, TU Darmstadt

Submission deadline for abstracts: 18 June 2017

08.06.17

IGSSE Forum 2017

29-31 May 2017, TUM Science and Study Center Raitenhaslach, Burghausen

14.05.17

Climate-KIC: Join the PhD Catapult

Two-week thematic summer schools across Europe

04.05.17

IAS Symposium: Selected topics in science and technology

8-10 May 2017, IAS Building, Garching Campus

02.05.17

IAS Coffee Talk with PTL Florian Praetorius

3 May 2017, 1 pm, TUM IAS Building, Garching Campus

23.02.16

10th IGSSE Forum

1 - 4 June 2016, TUM Science and Study Center, Burghausen

05.06.16

10th IGSSE Forum

Smart cooperation - science and technology in, with and for society

15.12.15

The Science of Cooking

Doctoral Candidates explore the Secrets of a great Dinner

26.11.15

ATUMS@IGSSE

Having heard of a great Canadian Kick-Off Meeting, everyone at IGSSE was thrilled to welcome the...

20.11.15

Breakfast at IGSSE´s

Meet the IGSSE team every other month! All the things IGSSE members wanted to asked but never dared...

13.10.15

Save the Date: Canadian ATUMS Speaker on "Global Science- Global Career"

26. November 2015, 6-8 pm, IAS Faculty Club, Garching Campus

20 < lib.tabbedcontent
June - 2017
Sun Mon Tue Wed Thu Fri Sat
  01 02 03
04 05 06 07 08
09
10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 27 28 29 30  
Friday, 09. June 2017
Workshop: Standing up for science
9 June 2017, 9am-4pm, Brussels
Apply now: McKinsey 'Forschergeist' symposium
9-11 June 2017, Berlin For doctoral researchers and postdocs!