中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 会议论文
Title:
an assume/guarantee based compositional calculus for hybrid csp
Author: Wang Shuling ; Zhan Naijun ; Guelev Dimitar
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Conference Name: 9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012
Conference Date: May 16, 2012 - May 21, 2012
Issued Date: 2012
Conference Place: Beijing, China
Keyword: Differential equations ; Hybrid systems
Indexed Type: EI
ISSN: 0302-9743
ISBN: 9783642299513
Department: (1) State Key Lab. of Comput. Sci. Institute of Software Chinese Academy of Sciences China; (2) Institute of Mathematics and Informatics Bulgarian Academy of Sciences Bulgaria
Sponsorship: State Key Laboratory of Computer Science; Chinese Academy of Sciences, Institute of Software; Chinese Academy of Sciences
Abstract: Hybrid CSP (HCSP) extends CSP to describe interacting continuous and discrete dynamics. The concurrency with synchronous communications, timing constructs, interrupts, differential equations, and so on, make the behavior of HCSP difficult to specify and verify. In this paper, we propose a Hoare style calculus for reasoning about HCSP. The calculus includes Duration Calculus formulas to record process execution history and reason about real-time properties and continuous evolution, and dedicated predicate symbols to specify communication traces and readiness of process actions so that the composite constructs of HCSP can be handled compositionally by using assume/guarantee reasoning. © 2012 Springer-Verlag.
English Abstract: Hybrid CSP (HCSP) extends CSP to describe interacting continuous and discrete dynamics. The concurrency with synchronous communications, timing constructs, interrupts, differential equations, and so on, make the behavior of HCSP difficult to specify and verify. In this paper, we propose a Hoare style calculus for reasoning about HCSP. The calculus includes Duration Calculus formulas to record process execution history and reason about real-time properties and continuous evolution, and dedicated predicate symbols to specify communication traces and readiness of process actions so that the composite constructs of HCSP can be handled compositionally by using assume/guarantee reasoning. © 2012 Springer-Verlag.
Language: 英语
Content Type: 会议论文
URI: http://ir.iscas.ac.cn/handle/311060/15723
Appears in Collections:软件所图书馆_会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Wang Shuling,Zhan Naijun,Guelev Dimitar. an assume/guarantee based compositional calculus for hybrid csp[C]. 见:9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012. Beijing, China. May 16, 2012 - May 21, 2012.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Wang Shuling]'s Articles
[Zhan Naijun]'s Articles
[Guelev Dimitar]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Wang Shuling]‘s Articles
[Zhan Naijun]‘s Articles
[Guelev Dimitar]‘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-2019  中国科学院软件研究所 - Feedback
Powered by CSpace