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.
Anforderungen und Ansätze
Wissenschaftl. Reihe Fahrzeugtech. Uni. Stuttgart
Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme ; Kapitel : 4 ; 49-63
2022-02-10
15 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Deutsch
British Library Conference Proceedings | 2010
|Springer Verlag | 2023
|