Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Detail

Studentisches Projekt



Projektstart 01.10.2003

TRACS

Dieses Projekt beschäftigt sich mit der Entwicklung und Verifikation von Bahnsteuerungssystemen, wie sie in Stellwerken und Zügen zum Einsatz kommen. Die Software für solche Systeme besteht typischerweise aus den wiederverwendbaren ("generischen") Steuerungsmodulen und den spezifischen Konfigurationsdaten (als Projektierungsdaten bezeichnet), die das konkrete zu überwachende und steuernde Gleisnetz betreffen. Nach dem Stand der Technik werden die Steuerungsmodule heutzutage frei entworfen und programmiert und danach sehr ausführlichen Prüfungen und Tests unterzogen. Im Projekt wird ein neuer Ansatz verfolgt:


  • Das ausführbare Softwaresystem wird automatisch aus den Anforderungsspezifikationen erzeugt.

  • Aus den Anforderungsspezifikationen wird eine Verifikations- und Testsuite erzeugt, mit deren Hilfe die Korrektheit von


    • Konfigurationsdaten

    • ausführbarer Software

    • Integration der Software in der Hardware

automatisch überprüft werden kann.



Betreuung:
Prof. Dr. Jan Peleska
Dr. Jan Bredereke
Dr. Ulrich Hannemann

Link zu externer Seite  Zur Homepage



Projektende: 30.09.2005



zurück  

Seitenanfang  -  Impressum Zuletzt geändert durch: teuber [b]   18.07.2005 Admin-Login