12. – 17. Februar 2017, Dagstuhl Seminar 17071

Computer-Assisted Engineering for Robotics and Autonomous Systems


Erika Abraham (RWTH Aachen, DE)
Hadas Kress-Gazit (Cornell University – Ithaca, US)
Lorenzo Natale (Italian Institute of Technology – Genova, IT)
Armando Tacchella (University of Genova, IT)

Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team


Gemeinsame Dokumente
Programm des Dagstuhl Seminars [pdf]


An autonomous system is a system which performs certain intended tasks based on its current state and sensing, without human supervision. There are several fields in which autonomous systems play an increasing role like, e.g., aerospace, railway signaling or automotive engineering.

In the absence of external control, it is highly important to make sure that autonomous systems are functionally safe. The more critical system safety is, the more important is to introduce standardized certifications to assure their correct functioning. However, though au- tonomous systems are increasingly involved in our everyday life, both exact formalizations of safe functionality (standards, what we want to be confident in), and methods to achieve confi- dence (methodologies, how we get confident in the properties we want to assure) are still scarce and not well integrated.

To move towards the initiation of such standards and the development of such technologies, in this seminar we want to discuss at an abstract level (1) what are general safety requirements for autonomous systems, (2) what are potential key technologies that could be employed to assure that those safety requirements hold, and (3) what are the obstacles on the way to the application of those technologies.

Robotics is a typical area for the development of Autonomous Systems . As models are a basic requirement for the formal analysis of systems, Model-driven Software Engineering plays an important role to enable the application of Formal Methods. With this seminar we would like to bring together these communities to exchange knowledge, opinions and needs, to develop recommendations, and to initiate road maps to increase the safety of autonomous systems.

In the above communities, a plethora of interesting activities and innovative results can be observed, however, without close connections between the different areas. For example in Robotics, Model-driven Software Engineering methods are still seldomly used, and even when they are applied, the approaches are not general, i.e., not directly transferable to other ap- plication domains. Also Model-driven Software Engineering and Formal Methods are not well connected, e.g., novel results in hardware/software verification are not directly transferred to Model-driven Software Engineering technologies. As Formal Methods need formal models of the systems of interest, Model-driven Software Engineering could build a bridge between Robotics and Formal Methods, being an enabling condition for the application of Formal Methods to Autonomous Systems.

  Creative Commons BY 3.0 DE
  Erika Abraham and Hadas Kress-Gazit and Lorenzo Natale and Armando Tacchella


  • Artificial Intelligence / Robotics
  • Software Engineering
  • Verification / Logic


  • Autonomous Systems
  • Artificial Intelligence
  • Robotics
  • Computer-aided Software Development
  • Domain-specific Languages
  • Model-driven Software Engineering
  • Safety
  • Testing
  • Analysis
  • Verification
  • Synthesis
  • Formal Methods


Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.