在新一代的集成模块化航空电子系统中,机载软件采用开放的分布式架构,其中模块共享各种公共资源,并且彼此之间进行复杂的交互,从而导致模块故障易于传播,因此可靠性高。机载软件可能会减少。 机载软件的分析,测量和改进已成为需要解决的重要问题。 针对机载分布式软件的特点,提出了一种基于AADL的误差建模和可靠性分析方法。 利用AADL体系结构模型中的关键信息,可以生成AADL错误模型来描述机载分布式软件的故障行为。 在此步骤的基础上,使用灵敏度分析方法来分析系统可靠性。 因此,设计人员可以在开发的早期阶段