AADL Inspector 故障树安全分析模块

故障树是一种在系统安全性和可靠性研究中应用广泛的工程技术。这种方法，也称为故障树或错误树，是指以图形表示可能发生的使预先定义的不受欢迎的事件发生的组合。所以故障树是由连续的层次构成的，并通过逻辑门联系在一起的事件。通过采用这个表达式和演绎逻辑(从效果到原因)和阅读的布尔式逻辑一是干净的，可以从不受欢迎的事件的起因追溯到基本的、独立的和可预见的事件。 为适应AADL建模领域对复杂系统运行安全性的研究

>>阅读原文<<