Towards an industrial use of fluctuat on safety-critical avionics software

FREE-DOWNLOAD D Delmas, E Goubault, S Putot, J Souyris… – Formal Methods for …, 2009
Abstract. Most modern safety-critical control programs, such as those embedded in fly-by-wire
control systems, perform a lot of floating-point computations. The well-known pitfalls of research 754
arithmetic make sta- bility and accuracy analyses a requirement for this type of software.