Please select the desired project time frame:

• July 2026
• January 2026
• July 2025
• January 2025
• July 2024
• January 2024
• July 2023
• January 2023
• July 2022
• January 2022
• July 2021
• January 2021
• July 2020
• January 2020
• July 2019
• January 2019
• July 2018
• January 2018
• July 2017
• January 2017
• July 2016
• January 2016
• July 2015
• January 2015
• July 2014
• January 2014
• July 2013
• January 2013
• July 2012
• January 2012
• July 2011
• January 2011
• July 2010
• January 2010
• July 2009
• January 2009
• July 2008
• January 2008
• July 2007
• January 2007
• July 2006
• January 2006
• July 2005
• January 2005
• July 2004
• January 2004
• July 2003
• January 2003
• July 2002
• January 2002
• July 2001
• January 2001

Start of funding 01.07.2008

Zero Code Development (inkl. Verification) of Heterogeneous, Distributed Embedded Systems

---

Model-Based Development promises an increased quality of the code and an acceleration of the development process. The goal is zero code development, which is the development of software exclusively by using high abstraction concepts of the modeling tool. In the domain of embedded systems, this goal is difficult to achieve due to non-functional requirements such as distribution or real-time requirements. Within this project, we want to design suitable tools that allow the modeling and code synthesis of systems with respect to both functional and non-functional requirements. This comprises in the first place the integration of powerful code generators that allow an easy expansion. Embedded systems are inherently heterogeneous: it is obvious that a code generator can not be designed in a way that it supports a priori all possible hardware platforms. Therefore, the code generator must be easily expandable. The second focus is on verification. Prerequisites of a successful verification include the unambiguous specification of models describing the application.

Final report:
Based on the visits funded by BaCaTeC, the collaboration between TU München and UC Berkeley was strengthened regarding two topics: integration of formal methods for synthesis of embedded systems and specification of timing requirements to allow the automated derivation of configurations for embedded systems. Regarding the first topic, the visit resulted in convincing a student of UC Berkeley to pursue his PhD at TU München. The resulting PhD thesis lead to several publications on high class international conferences, as well as to the development of the open source tool GAVS (http://www6.in.tum.de/~chengch/gavs/). Regarding timing specifications, a paper with authors both from TU München and UC Berkeley was published. In addition, the discussions lead to the development of the open source project CHROMOSOME (chromosome.fortiss.org), a run-time environment that is successfully used in several projects, amongst others in the domain of automotive and industrial automation.