The FACT toolsuite assists engineers working with complex aerospace systems to design and implement control systems that can maintain control even when the controlled system ""fails."" The tool suite uses a model-based approach where the designer creates design models of the plant and its associated control system, and the tools automatically generate code that implements fault-detection, isolation and control reconfiguration functions.