| Beginn: | 13.09.2002, 09:00Uhr |
| Ende: | 13.09.2002, 16:00Uhr |
| Ort: | Oldenburg |
| Die immer komplexer werdenen elektronischen Steuerungsgeräte sowohl in der Verkehrstechnik als auch im Anlagen- und Maschinenbau stellen eine Herausforderung an die Entwicklungsingenieure dar. Insbesondere im Bereich sicherheitskritischer Anwendungen wird ein hohes Maß an Qualitätssicherungsmaßnahmen gefordert. Eine fehlerhafte Steuerung kann zu Unfällen mit fatalen Folgen führen.
Zur Absicherung der Korrekthet der Systeme gewinnt hier der Einsatz formaler Methoden immer mehr an Bedeutung. Auf dem Workshop Industrial Experience in Formal Techniques werden Industrievertreter aus dem In- und Ausland über die Anwendung formaler Methoden bei der Entwicklung eingebetteter Software-Systeme berichten. Der Workshop bietet den Teilnehmern die Möglichkeit zur Diskussion und zum Erfahrensaustausch. Dieser Workshop wird veranstaltet als Ergänzung zum Symposium Formal Techniques in Real-time and Fault Tolerant Systems (FTRTFT 2002; 9.-12. Sept. 2002). Weitere Informationen: http://www.informatik.uni-oldenburg.de/ftrtft02/ixp/ Kontakt: ixp2002@OFFIS.de |
