The SQALE quality and analysis models for assessing the quality of Ada source code
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |
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.