Volcic, M. (2011). Sicherheitskritische Modelleisenbahnsteuerung in Ada [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-38003
Das Ziel der Diplomarbeit ist die Entwicklung einer sicheren und zuverlässigen Steuerung von Zügen in einem abgeschlossenen Gleissystem.<br />Für die Implementierung und die Testphase wurde eine Modelleisenbahn gewählt, die den sicherheitskritischen Ansprüchen von realen Zügen und Gleisen entsprechen muss. Hard- und Software waren teilweise schon vorhanden, allerdings wurden diese weiterentwickelt bzw. verändert. Die vorhandene Software der Mikrocontroller wurde in C geschrieben, die Lösung soll ausschließlich in Ada entwickelt werden. Bei der Hardware musste das Design geändert und ein neuer Prozessor gewählt werden, der den Anforderungen entspricht. Für die Steuerungssoftware am PC gab es erste Testversionen, die den Anforderungen nicht mehr entsprachen und komplett neu entwickelt werden mussten.
de
Additional information:
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers Zsfassung in engl. Sprache
