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.

25. - 27. Februar 2020 // Nürnberg, Germany

Konferenzen und Rahmenprogramm

Zurück zur Tagesansicht
SESSION 6.1 II SW-Engineering II - Languages & MISRA II

Undecidable Rules and How to Live with Them Vortragssprache Englisch

MISRA rules are classified as decidable or undecidable, depending on the theoretical ability of a static analyzer to answer the question "Does this code comply with this rule" with "yes" or "no" in every case. Undecidable rules require information about the program semantics, e.g., what value an object holds, or whether a particular program point is reachable. The well-known Rice Theorem proves that in such cases no static analyzer can give a correct yes/no answer in every case. However, depending on the depth of an analyzer it is possible to answer the questions with different levels of assurance: unsound analyzers can report false negatives (missed violations) and false positives (false alarms). With a sound analyzer the absence of false negatives can be proven, i.e., no violations are missed. The talk explains the concept of soundness, discusses to which degree the undecidable MISRA C rules can be covered by automatic tools, and what level of assurance can be reached.

--- Datum: 25.02.2020 Uhrzeit: 14:30 - 15:00 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.