{"title":"Modeling and Simulation on Dynamic Reliability of Multi-partition Software of IMA Based on TimeNET4.4","authors":"Haolin Ma, Weihang Cui, Meng Yue, Zhi-jun Wu","doi":"10.1109/ICCCS52626.2021.9449275","DOIUrl":null,"url":null,"abstract":"In order to analyze the performance of the integrated modular avionics (IMA) system, it is difficult to describe the dynamic process of the state change of complex systems by reliability block diagram (RBD) method, dynamic fault tree analysis (DFTA) method and GO method, etc. This paper first uses the DTFA to decompose the running status of the multi-partition software of the IMA system, and then uses the extended deterministic and stochastic Petri nets (EDSPN) model and analysis method to determine the Petri nets model of AND gate, OR gate, hot reserve gate, cold reserve gate and VOTE gate in the DFTA. Finally, taking the display function of the IMA system as an example, the DTFA is used to decompose the failure mode of the display function of the IMA system, and the reliability EDSPN model of the multi-partition software of the display function of the IMA system is established. Using TimeNET4.4 simulation software to perform transient analysis and steady-state analysis on the model, the failure rate of the display function of the IMA system is 7.8×10−5, and the influence of the fault propagation rate between the partition software on the display function of the IMA system is obtained. A good model foundation for reliability analysis of IMA system multi-partition software is provided.","PeriodicalId":376290,"journal":{"name":"2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCCS52626.2021.9449275","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
In order to analyze the performance of the integrated modular avionics (IMA) system, it is difficult to describe the dynamic process of the state change of complex systems by reliability block diagram (RBD) method, dynamic fault tree analysis (DFTA) method and GO method, etc. This paper first uses the DTFA to decompose the running status of the multi-partition software of the IMA system, and then uses the extended deterministic and stochastic Petri nets (EDSPN) model and analysis method to determine the Petri nets model of AND gate, OR gate, hot reserve gate, cold reserve gate and VOTE gate in the DFTA. Finally, taking the display function of the IMA system as an example, the DTFA is used to decompose the failure mode of the display function of the IMA system, and the reliability EDSPN model of the multi-partition software of the display function of the IMA system is established. Using TimeNET4.4 simulation software to perform transient analysis and steady-state analysis on the model, the failure rate of the display function of the IMA system is 7.8×10−5, and the influence of the fault propagation rate between the partition software on the display function of the IMA system is obtained. A good model foundation for reliability analysis of IMA system multi-partition software is provided.