计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
8期
73-75,78
,共4页
时间自动机%混杂系统%UPPAAL%泵站%模型验证
時間自動機%混雜繫統%UPPAAL%泵站%模型驗證
시간자동궤%혼잡계통%UPPAAL%빙참%모형험증
混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题.为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证.具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性.
混雜繫統複雜度高且涉及領域廣,沒有通用的方法來解決分析、設計等問題.為解決一類工業控製混雜繫統的建模和驗證問題,對時間自動機進行瞭語義擴展,使其含有連續變量以及映射在其上的約束,使用擴展後的時間自動機對此類混雜繫統進行建模,採用驗證工具UPPAAL進行模型分析模擬,併使用簡化的CTL對繫統需求規範進行驗證.具體實例研究錶明,該方法對于分析設計一類混雜繫統具有可行性和有效性.
혼잡계통복잡도고차섭급영역엄,몰유통용적방법래해결분석、설계등문제.위해결일류공업공제혼잡계통적건모화험증문제,대시간자동궤진행료어의확전,사기함유련속변량이급영사재기상적약속,사용확전후적시간자동궤대차류혼잡계통진행건모,채용험증공구UPPAAL진행모형분석모의,병사용간화적CTL대계통수구규범진행험증.구체실례연구표명,해방법대우분석설계일류혼잡계통구유가행성화유효성.