Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks

What is it about?

As the costs of fuel and maintenance increase and regulations on weight and environmental impact tighten, there is an increasing push to transition on-board aircraft wired networks to wireless, reducing weight, fuel, maintenance time, and pollution. We show how formal methods can aid in selecting a candidate wireless network that is at least as safe and reliable as the existing wired network.

Featured Image