Software Language Engineering for Cyber-Physical Systems (WS4C 2011)
Ralf Lämmel, Dietrich Paulus (Universität Koblenz-Landau)
| The Trouble with Real Numbers (Invited Paper) Walid Taha, Robert Cartwright |
|||
| LavA: Model-Driven Development of Configurable MPSoC Hardware Structures for Robots Matthias Meier, Olaf Spinczyk |
|||
| Modeling Application-Specific Processors for Embedded Systems Florian Brandner, Viktor Pavlu, Andreas Krall |
|||
| Modelling a Real-Time Control System using Parameterized Linear Hybrid Automata Christian Schwarz |
|||
| Parametrizing Motion Controllers of Humanoid Robots by Evolution Dietmar Schreiner, Clemens Punzengruber |
|||
| Requirements and a Case-Study for SLE from Robotics: Event-oriented Incremental Component Construction Ingo Lütkebohle, Sven Wachsmuth |
|||
| Robbie: A Message-based Robot Architecture for Autonomous Mobile Systems Susanne Thierfelder, Viktor Seib, Dagmar Lang, Marcel Häselich, Johannes Pellenz, Dietrich Paulus |
|||
| A Software System for Autonomous Rescue Robots Zaheer Aziz, Dirk Fischer, Tobias Kotthäuser, Bärbel Mertsching |
|||
| Testing Microcontroller Software Simulators Thomas Reinbacher, Dominique Gückel, Stefan Kowalewski, Martin Horauer |
|||
| Unreliable yet Useful -- Reliability Annotations for Data in Cyber-Physical Systems Michael Engel, Florian Schmoll, Andreas Heinig, Peter Marwedel |
|||