The thesis presents an approach to develop elementary math functions for flight control systems. Here, especially the integration in the whole development process is considered. Therefore, the precision of the implemented functions is shown with formal proofs. The validity of ranges is shown via a runtime error analysis. The timing aspects are considered with a two level worst case execution time analysis. A first analysis is executed to select an implementation for the basic math function. The second analysis is executed on the complete integrated software.      «

The thesis presents an approach to develop elementary math functions for flight control systems. Here, especially the integration in the whole development process is considered. Therefore, the precision of the implemented functions is shown with formal proofs. The validity of ranges is shown via a runtime error analysis. The timing aspects are considered with a two level worst case execution time analysis. A first analysis is executed to select an implementation for the basic math function. The...     »

Die Arbeit zeigt die Entwicklung von elementaren Mathe-Funktionen für ein Flugregelungssystem. Der Fokus liegt auf der Integration in den gesamten Entwicklungsprozess. Die Genauigkeit der umgesetzten Funktionen wir hierbei mit Hilfe von formalen Beweisen gezeigt. Dass keine Verletzungen Wertebereichs vorliegen, wird mit Hilfe eine Analyse für Laufzeit-Fehler gezeigt. Die Ausführzeit wird an zwei unterschiedlichen Stellen berücksichtigt: Zunächst durch eine Analyse bei der Auswahl der Algorithmen und später bei der Analyse der gesamten integrierten Software.     «

Die Arbeit zeigt die Entwicklung von elementaren Mathe-Funktionen für ein Flugregelungssystem. Der Fokus liegt auf der Integration in den gesamten Entwicklungsprozess. Die Genauigkeit der umgesetzten Funktionen wir hierbei mit Hilfe von formalen Beweisen gezeigt. Dass keine Verletzungen Wertebereichs vorliegen, wird mit Hilfe eine Analyse für Laufzeit-Fehler gezeigt. Die Ausführzeit wird an zwei unterschiedlichen Stellen berücksichtigt: Zunächst durch eine Analyse bei der Auswahl der Algorithmen...     »