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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE


    Contributors:
    Canver, E. (author) / Gayen, J.T. (author) / Moik, A. (author)

    Published in:

    Publication date :

    1996


    Size :

    54 Seiten, Bilder, 11 Quellen



    Type of media :

    Report


    Type of material :

    Print


    Language :

    German




    ÜBERWACHUNGSVERFAHREN FÜR EINE WEICHE

    HAMPEL MICHAEL | European Patent Office | 2022

    Free access


    BEOBACHTUNGSEINRICHTUNG FÜR EINE WEICHE EINER EISENBAHNGLEISANLAGE

    DR CHAO CHEN-XIANG / SCHULZE MICHAEL | European Patent Office | 2024

    Free access


    Endstation Weiche

    Kümmerlen, Robert | IuD Bahn | 2006