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.
Programma logiki centralizacii
Stellwerkssoftware
Avtomatika, telemekhanika i svjaz ; 37 , 10 ; 28-29
1997-01-01
2 pages
Article (Journal)
Russian
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
IuD Bahn | 1997
|IuD Bahn | 2005
|Otraslevaja programma ehnergosberezhenija
IuD Bahn | 1998
|Online Contents | 1996