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
page revision: 5, last edited: 06 Oct 2011 15:50