Zusammenfassung
Zur Validierung des Zeitverhaltens von sicherheitsrelevanten Anwendungen im Rahmen einer Planbarkeitsanalyse werden zuverlässige Abschätzungen von Task-Laufzeiten benötigt. Das automatische Analysewerkzeug aiT bietet eine Alternative zu den oftmals 338 Abbildung 3. aiT f\'
Ferdinand, C., Kästner, D., Martin, F., Langenbach, M., Sicks, M., Wilhelm, S., Heckmann, R., Fritz, N., Thesing, S., Fontaine, F., Theiling, H., Schmidt, M., Evstiougov-Babaev, A. & Wilhelm, R.,
(2003).
Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
In:
Dittrich, K. R., König, W., Oberweis, A., Rannenberg, K. & Wahlster, W.
(Hrsg.),
INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI).
Bonn:
Gesellschaft für Informatik e.V..
(S. 335-339).
@inproceedings{mci/Ferdinand2003,
author = {Ferdinand, Christian AND Kästner, Daniel AND Martin, Florian AND Langenbach, Marc AND Sicks, Martin AND Wilhelm, Stephan AND Heckmann, Reinhold AND Fritz, Nico AND Thesing, Stephan AND Fontaine, Frank AND Theiling, Henrik AND Schmidt, Michael AND Evstiougov-Babaev, Alexander AND Wilhelm, Reinhard},
title = {Validierung des Zeitverhaltens von kritischer Echtzeit-Software},
booktitle = {INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2003},
editor = {Dittrich, Klaus R. AND König, Wolfgang AND Oberweis, Andreas AND Rannenberg, Kai AND Wahlster, Wolfgang}
,
pages = {
335-339
},
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
(de)