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 |