Zusammenfassung
Die simulationsgestützte Verifikation eines Teils eines komplexen Systems ist eine sehr schwierige Aufgabe; ein System wird meist als Ganzes simuliert. Der Grund hierfür ist die problematische Entwicklung der Simulationsstimuli für einen aus einem Gesamtsystem herausgelösten Teil; die Stimuli stehen dann nämlich stellvertretend für das Verhalten des restlichen Systems und es ist unklar, inwieweit tatsächliches und durch die Simulationsstimuli unterstelltes Verhalten übereinstimmen. Versuche, nur Teile eines Systems zu simulieren, sind regelmäßig fehlgeschlagen; der Zwang, Systeme als Ganzes simulieren zu müssen, hat zur Entwicklung immer leistungsfähigerer Simulatoren bis hin zur Unterstützung durch spezielle Hardware geführt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1991 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Eveking, H. (1991). Verifikation von Teilen. In: Verifikation digitaler Systeme. Leitfäden und Monographien der Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94684-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-322-94684-3_20
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02249-7
Online ISBN: 978-3-322-94684-3
eBook Packages: Springer Book Archive