Logo des Repositoriums

Auflistung nach Autor:in "Ferdinand, Christian"

1 - 4 von 4
  • Zeitschriftenartikel
    Astrée: Nachweis der Abwesenheit von Laufzeitfehlern
    (Softwaretechnik-Trends Band 29, Heft 3, 2009) Kästner, Daniel; Ferdinand, Christian; Wilhelm, Stephan; Nenova, Stefana; Honcharova, Olha; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier; Sims, Élodie-Jane
    Sicherheitskritische eingebettete Systeme müssen hohen Qualitätsanforderungen genügen. Laufzeitfehler, z.B. arithmetische Überläufe oder Rundungsfehler können zu fehlerhaftem Programmverhalten führen. Da in der Regel keine vollständige Testabdeckung möglich ist, bieten sich statische Analysatoren an. Diese bieten eine vollständige Coverage, können jedoch Fehlalarme erzeugen. Da jeder potentielle Laufzeitfehler manuell vom Benutzer überprüft werden muss, kann eine hohe Zahl von Fehlalarmen dazu führen, dass echte Fehler übersehen werden. Der statische Analysator Astrée kann durch Spezialisierung und Parametrisierung an die zu analysierende Software angepasst werden. Dies ermöglicht kurze Analysezeiten und eine niedrige Zahl von Fehlalarmen. Astrée wird z.B. bei der Zertifizierung von industrieller Flugzeugsteuerungssoftware eingesetzt.
  • Konferenzbeitrag
    Static verification of non-functional software requirements in the ISO-26262
    (Automotive - Safety & Security 2012, 2012) Kästner, Daniel; Ferdinand, Christian
    The norm ISO-26262 aims at ascertaining the functional safety of Automotive Electric/Electronic Systems. It is not focused on purely functional system properties, but also demands to exclude nonfunctional safety hazards in case they are critical for a correct functioning of the system. Examples are violations of timing constraints in real-time software and software crashes due to runtime errors or stack overflows. The ISO-26262 ranks the static verification of program properties among the prominent goals of the software design and implementation phase. Static program analyzers are available that can prove the absence of certain non-functional programming errors, including those mentioned above. Static analyzers can be applied at different stages of the development process and can be used to complement or replace dynamic test methods. This article gives an overview of static program analysis techniques focusing on non-functional program properties, investigates the non-functional requirements of the ISO-26262 and discusses the role of static analyzers in the ISO-26262.
  • 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.