Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

DFKI präsentiert Sicherheitskomponente für Autonome Mobile Serviceroboter (SAMS)

14.10.2009
Der Forschungsbereich Sichere Kognitive Systeme des DFKI Bremen stellte heute die Ergebnisse des Projektes SAMS vor. Im Rahmen des Projektes wurde ein Sicherungsprogramm für mobile Roboter entworfen, implementiert und die Korrektheit zertifiziert. Das Programm dient zur Absicherung von Servicerobotern und fahrerlosen Transportsystemen gegen Kollisionen.

Sicherheit vor Kollisionen zu gewährleisten ist eine gesetzliche Voraussetzung für die Zulassung eines jeden Serviceroboters und erfordert den Nachweis der Konformität mit einschlägigen Sicherheitsnormen wie der DIN EN 61508.

In dem Projekt SAMS wurde ein Sicherungsalgorithmus zur Berechnung von geschwindigkeitsabhängigen Schutzfeldern entwickelt, und die Konformität bis zu einem Sicherheitsintegritätslevel (safety integrity level) SIL 3 nach DIN EN 61508 durch den TÜV Süd nachgewiesen. Mittels einer berührungslosen Überwachung der Schutzfelder durch einen Laserscanner wird die Kollisionsfreiheit gewährleistet.

Neu ist hierbei die Geschwindigkeitsabhängigkeit der Schutzfelder. Sie erlaubt im Gegensatz zu momentan verfügbaren Lösungen mit festen Schutzfeldern eine schnellere und effektivere Bahnführung, in der immer so spät wie möglich, aber so früh wie nötig, gebremst wird. Kern der Zertifizierung und Garantie der Sicherheit ist die formale mathematische Modellierung des Bremsverhaltens und der darauf aufbauende Korrektheitsbeweis in dem Theorembeweiser Isabelle. Hierzu wurde im Rahmen des Projektes eine Umgebung zur normengerechten Verifikation von MISRA-C-Programmen entwickelt.

"SAMS hat auf dem Gebiet der Robotik und insbesondere der Servicerobotik wissenschaftlich spannendes Neuland mit hohem wirtschaftlichen Potenzial betreten: Angewendet werden formale Methoden, wie sie aus dem Bereich der sicherheitskritischen Systeme bekannt sind." erläutert PD Dr. Christoph Lüth, Leiter des SAMS-Projektes. "Die praktischen Ergebnisse haben unmittelbare wirtschaftliche Anwendbarkeit, und die wissenschaftlichen Ergebnisse bestätigen den Ruf des DFKI als eines der Zentren für innovative Softwaretechnologien in Europa. Durch die durchgängig formale Verifikation kann ein Höchstmaß an Zuverlässigkeit erzielt werden, der es ermöglicht, auch weitere anspruchsvolle Algorithmen zu verifizieren und damit zu zertifizieren.", so Lüth weiter.

Das Verbundprojekt SAMS wurde vom DFKI Bremen als Konsortialführer, der Firma Leuze electronic sowie der Universität Bremen durchgeführt und vom Bundesministerium für Bildung und Forschung im Rahmen der Leitinnovation Servicerobotik gefördert.

DFKI-Kontakt:
PD Dr. Christoph Lüth
DFKI Bremen, Forschungsgruppe Sichere Kognitive Systeme
Enrique-Schmidt-Str. 5 (Cartesium)
28359 Bremen
Tel.: +49 (0)421 218-64223, Fax: +49 (0)421 218-98 64223
E-Mail: Christoph.Lueth@dfki.de
Pressekontakt DFKI Bremen:
Franziska Martin
Enrique-Schmidt-Str. 5 (Cartesium)
28359 Bremen
Tel.: +49 (0)421 218-64255, Fax: +49 (0)421 218-98 64255
E-Mail: Franziska.Martin@dfki.de

Reinhard Karger | idw
Weitere Informationen:
http://www.sams-projekt.de
http://www.dfki.de/sks

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Mehrkernprozessoren für Mobilität und Industrie 4.0
07.12.2016 | Karlsruher Institut für Technologie

nachricht Wenn das Handy heimlich zuhört: Abwehr ungewollten Audiotrackings durch akustische Cookies
07.12.2016 | Fachhochschule St. Pölten

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Poröse kristalline Materialien: TU Graz-Forscher zeigt Methode zum gezielten Wachstum

Mikroporöse Kristalle (MOFs) bergen große Potentiale für die funktionalen Materialien der Zukunft. Paolo Falcaro von der TU Graz et al zeigen in Nature Materials, wie man MOFs gezielt im großen Maßstab wachsen lässt.

„Metal-organic frameworks“ (MOFs) genannte poröse Kristalle bestehen aus metallischen Knotenpunkten mit organischen Molekülen als Verbindungselemente. Dank...

Im Focus: Gravitationswellen als Sensor für Dunkle Materie

Die mit der Entdeckung von Gravitationswellen entstandene neue Disziplin der Gravitationswellen-Astronomie bekommt eine weitere Aufgabe: die Suche nach Dunkler Materie. Diese könnte aus einem Bose-Einstein-Kondensat sehr leichter Teilchen bestehen. Wie Rechnungen zeigen, würden Gravitationswellen gebremst, wenn sie durch derartige Dunkle Materie laufen. Dies führt zu einer Verspätung von Gravitationswellen relativ zu Licht, die bereits mit den heutigen Detektoren messbar sein sollte.

Im Universum muss es gut fünfmal mehr unsichtbare als sichtbare Materie geben. Woraus diese Dunkle Materie besteht, ist immer noch unbekannt. Die...

Im Focus: Significantly more productivity in USP lasers

In recent years, lasers with ultrashort pulses (USP) down to the femtosecond range have become established on an industrial scale. They could advance some applications with the much-lauded “cold ablation” – if that meant they would then achieve more throughput. A new generation of process engineering that will address this issue in particular will be discussed at the “4th UKP Workshop – Ultrafast Laser Technology” in April 2017.

Even back in the 1990s, scientists were comparing materials processing with nanosecond, picosecond and femtosesecond pulses. The result was surprising:...

Im Focus: Wie sich Zellen gegen Salmonellen verteidigen

Bioinformatiker der Goethe-Universität haben das erste mathematische Modell für einen zentralen Verteidigungsmechanismus der Zelle gegen das Bakterium Salmonella entwickelt. Sie können ihren experimentell arbeitenden Kollegen damit wertvolle Anregungen zur Aufklärung der beteiligten Signalwege geben.

Jedes Jahr sind Salmonellen weltweit für Millionen von Infektionen und tausende Todesfälle verantwortlich. Die Körperzellen können sich aber gegen die...

Im Focus: Shape matters when light meets atom

Mapping the interaction of a single atom with a single photon may inform design of quantum devices

Have you ever wondered how you see the world? Vision is about photons of light, which are packets of energy, interacting with the atoms or molecules in what...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

NRW Nano-Konferenz in Münster

07.12.2016 | Veranstaltungen

Wie aus reinen Daten ein verständliches Bild entsteht

05.12.2016 | Veranstaltungen

Von „Coopetition“ bis „Digitale Union“ – Die Fertigungsindustrien im digitalen Wandel

02.12.2016 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Das Universum enthält weniger Materie als gedacht

07.12.2016 | Physik Astronomie

Partnerschaft auf Abstand: tiefgekühlte Helium-Moleküle

07.12.2016 | Physik Astronomie

Bakterien aus dem Blut «ziehen»

07.12.2016 | Biowissenschaften Chemie