FB3
English
Projekte im BISS
Es gibt eine Webseite
mit Beschreibungen der Projekte anderer TZI-Bereiche.
Die im Bremer Institut für Sichere Systeme bearbeiteten Projekte lassen sich grob einteilen in
- praxisnahe Industrie- und Anwendungsprojekte, bei denen die entwickelten Methoden und Tools in realen Applikationen eingesetzt werden, in
- Projekte zur Werkzeugerstellung, die hauptsächlich zur Umsetzung von theoretischen Ergebnissen in konkrete Produkte dienen, und in
- Kooperations- und Forschungsprojekte, überwiegend mit universitären Partnern, die der Verbreiterung und Vertiefung der theoretischen Grundlagen dienen.
Industrie- und Anwendungsprojekte
Im EU-Projekt VICTORIA geht es um eine Validationsplattform zur Integration standardisierter Komponenten, Technologien und Werkzeuge in einem offenen, modularen und verbesserten Luftfahrtelektroniksystem. Das Projekt Siemens-NCU hat den Test der "Network Coupling Unit" der Siemens Verkehrstechnik, Braunschweig, zum Inhalt. Im Projekt DASA-FTC-Verifikation und Simulation wurde von uns für ein fehlertolerantes Computersystem in der internationale Raumstation die Verklemmungsfreiheit bewiesen und der Durchsatz mit Realzeit-Petrinetzen simuliert. Beim Folgeprojekt DASA-FTC-Test testen wir Hard- und Software sowie das korrekte Realzeitverhalten dieses Datenmanagementsystems. Im Projekt OHB-ABRIXAS-PTC-Test geht es in ähnlicher Weise darum, den Energie- und Thermal-Controller eines Forschungssatelliten auf funktionale Korrektheit zu testen. Bei der Validation und Optimierung des DLR-Flugversuchsträgers ATTAS untersuchen wir die Zuverlässigkeit der Simulationsergebnisse eines Forschungsflugzeugs. Im Projekt Rolland (vormalsVerhaltensorientierte Autonome Mobile Systeme (VAMS) ) entwickeln wir einen sensorgesteuerten autonomen Rollstuhl zur Unterstützung älterer und behinderter Menschen. Damit verbunden ist das Projekt Navigation (Bildfolgenbasierte semilokale 3D-Landmarken zur Navigation in dynamischen Umgebungen) , in dem wir Algorithmen zur Orientierung anhand visueller Daten implementieren. Das Ergebnis des STN-Datenbasis-Toolset für Verkehrssimulationen ist eine objektorientierte Datenbank für Straßenbahn-Simulationen. Das Projekt DRACOS - Distributed Railway Control System , ist ein Nachfolgeprojekt des Systems SIESTE zur sicheren funkbasierten Steuerung von eingleisigen Regionalbahnen.Projekte zur Werkzeugerstellung
Das Projekt MMiSS - Multimedia-Instruktion in Sicheren Systemen hat die Erstellung eines integriertem, internetbasierten Lehr- und Lernsystems für das gesamte Curriculum der Sicheren Systeme zum Ziel. Im Projekt GDPA erstellen wir eine web-basierte Zentrale für Vorgehensmodelle, Standards und Prozesstechnologien bei der Software-Entwicklung. UML-AID ist ein DFG- und ISP- gefördertes Projekt zur abstrakten Implementierung der "Unified Modelling Language" UML. Im BMBF-Verbundprojekt UniForM Workbench (Universelle Entwicklungsumgebung für Formale Methoden) entwickeln wir einen einheitlichen Rahmen für formale Softwareerstellung. Das Teilprojekt Werkzeuge zur Spezifikation und Entwicklung mit algebraischen Methoden beschäftigt sich dabei mit transformationeller Programmentwicklung; das Teilprojekt Modellierung, Validation und Test verläßlicher technischer Systeme behandelt die Spezifikation von hybriden Systemen. Unser Produkt daVinci (universelles Graph-Visualisierungssystem) ermöglicht eine ästhetische Darstellung beliebiger gerichteter Graphen unabhängig vom erzeugenden Anwendungsprogramm. Der TROLL-light-Animator ist ein Werkzeug zur graphischen Darstellung von Spezifikationen.Kooperations- und Forschungsprojekte
Unterstützend zu unseren Aktivitäten im Bahnbereich ist das Projekt HYBRIS im DFG-Schwerpunktprogramm "Integration von Spezifikationstechniken für ingenieurwissenschaftliche Anwendungen" , in welchem wir eine Bahnübergangssteuerung mit verschiedenen Echtzeit-Formalismen beschreiben. CoFI - The Common Framework Initiative ist ein Verbund europäischer Forschungsinstitutionen zur Standardisierung von Spezifikationssprachen. Im internationalen ESPRIT-Verbundprojekt APPLIGRAPH (Applications of Graph Transformation) wird die Anwendbarkeit von Graphtransformationen in verschiedenen Gebieten untersucht; damit zusammenhängend wird im TMR-Research Network GETGRATS (General Theory of Graph Transformation Systems) eine allgemeine Theorie der Graphtransformationssysteme entwickelt. Unter unseren studentischen Projekten sei hier nur das Projekt LiVE! - The Linux Verification Enterprise zur Analyse des Kerns dieses Betriebssystems herausgegriffen. Das Ziel des Projekts Java Security ist die formale Verifikation des Sicherheitsmodells der Sprache Java. Im Projekt TOFL (Typed Objectoriented Functional Programming with Late binding) beschäftigen wir uns mir der Kombination funktionaler und objektorientierter Programmiersprachen.Bereits abgeschlossene Projekte
In der ESPRIT-WG COMPASS (Comprehensive Algebraic Approach to System Specification and Development, 1986-96) wurden Formalismen für eigenschaftsorientierte Spezifikationen erforscht. Im DFG-Projekt EXSPEC (Ausführbare Spezifikationen als logische Programme höherer Ordnung, 1994-96) untersuchten wir, in wie weit Logiken höherer Ordnung als constraintbasierte Logikprogramme aufgefaßt werden können. Im Graduiertenkolleg Raumorientierung (92-96) waren ca. 30 Kollegiaten verschiedener Disziplinen mit der Untersuchung von Wahrnehmensleistungen und Verhaltenssteuerung autonomer Systeme beschäftigt.Autor: Dr. Karsten Sohr
| Zuletzt geändert am: 6. Juli 2004 |  |