Efficient Method Developed by Thales for Safety Evaluation of Real-to-Integer Discretization and Overflows in SIL4 Software
Résumé
This chapter introduce a method based on interval arithmetic to analyse computation risks due to integer conversions of an infinite precision specification. The work also takle the overflow and division by zero problems in arithmetic computation chains. The method was developed and applied within the context of railway command and control systems and the chapter present a case study on a speed control algorithm.