Konferenzbeitrag
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2008
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
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.