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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Programma logiki centralizacii


    Weitere Titelangaben:

    Stellwerkssoftware


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    01.01.1997


    Format / Umfang :

    2 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Russisch




    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


    Dorozhnaja programma resursosberezhenija

    Andreev, D. L. | IuD Bahn | 1997


    Programma Taxidag 99

    Online Contents | 1999