Experimente mit einem Programmtiming-Tool, das auf Quellniveau-Timing-Schemata basiert

Analytische Methoden werden auf der Quellsprachenebene verwendet, unter Verwendung formaler Timing-Schemata, die Kontrollkosten beinhalten, Störungen wie Interrupts handhaben und garantierte Best- und Worst-Case-Grenzen produzieren. Das Timing-Tool berechnet die deterministischen Ausführungszeiten für Programme, die in einer Teilmenge von C geschrieben sind und auf einer Bare-Machine laufen. Zwei Versionen des Tools wurden geschrieben, wobei zwei Extrempunkte der Granularität für die atomaren Elemente des Timing-Schemas verwendet wurden. Eine Übersicht über das Tool wird gegeben, Timing-Schemata und Codevorhersage werden diskutiert, und Maschinenanalyse sowie die Gestaltung des Timing-Tools werden untersucht. Experimentelle und Validierungsergebnisse werden berichtet. Es wurde festgestellt, dass alle vorhergesagten Zeiten konsistent sind und die meisten sicher sind. Einige Vorhersagen sind ziemlich genau, während andere etwas ungenau sind. Es gibt klare technische Gründe, die die Unterschiede zwischen gemessenen und vorhergesagten Zeiten erklären, und technische Lösungen, die diese Unterschiede innerhalb des Rahmens der Timing-Schemata minimieren sollten, sind erkennbar.