Die computergesteuerte 'elektrisch ortsbediente Weiche (EOW)' ist ein Produkt aus dem Bereich des spurgeführten Verkehrs und wird in Gleisanlagen eingesetzt, die mit nur geringer Geschwindigkeit befahren werden dürfen. Für einen sicheren und ordnungsgemäßen Betrieb werden dennoch hohe Anforderungen an die Steuerungssoftware der EOW gestellt. Die EOW ist als Industrieprodukt von hoher praktischer Relevanz. Da die Größe der Steuerungssoftware in einem handhabbaren Rahmen liegt, bietet sich mit dieser Anwendung eine geeignete Fallstudie zur Erprobung der in dem System 'Verification Support Environment (VSE)' bereitgestellten formalen Methoden, einem Werkzeug zur formalen Spezifikation und Verifikation von sicherheitsrelevanten Softwaresystemen. Die Fallstudie wurde von einer interdisziplinären Arbeitsgruppe bearbeitet, und es wurde versucht, das anwendungsorientierte Vorgehen eines Ingenieurs und die methodikorientierte formale Vorgehensweise eines Softwareentwicklers zu verknüpfen. Vorliegender Bericht wendet sich insbesondere an diese beiden Lesergruppen. Zunächst werden die EOW und die Anforderungen an die Steuerungssoftware beschrieben und der mit VSE zu modellierende Softwareausschnitt definiert. Die Abgrenzung und Schnittstellen dieses Ausschnitts zum Gesamtsystem werden festgelegt. Danach ist an diesem Ausschnitt die VSE-Methodik illustriert. Abschließend sind die Erfahrungen und Schlußfolgerungen aus dieser Fallstudie zusammengefaßt.
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
Ulmer Informatik-Berichte ; 1 ; 1-54
1996
54 Seiten, Bilder, 11 Quellen
Report
German
Verkehrsabhängige Lichtsignalsteuerung - Steuerungssoftware und Anwendererfahrungen
Online Contents | 1998
|BEOBACHTUNGSEINRICHTUNG FÜR EINE WEICHE EINER EISENBAHNGLEISANLAGE
European Patent Office | 2024
|Constraintbasierte Testdatenanalyse für eingebettete Steuerungssoftware
Tema Archive | 2005
|IuD Bahn | 2006
|