{"title":"飞机飞行控制系统设计的形式化分析方法","authors":"Manju Nanda, Shrisha Rao","doi":"10.1109/SYSTEMS.2009.4815773","DOIUrl":null,"url":null,"abstract":"The paper shows how the system algebra formal method can be used to analyze the system design of safety critical systems like the Flight Control Systems (FCS) of Jaguar, Airbus A380, and the Boeing 777 aircraft. The capability of the system algebra to verify critical system features like system availability, redundancy, coupling and fault tolerance based on the system states is demonstrated by simulation The results presented are verification of the safety design requirements of the Jaguar aircraft, and a comparison of the FCSs of the Boeing 777 and Airbus A380. A comparison of system algebra with other popular system analysis approaches like the reliability block diagram (RBD) and fault tree analysis (FTA) is discussed.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"A formal method approach to analyze the design of aircraft Flight Control Systems\",\"authors\":\"Manju Nanda, Shrisha Rao\",\"doi\":\"10.1109/SYSTEMS.2009.4815773\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper shows how the system algebra formal method can be used to analyze the system design of safety critical systems like the Flight Control Systems (FCS) of Jaguar, Airbus A380, and the Boeing 777 aircraft. The capability of the system algebra to verify critical system features like system availability, redundancy, coupling and fault tolerance based on the system states is demonstrated by simulation The results presented are verification of the safety design requirements of the Jaguar aircraft, and a comparison of the FCSs of the Boeing 777 and Airbus A380. A comparison of system algebra with other popular system analysis approaches like the reliability block diagram (RBD) and fault tree analysis (FTA) is discussed.\",\"PeriodicalId\":131616,\"journal\":{\"name\":\"2009 3rd Annual IEEE Systems Conference\",\"volume\":\"21 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-03-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 3rd Annual IEEE Systems Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYSTEMS.2009.4815773\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 3rd Annual IEEE Systems Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYSTEMS.2009.4815773","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A formal method approach to analyze the design of aircraft Flight Control Systems
The paper shows how the system algebra formal method can be used to analyze the system design of safety critical systems like the Flight Control Systems (FCS) of Jaguar, Airbus A380, and the Boeing 777 aircraft. The capability of the system algebra to verify critical system features like system availability, redundancy, coupling and fault tolerance based on the system states is demonstrated by simulation The results presented are verification of the safety design requirements of the Jaguar aircraft, and a comparison of the FCSs of the Boeing 777 and Airbus A380. A comparison of system algebra with other popular system analysis approaches like the reliability block diagram (RBD) and fault tree analysis (FTA) is discussed.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
