论文部分内容阅读
基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建糢研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移的系统任务可靠性建模提供参考。