There is no doubt on the importance of onboard computers in nowadays aerospace safety and security. Many crucial aircraft systems rely for their correct operation on complex computer systems. A series of new concepts are ...