维普中文期刊产品整合服务

Validation of static properties in unified modeling language models for cyber physical systems

查看全文 作　　者：Gabriela [1]MAGUREANU;Madalin [1]GAVRILESCU;Dan [1]PESCARU 高影响力作者 机构地区：[1]Department of Computers,Automation and Computers Faculty,'Politehnica' University of Timisoara高影响力机构 出　　处：《Journal of Zhejiang University-Science C(Computers and Electronics)》索引2013年第14卷第5期,共15页高影响力期刊 基　　金：Project partially supported by the Strategic Grants POSDRU/88/1.5/S/50783 Project (No.50783,2009),POSDRU/107/1.5/S/77265 Project (No.77265,2010),Romania;the European Social Fund for Investing in People, within the Sectoral Operational Programme Human Resources Development 2007-2013 摘　　要：Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models. 关 键 词：Cyber physical system (CPS) Unified modeling language (UML) design Formal verification Prototype verification system (PVS) Z language
相关文献

参考文献(33)

引证文献(2)

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费