软件架构层次模型验证数据集
收藏国家基础学科公共科学数据中心2026-06-03 收录
官方服务：
资源简介：
AGREE官方与工具自带示例，这些是随AGREE工具链分发的标准基准集，包含WBS（轮式刹车系统）等经典模型，主要用于展示如何通过AADL组件层级与同步数据流契约实现架构层面的形式化安全验证。它们涵盖了从基础逻辑算术到复杂航电系统的多种规模，是评估架构设计一致性、验证组件间交互契约以及进行分层属性分析的首选基准。课题组使用其开展指标3.2对应的融合智能算法的模型验证技术相关研究；
提供机构：
国防科技大学
