Zusammenfassung
Die im klassischen Ingenieurwesen benutzten Qualitätsstrategien betreffen hauptsächlich probabilistisch verteilte Fehler von Bestandteilen, die durch Verschleiß, Drift oder unbeabsichtigte Ereignisse in der Umgebung verursacht werden. Software kann jedoch nicht verschleißen, noch können Gegebenheiten der Umwelt Software-Fehler verursachen. Alle Software-Fehler sind rein systematischer Natur. Sie entstehen auf Grund unzureichender Kenntnis des eigentlichen Problems, was zu unvollständigen oder unangemessenen Spezifikationen und Entwurfsfehlern führt. Programmierfehler können neue Fehlerquellen hinzufügen, die auf der Spezifikationsebene nicht aufgetreten sind. Darüber hinaus stellen Software-Module häufig individuelle Lösungen dar, für die keine Benutzungshistorie existiert, aus der Zusicherungen bezüglich ihrer Verlässlichkeit abgeleitet werden könnten. Daher sind die Genehmigungsinstanzen bei der Lizenzierung sicherheitsbezogener Systeme, deren Verhalten ausschließlich programmgesteuert ist, noch zurückhaltend. Von vielen Forschern wird in der Anwendung formaler Methoden eine Lösung der Probleme bei der Entwicklung von Software mit hohen Qualitätsansprüchen gesehen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gumzej, R., Halang, W. (2009). Qualitätssicherung von Echtzeitsystemen. In: Benra, J., Halang, W. (eds) Software-Entwicklung für Echtzeitsysteme. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01596-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-01596-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01595-3
Online ISBN: 978-3-642-01596-0
eBook Packages: Computer Science and Engineering (German Language)