一种基于B方法的需求描述转化为AADL模型的研究

目前,航空、航天等领域对系统的可靠性有着极高的要求,业界也在研究和探讨通过构建系统的体系结构模型保证后续验证、开发等阶段的一致性,从而提升系统的可靠性。首先需要确保构建的系统模型满足系统的原始需求,只有这样,才能保证后续基于模型的开发、验证等输出的系统产品与原始需求保持一致性。文章提出了一种以形式化B方法对系统需求进行形式化描述,通过构建B方法与AADL模型的转换规则,从而输出系统的AADL模型,从而支持基于AADL模型直接生成对应测试用例对系统开展验证、开发等工作。