基于时间自动机的信息物理融合系统建模与验证.pdfVIP

下载本文档

11
0
约2.16万字
约 7页
2017-09-12 发布于北京
举报
版权申诉

基于时间自动机的信息物理融合系统建模与验证.pdf

1、本文档共7页，可阅读全部内容。
2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
8、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

基于时间自动机的信息物理融合系统建模与验证.pdf

计算机与现代化 YUXIANDAIHUA 2012年第10期 JISUANJI 总第206期文章编号：1006-2475(2012)1043125—06 基于时间自动机的信息物理融合系统建模与验证陈志辉 (莆田学院电子信息工程系，福建莆田351100) 摘要：信息物理融合系统的建模和验证是当前研究的一个热点。本文通过分析信息物理融合系统的体系结构，利用时闯自动机为建模工具，将该结构中的各个组件分别进行建模，以表现它们的分布性和实时性。这些时问自动机组成一个网络模型，用于刻划整个系统之间的并发通信和协作过程。最后，提出一组该系统要满足的性质(包括时间约束)，运用模型检测工具UPPAAL自动验证本系统的正确性。关键词：信息物理融合系统；时间自动机；模型检测；UPPAAL 中图分类号：TP393 文献标识码：A doi：10．3969／j．issn．1006-2475．2012．10．033 andVerificationof BasedonTimedAutomata Systems Modeling Cyber—physical CHENZhi-hui (Ehctronic＆InformationEngineering 351100，China) Department，PutianUniversity，Putian andverificationof a hot ofCPSsoftwarede- Abstract：At modeling Cyber-physicalSystems(ces)isbecomingtopic present．the ofCPSarchitectureis andit consistsofseveralbasic sign．First，atypicalpmtoV]pe Siren generally ontimed is whichthese aremodeledasindi— actuators，ete．Basedautomata，CPSmodelingapproachproposed，in components vidual theirdistributedand time timedautomata real-time these automatacomeintoanetwork reflecting characteristics．Then，all and that concurrentcommunicationcollaborationofthewhole timecon· represents CPS．Finally，someproperties(including theCPSare thecorrectnessofthewhole is verified themodel—chec- straints)试th presented，and syste