Szukana fraza: [Abstract = "Analytical fault detection algorithms have the potential to reduce the size, power and weight of safety\-critical aerospace systems. Analytical redundancy has been successfully applied in many non\-safety critical applications. However, acceptance for aerospace applications will require new methods to rigorously certify the impact of such algorithms on the overall system reliability."]