Forschungsprojekt
SAMS - Sicherungskomponente für Autonome Mobile Systeme
Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit einem zertifizierten Sicherheits-Laserscanner die überwachte Sicherheitszone dynamisch dem Zustand des Fahrzeugs anpasst. Kernvorhaben ist dabei die formale mathematische Modellierung und der Korrektheitsbeweis der Implementierung. Auf dieser Grundlage und mit zusätzlichen Tests soll die Zulassungsfähigkeit durch ein TÜV-Gutachten nachgewiesen werden.
Das Verbundprojekt SAMS wird vom DFKI Labor Bremen als Konsortialführer, der Firma Leuze lumiflex und der Universität Bremen durchgeführt, und vom Bundesministerium für Bildung und Forschung gefördert. Die Projektlaufzeit ist vom 1.Mai 2006 bis zum 31. April 2009.
Kontakt
Ansprechpartner:
Prof. Dr. Christoph Lüth
Projektleitung:
Prof. Dr. Christoph Lüth
Homepage:
http://www.informatik.uni-bremen.de/dfki-sks/sams/
Beteiligte Forschungsbereiche
Publikationen
- 2012
- Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; Elena Vorobev; Dennis Walter
Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification.
In: Autonomous Robots, Vol. 32, No. 3, Pages 303-331, Springer, 4/2012.
- 2010
- Dennis Walter; Holger Täubig; Christoph Lüth
Experiences in Applying Formal Verification in Robotics.
In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security. International Conference on Computer Safety, Reliability and Security (SAFECom-2010), September 14-17, Vienna, Austria, Lecture Notes in Computer Science (LNCS), Springer, 2010. - Christoph Lüth
Schlussbericht des Projektes SAMS.
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI Research Reports (RR), Vol. 10-01, 2010.
- 2009
- Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter
The Importance of Being Formal.
In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), located at ETAPS'08, March 29, Budapest, Hungary, Pages 57-70, Vol. 238, No. 4, Elsevier B.V. 2009. - Christoph Lüth; Dennis Walter
Certifiable specification and verification of C programs.
In: FM 2009: Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands, Springer, 2009.
- 2008
- M. Gissler; Udo Frese; M. Teschner
Exact Distance Computation for Deformable Objects.
In: Proceedings of the Computer Animation and Social Agents 2008 Conference. Annual Conference on Computer Animation and Social Agents (CASA-2008), September 1-3, Seoul, Korea, Republic of, o.A. 2008.