收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

实时时序逻辑语言XYZ/RE到时间自动机的映射

刘珊艳  戎玫  张广泉  
【摘要】:时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基于时间自动机的验证工具UPPAAL对XYZ/RE描述的系统正确性进行检测。最后本文通过一个实例的描述与检测,验证了映射机制的有效性。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 M.P.Mariani;E.J.Henry;姚文庆;;用户强有力的实时计算机——PEPE[J];计算机研究与发展;1980年09期
2 武宁生;;计算机定题情报提供系统[J];情报科学;1980年02期
3 王绪宜;陈华生;;计算机系统性能评价[J];南京大学学报(自然科学版);1980年01期
4 林滋治;美国LBL实验室[J];机器人;1981年05期
5 韩承德;;论面向用户的计算机系统的设计方法[J];计算机研究与发展;1981年05期
6 吴新垣;;快速响应实时操作系统中的进程调度与通信[J];火力与指挥控制;1981年03期
7 凌苑妮;一个实时系统的动态检查[J];计算机应用;1982年01期
8 丁相予;一个小型实时处理系统的软件设计[J];计算机应用;1982年02期
9 沈绪榜;位片FFT计算机—数字信号处理机介绍之四[J];微电子学与计算机;1982年06期
10 翟贤 ,曹家顺;系统监视[J];舰船科学技术;1983年10期
中国重要会议论文全文数据库 前10条
1 吴学贤;江杰;徐大威;何永保;;宝钢一号高炉操作指导专家系统[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
2 沈理;徐慧娥;;模糊推理ASIC芯片F200[A];1999年中国智能自动化学术会议论文集(上册)[C];1999年
3 李秋云;莫福源;李昌立;;基于IMBE模型的低速率语音编码算法及其实时实现[A];第五届全国人机语音通讯学术会议论文集[C];1998年
4 田国会;刘长有;徐心和;;离散事件动态系统理论的时态逻辑研究方法[A];1996中国控制与决策学术年会论文集[C];1996年
5 高麟;张石;杨为民;张宏勋;张崔;;控制系统组态软件的现状与发展[A];1996中国控制与决策学术年会论文集[C];1996年
6 李勇建;田国会;刘长有;;基于时态逻辑的离散事件动态系统研究进展[A];1998中国控制与决策学术年会论文集[C];1998年
7 金建设;董文葆;;大型无机化工厂基于规则的生产调度辅助系统[A];第三届全国控制与决策系统学术会议论文集[C];1991年
8 严隽薇;宋国斌;张克技;;一种实时系统分析法——H-P扩展法[A];第三届全国控制与决策系统学术会议论文集[C];1991年
9 孙舫;包化成;;VMEexec——实时开发运行环境介绍[A];第7届全国核电子学与核探测技术学术年会论文集(二)[C];1994年
10 吴世英;许祖润;杨朝文;甘绍碱;;实时监控系统中数据处理的一些方法问题[A];第8届全国核电子学与核探测技术学术年会论文集(二)[C];1996年
中国博士学位论文全文数据库 前10条
1 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
2 徐永健;SAR实时并行成象系统研究[D];中国科学院电子学研究所;2001年
3 沈国重;多抽样率信号处理方法及其在实时系统中的应用[D];浙江大学;2001年
4 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
5 骆志刚;开放系统中的实时性研究[D];电子科技大学;2001年
6 窦强;分布式强实时系统中可调度性分析算法的研究[D];国防科学技术大学;2001年
7 李雅洁;基于CORBA的多维QoS技术研究[D];西北工业大学;2002年
8 李翔龙;电火花铣削加工中伺服运动及工具补偿智能控制技术的研究[D];四川大学;2003年
9 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院(软件研究所);2003年
10 张焕强;家庭网关中的资源管理[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 南侠;基于ROOM方法学的实时系统建模的研究与应用[D];大连理工大学;2000年
2 孟令韬;计算机联锁信息管理系统[D];铁道部科学研究院;2000年
3 林少丹;IP传真系统的面向对象建模、设计与实现[D];暨南大学;2001年
4 盛青;语音自动识别技术(ASR)及其软件实时实现[D];西北工业大学;2001年
5 刘安毅;基于Linux Pthread线程库的实时对象方法学研究与实现[D];大连理工大学;2001年
6 朱蓉川;设备监测控制系统的研究及其在温度液面监控中的应用[D];四川大学;2001年
7 张志钦;基于UML-RT的构件模型[D];西安电子科技大学;2001年
8 柳文;ATM网实时通信的研究[D];广东工业大学;2002年
9 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
10 刘军万;分布式实时系统中动态负载共享算法的研究[D];中南大学;2002年
中国重要报纸全文数据库 前10条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 广东省电信科学技术研究院多媒体部 陈学军 曹克虎;嵌入式系统软件的面向对象开发技术[N];中国计算机报;2000年
3 ;微电子技术:Socware开辟新战场[N];中国电子报;2002年
4 曹琰;卢放详解中国电力安全体系[N];华中电力报;2003年
5 钟水;水情测报及洪水预报调度自动化系统[N];中国水利报;2004年
6 毛黎;新型室内三维定位系统获大奖[N];科技日报;2004年
7 王棣华;高新企业如何应用标准成本?[N];财会信报;2005年
8 罗清岳;嵌入式操作系统探讨[N];电子资讯时报;2005年
9 通讯员 赵娜;富拉尔基发电总厂实时监控确保经济运行[N];中国电力报;2006年
10 吉胜钧 本报记者 戴汇峰;李鹏同志到东北电网公司考察[N];东北电力报;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978