Validierung des Zeitverhaltens von kritischer Echtzeit-Software
Author:
Abstract
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\'
- Citation
- BibTeX
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}
}
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}
}
Dateien | Groesse | Format | Anzeige | |
---|---|---|---|---|
GI-Proceedings.34-56.pdf | 165.9Kb | View/ |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 3-88579-363-6
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2003
Language:
(de)

Content Type: Text/Conference Paper