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

Tagesordnung

• 9:30-9:45 Begrüßung
  Prof. Dr. J. Braband, Siemens AG Transportation Systems
  Prof. Dr. W. Damm, SafeTRANS
• 9: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 GmbH
  Prof. 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

Den Flyer zur Veranstaltung finden Sie hier.