7.3.Integration von Entwicklungswerkzeugen (UniHB, UniOL)
    Pfad 1: Entwicklung konventioneller C-Software
    Pfad 2: Entwicklung von SPS-Software
    7.3.1.Spezifikation und Validation für Duration Calculus + Z, CSP + Z
    (UniHB / Elpro)
    Erweiterung des Z Type Checkers DST-Fuzz
    Ergebnisse
    Aufwände
    Erweiterung der Validationsumgebung für CSP:
    Integration von FDR mit Testwerkzeug TCSPS
    Ergebnisse
    Automation von Realzeit-Tests, Prototyp-Integration von FDR (UniHB)
    Eignung von FDR für systematisches Testen (Elpro)
    Aufwände
    Erweiterung der Validationsumgebung für CSP:
    Integration von FDR mit Testwerkzeug SCSPS
    Ergebnisse
    Anforderungen an die Simulationsumgebung (UniHB)
    Aufwände
    7.3.2.Entwicklung von DC + Z -> MIXCSP -> CSP -> SPS
    (UniOL / UniHB)
    Experimente mit DC/PVS (UniOL / UniHB)
    Ergebnisse
    Experimente mit DC und PVS (UniOL)
    Aufwände
    Analyse der MIX-Transformationen (UniOL / UniHB)
    Ergebnisse
    Analyse der MIX-Transformationen (UniOL)
    Aufwände
    Einbettung von MIXCSP in UniForM (UniOL, UniHB)
    Ergebnisse
    Aufwände
    Übersetzer CSP + Zeit -> CSPSPS + Zeit in UniForM (UniOL, UniHB)
    Ergebnisse
    Aufwände
    Übersetzer CSPSPS + Zeit -> SPS in UniForM (UniOL, UniHB)
    Ergebnisse
    Aufwände
    Transformation DC + Z -> MIXCSP + Z in UniForM (UniOL, UniHB)
    Ergebnisse
    Aufwände
    Transformation MIXCSP + Zeit + Z -> CSP + Zeit in UniForM
    (UniOL, UniHB)
    Ergebnisse
    Aufwände
    7.4.Fallstudie "Dezentrale Bahnsteuerung" (Elpro, UniOL, UniHB)
    7.4.1.Methodischer Ansatz
    (UniOL, Elpro, UniHB)
      Ergebnisse
      Auswahl der Fallstudie und Methodischer Ansatz (UniOL, Elpro, UniHB)
      Aufwände
    7.4.2.Anforderungsanalyse
    UniOL, Elpro, UniHB)
      Ergebnisse
      Anforderungsanalyse (UniOL, Elpro)
      Aufwände
    7.4.3.Validation der formalen Spezifikation
    (Elpro, UniOL, UniHB)
      Ergebnisse
      Aufwände
    7.4.4.Systementwurf
    (UniOL / Elpro, UniHB)
      Ergebnisse
      Aufwände
    7.4.5.Systementwicklung mit der UniForM Workbench
    (Elpro, UniOL, UniHB)
      Ergebnisse
      Aufwände
    7.4.6.Evaluierung der Entwicklung durch Gutachter
    (Elpro)
      Ergebnisse
      Aufwände
    7.5.Transfer (UniHB)
    7.5.1.Evaluation des industriellen Einsatzes der UniForM Workbench
    (UniHB)
      Ergebnisse
      Aufwände
    7.5.2.Schulung und Verbreitung der Projektergebnisse
    (UniHB)
      Ergebnisse
      Aufwände
    7.6.Meilensteine, Netzplan, Balkenplan
      Meilenstein 1 (Juli '96):
      Meilenstein 2 (Dezember '96):
      Meilenstein 3 (Juli '97):
      Meilenstein 4 (Juli '98):