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.
Dynamic reconfiguration in NoC-based MPSoCs in the avionics domain
FREE-DOWNLOAD R Hilbrich… – Proceedings of the 3rd International …, 2010 – ABSTRACT Modern Network-on-Chip-based Multiprocessor Systems-on- Chip (NoC-based MPSoCs) bear the potential for higher performance, but may also allow the concentration of the same functionality on fewer devices in a complex system such as an aircraft. Albeit these
Criticality and Confidence Issues in Avionics
FREE-DOWNLOAD Y Laarouchi, Y Deswarte, D Powell, J Arlat… – 2009 – Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open- world software, in order to avoid any interaction that could corrupt critical on-board systems. However, new aircraft gen- erations need more interaction with