中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
Modeling and verifying of CPS component services based on hybrid automata
Author: Zhang, Jianning; Zhang, Guanquan; Yan, Rongjie; Zhu, Yi; Qi, Xingjun
Source: International Journal of Multimedia and Ubiquitous Engineering
Issued Date: 2014
Volume: 9, Issue:6, Pages:49-57
Indexed Type: EI
Department: (1) School of Computer Science and Technology, Soochow University, Suzhou, 215006, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Science, Beijing, 100190, China; (3) School of Computer Science and Technology, Jiangsu Normal University, Xuzhou, 221116, China
Abstract:

In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS' complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provider, and models component services to further simplify the system's state-space. We verify the correctness of this model and solve the synchronous/asynchronous communication problems. © 2014 SERSC.

English Abstract:

In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS' complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provider, and models component services to further simplify the system's state-space. We verify the correctness of this model and solve the synchronous/asynchronous communication problems. © 2014 SERSC.

Language: 英语
Content Type: 期刊论文
Version: 出版稿
URI: http://ir.iscas.ac.cn/handle/311060/17016
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Zhang, Jianning,Zhang, Guanquan,Yan, Rongjie,et al. Modeling and verifying of CPS component services based on hybrid automata[J]. International Journal of Multimedia and Ubiquitous Engineering,2014-01-01,9(6):49-57.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Zhang, Jianning]'s Articles
[Zhang, Guanquan]'s Articles
[Yan, Rongjie]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Zhang, Jianning]‘s Articles
[Zhang, Guanquan]‘s Articles
[Yan, Rongjie]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace