Avoidance of Runtime Errors in Embedded Software

Abstract

Safety-critical embedded systems have to satisfy rigorous quality requirements. Runtime errors like arithmetic overfl ows or rounding errors can cause faulty program behavior. Due to the complexity of contemporary hardware and software, a complete test coverage cannot be achieved. With static analysis, a complete coverage can be achieved, thus making it possible to suffi ciently guarantee the absence of errors. This technique is introduced by means of the parametric static analyzer Astrée which is utilized e.g. for the certification process of industrial avionics software.