摘要
UPPAAL是一个基于时间自动机的自动验证工具,已成功地用于实时控制器和通信协议等实时系统的验证。本文介绍了UPPAAL的语法,语义和语用,列举了它的几种扩展形式,并归纳了其应用及研究现状.
UPPAAL is a tool suit for automatic verification based on timed automata, which has been used to verify real-time controllers and communication protocols successfully. This paper outlines the syntax, semantics and pragmatics of UPPAAL, and reports on new directions that extends UPPAAL with several modeling. At last we describe a selection of the case studies, and sum up the relevant work.
出处
《微计算机信息》
北大核心
2006年第05X期52-54,190,共4页
Control & Automation
基金
国家自然科学基金资助项目(69873040)
河南省教育厅基础研究项目(2003520256)
