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

作　　者：王日磊 陈奎[1] 史岩[1] 

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710065

出　　处：《企业科技与发展》2023年第1期58-60,89,共4页Sci-Tech & Development of Enterprise

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

关 键 词：B方法 AADL 模型驱动 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]