Project RAP

An English version of this page will be available soon.

Sicheres Planen mit RAP

RAP - Reasoning About Plans - ist eine Entwicklungsumgebung für Planungssysteme. Pläne sind dabei Handlungsanweisungen zur Bedienung technischer Anlagen oder komplexer Software. Mit RAP können Planungssysteme zur Lösung unterschiedlichster Aufgaben entwickelt werden.

Systeme zur Planerstellung
Systeme zur Planerkennung
Systeme zur Planüberwachung
Systeme zur sicheren Planausführung
RAP besitzt drei Komponenten. Ein Modellierungswerkzeug unterstützt den Benutzer bei der Modellierung des Anwendungsbereiches. Zahlreiche Basismodule stehen als Grundbausteine zur Verfügung und können mit einer grafischen Programmieroberfläche zu komplexen Planungssystemen konfiguriert werden.

RAP folgt einem streng formalen, logikbasierten Ansatz. Pläne sind daher immer garantiert korrekt. RAP ist damit für Anwendungen in sicherheitskritischen Bereichen besonders gut geeignet.

Ein System zur sicheren Planausführung

In einem Anwendungsbeispiel zeigen wir ein RAP-System zur sicheren Planausführung. Die Anwendung ist ein Lager für toxische Stoffe, die zur Wiederverwendung bzw. Entsorgung vorbereitet werden. Die Ausführung von Handlungen in diesem Szenario unterliegt der Einhaltung strenger Sicherheitsvorschriften.
In unserer Simulation betrachten wir die Aufgabe, Fässer von der Analysestation in eines der Lager zu bringen, wobei bestimmte Sicherheitsbedingungen einzuhalten sind. Ausgehend von einer formalen Spezifikation dieser Aufgabe, hat ein RAP-Planungsmodul bereits einen korrekten Plan zur Lösung erzeugt. Um jedoch dynamischen Änderungen in der Umgebung während der Ausführungszeit Rechnung zu tragen, realisiert das in RAP konfigurierte Kontrollsystem eine sichere Planausführung, indem es vor jedem Planschritt dessen Durchführbarkeit und die aktuellen Sicherheitsbedingungen überprüft. Ist der Test negativ, so veranlaßt das System automatisch eine korrekte Neuplanung unter Berücksichtigung aller aktuellen Gegebenheiten.

Die Anwendungsfelder für RAP sind vielfältig. RAP erlaubt eine flexible Konfigurierung komplexer Planungssysteme aus einer Vielzahl von Basismodulen und eignet sich damit zur Entwicklung von Planungskomponenten für viele Bereiche, z.B.:

Simulations- und Überwachungssysteme für sicherheitskritische Anwendungen
Persönliche Netzassistenten (Softbots) für Intra- und Internet
Hilfe- und Tutorsysteme für interaktive Softwarepakete.

Informationen: biundo@dfki.uni-sb.de Letzte Änderung: 15/01/97