Logo des Repositoriums
 
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...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2008

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

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.

Beschreibung

Hungar, Hardi; Reyzl, Erwin (2008): Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. Software Engineering 2008. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-215-4. pp. 291-294. Regular Research Papers. München. 18.-22.02.2008

Schlagwörter

Zitierform

DOI

Tags