Distributed reconfigurable avionics architectures

Current and upcoming avionics systems must be able to accommodate expected growing application software volume and capability. The software domain has struggled to meet increasing demands while retaining the necessary level of confidence in its appropriate operation. Meanwhile, although computing components are becoming less expensive, the fixed and operational costs of hardening them to their potential environments are not progressing with the same speed. We introduce a flexible architecture based on distribution of function and assured reconfiguration that can react to failures in both hardware and software. Reconfiguration, when its safety properties are assured, can enhance analysis capabilities for critical safety properties and reduce certification costs for much of the system. This work outlines an architecture for assured reconfiguration, the principles of reconfiguration assurance, and the accompanying cost and safety arguments.