idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Was passiert, wenn eine Schranke am Bahnübergang nicht schließt, obwohl sich ein Zug nähert? Wo Bahnübergänge früher noch manuell bedient wurden, haben auch hier längst Computerchips Einzug gehalten. Software ist uns nicht nur vom heimischen PC bekannt, sondern regelt bereits die meisten aller für uns alltäglichen Lebensbereiche.
Um so wichtiger ist es, Software in der Verkehrssteuerung so verlässlich wie möglich zu machen. Um die Anforderungen an die Software genau spezifizieren zu können, benötigt ein Programmierer das Wissen vieler Fachexperten über das sicherheitskritische System.
In einem Workshop des Instituts für Regelungs- und Automatisierungstechnik der TU Braunschweig, "Sichere Softwarespezifikation in der Verkehrssteuerung" diskutieren über dreißig internationale Wissenschaftler aktuelle Entwicklungen auf diesem Gebiet. An zwei Tagen erläutern sie gängige Programmiersprachen, die eine exakte Steuerung von Sicherheitssoftware in der Verkehrstechnik ermöglichen.
Die theoretischen Grundlagen der Vorträge werden anhand der Modellanlage eines Bahnübergangs praktisch veranschaulicht. Unter der Leitung von Prof. Dr.-Ing. Eckehard Schnieder, TU-Institut für Regelungs- und Automatisierungstechnik, wurde das Modell entwickelt und verspricht interessante Erkenntnisse.
Der Workshop findet statt am
23. und 24. April im IAM-Gebäude, Richard-Wagner-Str. 1.
Vertreterinnen und Verteter der Medien sind herzlich zur Berichterstattung eingeladen.
Hinweis: An beiden Veranstaltungstagen besteht am Nachmittag gegen 16 Uhr die Möglichkeit, die Modellanlage des Bahnübergangs zu fotografieren.
Criteria of this press release:
Electrical engineering, Energy, Information technology, Traffic / transport
transregional, national
Miscellaneous scientific news/publications, Research projects, Scientific conferences
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
