Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Mit der Nutzung dieser Website stimmen Sie der Verwendung von Cookies zu. Weitere Informationen über die Verwendung von Cookies und die Möglichkeit der Verwendung von Cookies zu widersprechen, finden Sie hier.

26. - 28. Februar 2019 // Nürnberg, Germany

Konferenzen und Rahmenprogramm

Zurück zur Tagesansicht
Session 6.4: Software Engineering III Software Quality I

Static Analysis of Finite State Machines with Zero False Alarms Vortragssprache Englisch

Safety-critical embedded software has to satisfy stringent quality requirements. Safety standards require evidence that no critical run-time errors occur. One important class of runtime errors is caused by undefined or unspecified behavior of the programming language, including buffer overflows or data races. They may cause erroneous or erratic behavior, induce system failures, and constitute security vulnerabilities. A sound static analyzer reports all such defects in the code, or proves their absence. Sound static analyzers are based on abstract interpretation, a formal method for static program analysis which supports formal soundness proofs: it can be proven that no error is missed (from the class of errors under analysis). A modern sound analyzer is composed of various abstract domains, each covering specific program properties of interest. A simple abstract domain is the interval domain which provides an interval containing all possible values of a variable for each program point. In this article we present a novel abstract domain developed in the static analyzer Astrée. Finite state machines and state variables are automatically detected, and by trace partitioning the different states and transitions can be disambiguated. Experimental results on real-life automotive and aerospace code show that embedded control software using finite state machines can be analyzed with close to zero false alarms, and that the improved precision can reduce analysis time.

--- Datum: 27.02.2019 Uhrzeit: 15:00 Uhr - 15:30 Uhr Ort: Conference Counter NCC Ost

Sprecher

man

Dr. Daniel Kästner

AbsInt Angewandte Informatik GmbH

top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und AusstellerShop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Inhalte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.