an assume/guarantee based compositional calculus for hybrid csp
文献类型：会议论文
| 作者 | Wang Shuling ; Zhan Naijun ; Guelev Dimitar |
| 出版日期 | 2012 |
| 会议名称 | 9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012 |
| 会议日期 | May 16, 2012 - May 21, 2012 |
| 会议地点 | Beijing, China |
| 关键词 | Differential equations Hybrid systems |
| 页码 | 72-83 |
| 中文摘要 | 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. |
| 英文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | State Key Laboratory of Computer Science; Chinese Academy of Sciences, Institute of Software; Chinese Academy of Sciences |
| 会议录 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
 |
| 语种 | 英语 |
| ISSN号 | 0302-9743 |
| ISBN号 | 9783642299513 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15723]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。