Behandelt werden einige Aspekte der Schaffung sicherer Software für ESTW am Beispiel von Ebilok 950. Die Software für Ebilok-Stellwerke wird in der Sprache "Sternol" geschrieben. Kurz wird auf den allgemeinen Ablauf der Softwareentwicklung eingegangen. Ausgangsunterlagen sind dabei stets die Aufgabenstellung des Auftraggebers und die genehmigten Grundschaltungen. Ausführlicherer wird auf die Grudnsätze bei der Umwandlung von Relaisschaltungen in Softwarelösungen eingegangen. Besonderer Bedeutung kommt dem Testen der Software zu, der die s.g. Testspecification zugrunde liegt. Nach einer sicheren Kompilation erhält man zwei C-Programme, die dann abschließend mittels des Programms PSI 950 in maschinenabhängigen Kode für Ebilok 950 umgewandelt wird.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Programma logiki centralizacii


    Additional title:

    Stellwerkssoftware


    Contributors:

    Published in:

    Publication date :

    1997-01-01


    Size :

    2 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Russian




    Kompjuter centralizacii

    Travnikov, R. A. | IuD Bahn | 1997


    Ustrojjstva manevrovojj ehlektricheskojj centralizacii lokomotivnykh depo

    Gogolev, A. P. / Odnopozov, Ju. A. | IuD Bahn | 1996


    Programma ehnergosberezhenija

    Kotelnikov, A. V. / Kosarev, A. B. | IuD Bahn | 2005


    Otraslevaja programma ehnergosberezhenija

    Kondratenko, A. N. / Muginshtejjn, L. A. / Panferov, V. I. | IuD Bahn | 1998


    Programma Taxidag 96

    Online Contents | 1996