Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung

Abstract

Angesichts der zunehmenden Verwendung von Software bei der Realisierung sicherheitskritischer und hochverfügbarer Systeme wächst die Bedeutung der Nachweisbarkeit nicht-funktionaler Eigenschaften wie der Funktionssicherheit und der Zuverlässigkeit – sowohl bei der Entwicklung wie auch bei der Zertifizierung derartiger Systeme. Dem daraus resultierenden Anspruch an Nachvollziehbarkeit, an Rigorosität von Tests und anderen Prüfungen einerseits stehen innovative Trends der Software-Entwicklung wie modellbasierte Entwicklung, formale Ansätze für Design und Verifikation, Komponenten- und Plattformorientierung, Code-Generierung und Test- Automatisierung gegenüber, die ohne spezifische Adaptionen diesem Anspruch häufig nicht genügen. Hier viel versprechende Techniken auszuwählen, Einsatzperspektiven zu eruieren und dabei den Abgleich zwischen Forschungsrichtungen und industriellem Bedarf zu suchen soll Thema des Workshops sein.