摘要
用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞试验控制模型(CRW),并采用实时系统验证工具Uppaal对CRW进行了验证,证明了该模型具有安全性、有效性和可控性。所采用的方法避免了积的等价类状态空间的爆炸,减少了验证的搜索空间,为风洞试验系统提供了一种可行的、安全的、智能的控制机制。
Several timed automata are used to model an automatic wind tunnel test control system and an automatic control model of a wind tunnel test (CRW) is presented. Uppaal is adopted to carry out the on-the-flying testing and it is proved that CRW has such characteristics as safety, efficiency and control. The method mentioned avoids the equivalent state explosion of the product, re- duces the verification search space and provides a feasible, safe and intelligent control mechanism.
出处
《微计算机信息》
2009年第4期46-48,共3页
Control & Automation
基金
项目申请人:周清雷
基于时间自动机的模型验证理论及应用研究
基金颁发部门:河南省教育厅(2006520015)