Logo des Repositoriums

Auflistung nach Autor:in "Heckmann, Reinhold"

1 - 2 von 2
  • Konferenzbeitrag
    Validierung des Zeitverhaltens von kritischer Echtzeit-Software
    (INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2003) Ferdinand, Christian; Kästner, Daniel; Martin, Florian; Langenbach, Marc; Sicks, Martin; Wilhelm, Stephan; Heckmann, Reinhold; Fritz, Nico; Thesing, Stephan; Fontaine, Frank; Theiling, Henrik; Schmidt, Michael; Evstiougov-Babaev, Alexander; Wilhelm, Reinhard
    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\'
  • Konferenzbeitrag
    Verifying safety-critical properties of embedded software by abstract interpretation
    (Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit, 2005) Heckmann, Reinhold; Ferdinand, Christian
    Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as input to more advanced analyses, which ultimately yield information about the stack usage and the timing behavior of embedded software.