基于AADL的多核体系设计与验证方法

通过建立模型来了解和预测多核体系的能力可有效避免在运用多核体系开发的后期出现返工的局面。为此，提出基于AADL的多核体系设计与验证方法。在使用AADL组件的前提下，基于AADL扩展属性集提出多核体系设计方法，基于AADL附件子语言提出多核体系验证方法。以腾锐D2000这一典型的通用8核处理器为实验对象，在开源建模环境OSATE中对所提出的基于AADL的多核体系设计与验证方法予以实验检验。实验结果表明所提出的基于AADL的多核体系设计与验证方法有效。