Details

Autor(en) / Beteiligte

• Jemli, Mamdouh
• Rosen, Jean-Pierre

Titel

A methodology for avoiding known compiler problems using static analysis

Ist Teil von

• Proceedings of the ACM SIGAda annual international conference on sigada, 2010, p.23-30

Ort / Verlag

ACM

Erscheinungsjahr

2010

Link zum Volltext

Quelle

ACM Digital Library Complete

Beschreibungen/Notizen

• EN-50128, the European standard for railway software safety, requires that software be demonstrated as free from using language features that would trigger known bugs in the compiler. Given a list of problem reports provided by the compiler vendor, this paper presents a methodology to achieve this goal by identifying conditions that are sufficient to prove that the problem does not happen, and then using a static analysis tool to verify the sufficient conditions. The methodology has been used and accepted for the certification of SIL4 software, the highest certification level for railway systems.