论文部分内容阅读
本文对飞行余度管理系统中的故障检测和隔离算法进行严格化开发，包含对并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证．该算法是飞行控制系统中常用的余度管理算法．整个系统可建模成有多个元件并行构成网络的混合系统，其中系统的需求可由时段演算来表示．文中采用传统的程序逻辑，并作了适当的扩展，来验证离散控制器的一些性质，最后由这些性质出发可以证明系统满足给定的需求．
In this paper, the fault detection and isolation algorithm in flight redundancy management system is developed strictly. It includes the processing of concurrent behavior, the formal description of the requirements and the formal design of the parameters, the formal description of the algorithm and the final formal verification . The algorithm is commonly used in flight control system redundancy management algorithm. The entire system can be modeled as a hybrid system with multiple elements in parallel to form a network, where the needs of the system can be expressed in terms of time periods. In this paper, the traditional program logic is adopted and some extensions are made to verify some properties of the discrete controller. Finally, these properties prove that the system satisfies the given requirements.