Zusammenfassung
Nachdem der grundlegende Rahmen aufgespannt sowie Fehlerquellen identifiziert und klassifiziert sind, muss nun auf die anfangs gestellte Frage zurückgekommen werden. Zu Beginn der Arbeit wurde die Frage aufgeworfen, wie numerische Fehler von Gleitkommaarithmetik und Diskretisierung in eingebetteten Softwaresystemen mit physikbasierten Berechnungen aus modellbasierten Werkzeugketten automatisch analysiert werden können. Die Beantwortung der Frage ist entscheidend davon abhängig, welche Anforderungen an einen möglichen Lösungsansatz gestellt werden, was Gegenstand des vorliegenden Kapitels ist.
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
Corresponding author
Rights and permissions
Copyright information
© 2022 Der/die Autor(en), exklusiv lizenziert durch Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this chapter
Cite this chapter
Göttlich, P. (2022). Anforderungen und Ansätze. In: Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme. Wissenschaftliche Reihe Fahrzeugtechnik Universität Stuttgart. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-36867-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-658-36867-8_4
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-36866-1
Online ISBN: 978-3-658-36867-8
eBook Packages: Computer Science and Engineering (German Language)