|
|||||
|
|
| 基于IF的实时系统验证 | |
| 引用本文： | 沈嘉权,刘晓燕,字天文,于立新.基于IF的实时系统验证[J].计算机时代,2009(4). |
| 作者姓名： | 沈嘉权 刘晓燕 字天文 于立新 |
| 作者单位： | 昆明理工大学信息工程与自动化学院,云南,昆明,650051 |
| 摘 要： | IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统实例进行了验证。 |
| 关 键 词： | IF 异步实时系统 时间自动机 实时系统验证 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |