基于IF的实时系统验证  

作　　者：沈嘉权[1] 刘晓燕[1] 字天文[1] 于立新[1] 

机构地区：[1]昆明理工大学信息工程与自动化学院,云南昆明650051

出　　处：《计算机时代》2009年第4期3-6,共4页Computer Era

摘　　要：IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统实例进行了验证。

关 键 词：IF 异步实时系统 时间自动机 实时系统验证 

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