3. SafeTRANS Industrial Day

Zeit und Ort

Der dritte SafeTRANS Industrial Day fand am 6. September 2007 von 9:30-17:00 Uhr in den Räumen der Siemens AG Transportation Systems (Gebäude 37, Raum 225, Ackerstraße 22) in Braunschweig statt.

Inhalt

Die Themen des dritten SafeTRANS Industrial Day waren "Industrielle Erfahrungen zur modellbasierten Entwicklung sicherheitsrelevanter eingebetteter Systeme" sowie "Erfahrungen mit kommerziellen Tools zur statischen Verifikation".

Programm

09:30 – 09:45 Begrüßung
  Prof. Dr. J. Braband, Siemens AG Transportation SystemsProf. Dr. W. Damm, SafeTRANS
09:45 – 10:15 SafeTRANS - ein Überblick
  Prof. Dr. W. Damm, SafeTRANS(Vortragsfolien)
10:15 – 10:45 Modellbasierte Entwicklung im Bahnbereich: Herausforderungen und Erfahrungen
  Dr. R. Pinger, Siemens AG Transportation Systems(Vortragsfolien)
10:45 – 11:00 Kaffeepause
11:00 – 11:30 Entwicklungsplattformen für integrierte modulare Avionik
  H. Butz, Airbus Deutschland GmbH(Vortragsfolien)
11:30 – 12:00 Avionics & Rail Test- und Evaluationsplattform für industrielle Sicherheit und Zuverlässigkeit
  J. de Meer, smartspacelab.eu GmbH i.G. - Technische Fachhochschule (TFH) Berlin(Vortragsfolien)
12:00 – 12:45 Diskussion und Ergebnissicherung
12:45 – 13:45 Mittagspause
13:45 – 14:15 Formal Model Verification in the Industrial Software Engineering Practice
  E. Reyzl, Siemens AG Corporate Technology(Vortragsfolien)
14:15 – 14:45 Testautomatisierung und statische Analyse mit RT-Tester
  S. Bisanz, O. Möller, Verified Systems International GmbHProf. Dr. J. Peleska, Universität Bremen
14:45 – 15:15 How to Boost your MDD Test Process?
  Dr. U. Brockmeyer, OSC - Embedded Systems AG(Vortragsfolien)
15:15 – 15:30 Kaffeepause
15:30 – 16:00 Von der Manufaktur zur industriellen Softwareproduktion
  R. Fachet, Esterel Technologies GmbH(Vortragsfolien)
17:00 Ende der Veranstaltung