Notes on the papers

General questions

Do we agree on the definition of CPS?

Did we see robotics-specific language issues?

What sort of barriers did we notice?

What common trends did we observe?

  • Formal methods get exercised by most authors.

Are there specific collaborations that start today?

How would we do the workshop again next year?

  • Focus topics
    • Simulation
    • Testing
    • Resource

Big goals / missing topics

  • Unified, comprehensive formal method.
  • High-level knowledge of robots or architecture (KI, type representation).
  • Comprehensive taxonomy

List of papers

Walid Taha (Halmstad University): "Improving Support for Modeling and Simulation of Cyberphysical Systems"

Tricks

  • Two-level computation
  • Multi-staged computation

Wanted

  • Scalability: We should tell each other what state of the art is in each community.

Zaheer Aziz, Dirk Fischer, Tobias Kotthäuser, and Bärbel Mertsching (University of Paderborn): "A Software System for Autonomous Rescue Robots"

Tricks

Wanted

Florian Brandner (CNRS - INRIA - UCB Lyon), Viktor Pavlu (Vienna University of Technology), Andreas Krall (Vienna University of Technology): "Modeling Application-Specific Processors for the Use in Cyber-Physical Systems"

Tricks

Requ./Spec. -> Generate Impl.

Wanted

Integrated formal methods

Michael Engel, Florian Schmoll, Andreas Heinig, Peter Marwedel (TU Dortmund): "Unreliable yet Useful – Reliability Annotations for Data in Cyber-Physical Systems"

Tricks

Wanted

  • Soundness proof
  • Information flow security types

Ingo Lütkebohle, Sven Wachsmuth (Bielefeld University): "Requirements and a Case-Study for SLE from Robotics: Event-oriented Incremental Component Construction"

Tricks

Wanted

Matthias Meier and Olaf Spinczyk (TU Dortmund): "LavA: Model-Driven Development of Configurable MPSoC Hardware Structures for Robots"

Tricks

Wanted

Thomas Reinbacher (Vienna University of Technology), Dominique Gückel (RWTH Aachen), Martin Horauer (Univ. of Applied Sciences Technikum Wien): "Testing Microcontroller Software Simulators"

Tricks

Wanted

  • Export grammar-based testing to this domain

Dietmar Schreiner and Clemens Punzengruber (Vienna University of Technology): "Parametrizing Motion Controllers of Humanoid Robots by Evolution"

Tricks

Wanted

Christian Schwarz (University of Koblenz-Landau): "Modelling a Real-time Control System using Parameterized Linear Hybrid Automata"

Tricks

Wanted

Susanne Thierfelder, Viktor Seib, Dagmar Lang, Marcel Häselich, Johannes Pellenz, Dietrich Paulus (University of Koblenz-Landau): "Robbie: A Message-based Robot Architecture for Autonomous Mobile Systems"

Tricks

Wanted