FormalSafe - Formal Development for Safe Robotics
FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit Anwendungen auf dem Gebiet der Sicheren Robotik.
Die in FormalSafe entwicklete Dokumentenverwaltungs- und Werkzeugsintegrations Plattform verfolgt die verschiedenen Abhängigkeiten innerhalb und zwischen solchen Dokumenten, um ein effizientes Änderungsmanagement zur Verfügung zu stellen. Die Einbindung spezialisierter Werkzeuge erlaubt, die Semantik von Dokumenten auszunutzen und über Relationen zwischen Dokumentteilen logische Schlüsse zu ziehen.
Forschungsthemen sind die Entwicklung eines generischen Rahmens, um strukturierte informelle, semiformale und formale Dokumente zu verwalten, die Übertragung und Integration existierender Deduktionsmethoden sowie die Abstraktion zur Wiederverwendung von Entwicklungen. Dieser generelle Ansatz wird in zwei Anwendungsszenarios auf dem Gebiet der Robotik instanziiert.
Weitere Informationen
- Der Projektflyer.
- Der Projektantrag (dt).
- Der Projektantrag (engl).
Kontakt
Ansprechpartner:
Dr. Dieter Hutter
Projektleitung:
Dr. Dieter Hutter
Homepage:
http://www.dfki.de/sks/formalsafe