"Mobilität"
Programm des Fachgruppentreffens am 8./9. November 2012
Stand 24.10.2012
Donnerstag, 08.11.2012
|
| 14:00 |
Begrüßung
|
| 14:15 |
Vorstellung des Fachbereichs Informatik der Universität Koblenz-Landau
Dieter Zöbel, Uni Koblenz-Landau
|
| 14:40 |
Mobilitätsaspekte von Betriebssystemen für cyber-physikalische Systeme
Mario Haustein, Matthias Werner (TU Chemnitz) und Jan Richling (TU Berlin)
 AbstractFolien
|
| 15:10 |
Das EB tresos Safety OS - ein AUTOSAR kompatibler Microkernel für sicherheitsrelevante Anwendungen
Dr. Horst Laschinsky, Elektrobit Automotive GmbH, Erlangen
Abstract
|
| 15:40 |
Kaffeepause
|
| 16:10 |
Formal Verification of SOA-based Automotive Software Systems
Christian Schwarz, Uni Koblenz-Landau
Abstract
Folien
|
| 16:40 |
Laborbesichtigung I (in Gruppen)
Labor für aktives Sehen / Labor für Echtzeitverarbeitung
|
| 17:25 |
Laborbesichtigung II (in Gruppen)
Labor für aktives Sehen / Labor für Echtzeitverarbeitung
|
| 18:10 |
Fachgruppe Betriebssysteme - Mitgliederversammlung
|
| 18:40 |
Abendveranstaltung
|
Freitag, 09.11.2012
|
| 09:00 |
Sloth: Efficient Hardware-based Task Scheduling and Dispatching for the Automative Domain
Rainer Müller, FAU Erlangen-Nürnberg
Abstract
Folien
|
| 09:30 |
Softwarekomponente zur Abbildung von Echtzeitprozessen auf POSIX-Threads
Andreas Blüm, Nils Breest, Volkmar Kobelt, Manuel Spies, Andreas Stahlhofen und Dieter Zöbel, Uni Koblenz-Landau
Abstract
Folien
|
| 10:00 |
SEEP: Proaktive Methodik zur energiegewahren Programmierung mittels symbolischer Ausführung
Timo Hönig, FAU Erlangen-Nürnberg
Abstract
|
| 10:30 |
Kaffeepause
|
| 11:00 |
Code Mobilität - adaptive Programmiermodelle für GPU-Computing
Frank Feinbube, HPI Potsdam
Abstract
Folien
|
| 11:30 |
The Future of Past Persistence Models
Jana Traue, BTU Cottbus
Abstract
Folien
|
| 12:00 |
ROS - Robotics Operating System
Florian Kathe, Uni Koblenz-Landau
Abstract
Folien
|
| 12:30 |
A ROS-based framework for collaborative robot
Andreas Witsch, Uni Kassel
Folien
|
| 13:00 |
Ende
|
|
