基于ASK-CTL的集成体系结构一致性综合检验方法

摘要

针对集成体系结构静态产品模型与动态可执行模型的一致性问题,本文提出一种基于ASK-CTL与ML语言相结合的综合检验方法。通过集成体系结构可执行模型状态空间进行集成系统重点关注静态性质、动态行为的综合检验,完成集成体系结构一致性确认,并且能通过检验诊断找出失败原因以完成体系结构模型修订。论文最后以预警系统为例,对该方法进行了验证。