idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instance:
Share on: 
01/23/2007 13:56

Mit mathematischen Methoden Menschenleben retten: 6. Fachtagung FORMS/FORMAT 2007

Ulrike Rolf Presse- und Öffentlichkeitsarbeit
Technische Universität Carolo-Wilhelmina zu Braunschweig

    Mit mathematischen Methoden Menschenleben zu retten, dieses Ziel haben sich die Teilnehmer der Tagung "Formal Methods for Automation and Safety in Railway and Automotive Systems", die am 25. und 26. Januar 2007 in Braunschweig stattfindet, gesetzt. Mit modernen Beschreibungsmitteln, Methoden und Computerwerkzeugen sollen die Sicherheit und Zuverlässigkeit im Automobil- und Eisenbahnbereich vorab berechnet werden, um den Verkehr in Europa noch sicherer zu machen.

    Zu der mittlerweile zum sechsten Mal von dem Institut für Verkehrssicherheit und Automatisierungstechnik der Technischen Universität Braunschweig und dem Institut für Verkehrstechnik der Budapester Universität für Technologie und Ökonomie gemeinschaftlich veranstalteten Tagung werden über 130 Experten aus vielen Ländern der EU sowie aus der Schweiz, aus Norwegen, Nordamerika und Japan erwartet.

    Insgesamt stehen etwa 50 Beiträge von internationalen Wissenschaftlern auf dem Programm. Im Vortrag "Satellitenbasierte Ortungssysteme" werden Herausforderungen und Möglichkeiten angesprochen, wie das neue Europäische Satellitensystem "Galileo" bei der Ortung im Bereich sicherheitsrelevanter Transporte eingesetzt werden kann. Grundsätzlich bietet die Vernetzung unterschiedlicher Kommunikationssysteme ungeahnte Möglichkeiten, insbesondere im sicherheitsrelevanten Bereich. So wird zum Beispiel die Ortung hochgefährlicher Transportgüter oder eben die Lokalisierung verschiedener Züge, die sich auf dem gleichen Gleis befinden, erleichtert bzw. erst ermöglicht. Zur exakten Beschreibung solcher sehr komplexen Systeme sind mathematische Verfahren notwendig. Erst auf der Basis dieser formalen Beschreibungen können Simulatoren gebaut oder sicherheitsrelevante Eigenschaften nachgewiesen werden.

    Die Verkehrssicherheit soll auch durch neuartige Analysemethoden, die die fehlerfreie Konstruktion des Zusammenwirkens von Fahrerassistenzsystemen in Automobilen von vornherein ermöglichen, erhöht werden. Vorgestellt wird auch ein Projekt, dass die Sicherheit von Eisenbahnübergängen in über 20 Ländern untersucht.

    Die Veranstaltung findet statt am
    25.01., 9.00 - 18-00 Uhr, und am 26. 01.2007, 9.00 - 16-00 Uhr,
    Stadthalle Braunschweig, Leonhardplatz 1
    38102 Braunschweig
    Telefon: 0531/7077266
    Mobile: 0170 610 4538

    Ansprechpartner:
    Prof. Dr.-Ing. Dr. h. c. Eckehard Schnieder
    Institut für Verkehrssicherheit und Automatisierungstechnik
    Tel.: 0531/391-3317
    E-Mail: e.schnieder@tu-braunschweig.de


    More information:

    http://www.forms-format.net


    Images

    Criteria of this press release:
    Information technology, Traffic / transport
    transregional, national
    Miscellaneous scientific news/publications, Scientific conferences, Transfer of Science or Research
    German


     

    Help

    Search / advanced search of the idw archives
    Combination of search terms

    You can combine search terms with and, or and/or not, e.g. Philo not logy.

    Brackets

    You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

    Phrases

    Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

    Selection criteria

    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).