• Hauptseite
• Software
• Berichte
• Verifikation
• Demonstrator
• Veröffentlichungen
• Kontakt

Abschlussveranstaltung des BMBF-Projektes SAMS

Die Abschlussveranstaltung fand am Dienstag, den 13.10. 2009 in der Rotunde des Cartesiums auf dem Campus der Universität Bremen statt (das Program als PDF). Hier sind die dort gehaltenen Vorträge:

• Dr. Christoph Lüth (DFKI)
  Das Projekt SAMS - Zertifizierung einer Sicherungskomponente für autonome mobile Serviceroboter nach IEC 61508
• Holger Täubig (DFKI) Entwurf und Entwicklung eines verifizierbaren Kollisionsvermeidungsalgorithmus
• Dr.-Ing Peerasan Supavatanakul (TÜV Süd Rail) Ein Wort des Zertifizierers
• Christoph Hertzberg (Universität Bremen) Die Modellierung der Robotik-Domäne von SAMS im Theorembeweiser Isabelle
• Dennis Walter (DFKI) Ein SIL-3-konformes Werkzeug zur formalen Verifikation von C-Programmen
• Dennis Walter (DFKI) Überblick über die formale Spezfikation
• Elena Vorobev (Universität Bremen) Testen mit abstrakter Interpretation
• Dr.-Ing. Stefan Mohr (Leuze electronic) SAMS in der industriellen Praxis
• Prof. Dr.-Ing. Udo Frese (Universität Bremen) Kollisionsvermeidung im dreidimensionalen Raum