{"title":"Self-Healing Data Streams Using Multiple Models of Analytical Redundancy","authors":"Shigeru Imai, F. Hole, Carlos A. Varela","doi":"10.1109/DASC43569.2019.9081716","DOIUrl":null,"url":null,"abstract":"We have created a highly declarative programming language called PILOTS that enables error detection and estimation of correct data streams based on analytical redundancy (i.e., algebraic relationship between data streams). Data scientists are able to express their analytical redundancy models with the domain specific grammar of PILOTS and test their models with erroneous data streams. PILOTS has the ability to express a single analytical redundancy, and it has been successfully applied to data from aircraft accidents such as Air France flight 447 and Tuninter flight 1153 where only one simultaneous sensor type failure was observed. In this work, we extend PILOTS to support multiple models of analytical redundancy and improve situational awareness for multiple simultaneous sensor type failures. Motivated by the two recent accidents involving the Boeing 737 Max 8, which was potentially caused by a faulty angle of attack sensor, we focus on recovering angle of attack data streams under multiple sensor type failure scenarios. The simulation results show that multiple models of analytical redundancy enable us to detect failure modes that are not detectable with a single model.","PeriodicalId":129864,"journal":{"name":"2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC43569.2019.9081716","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
We have created a highly declarative programming language called PILOTS that enables error detection and estimation of correct data streams based on analytical redundancy (i.e., algebraic relationship between data streams). Data scientists are able to express their analytical redundancy models with the domain specific grammar of PILOTS and test their models with erroneous data streams. PILOTS has the ability to express a single analytical redundancy, and it has been successfully applied to data from aircraft accidents such as Air France flight 447 and Tuninter flight 1153 where only one simultaneous sensor type failure was observed. In this work, we extend PILOTS to support multiple models of analytical redundancy and improve situational awareness for multiple simultaneous sensor type failures. Motivated by the two recent accidents involving the Boeing 737 Max 8, which was potentially caused by a faulty angle of attack sensor, we focus on recovering angle of attack data streams under multiple sensor type failure scenarios. The simulation results show that multiple models of analytical redundancy enable us to detect failure modes that are not detectable with a single model.
我们已经创建了一种高度声明性的编程语言,称为PILOTS,可以基于分析冗余(即数据流之间的代数关系)进行错误检测和正确数据流的估计。数据科学家能够用pilot的领域特定语法表达他们的分析冗余模型,并使用错误的数据流测试他们的模型。PILOTS具有表达单一分析冗余的能力,它已成功应用于飞机事故的数据,如法航447航班和突尼斯国际航空公司1153航班,其中只观察到一个同时发生的传感器类型故障。在这项工作中,我们扩展了pilot以支持多种分析冗余模型,并提高了对多种同时发生的传感器类型故障的态势感知。受最近两起涉及波音737 Max 8的事故的启发,这两起事故可能是由一个故障的迎角传感器引起的,我们专注于在多种传感器类型故障情况下恢复迎角数据流。仿真结果表明,多个分析冗余模型可以检测到单个模型无法检测到的故障模式。