What if avionics computers could be taken from the shelf and configure themselves after being installed? What if system function development could restrict to the pure function and safety is for free?