model construction and priority synthesis for simple interaction systems
文献类型：会议论文
| 作者 | Cheng Chih-Hong ; Bensalem Saddek ; Jobstmann Barbara ; Yan Rongjie ; Knoll Alois ; Ruess Harald |
| 出版日期 | 2011 |
| 会议名称 | 3rd NASA Formal Methods Symposium, NFM 2011 |
| 会议日期 | April 18, |
| 会议地点 | Pasadena, CA, United states |
| 关键词 | Game theory NASA |
| 页码 | 466-471 |
| 中文摘要 | VissBIP is a software tool for visualizing and automatically orchestrating component-based systems consisting of a set of components and their possible interactions. The graphical interface of VissBIP allows the user to interactively construct BIP models [3], from which executable code (C/C++) is generated. The main contribution of VissBIP is an analysis and synthesis engine for orchestrating components. Given a set of BIP components together with their possible interactions and a safety property, the VissBIP synthesis engine restricts the set of possible interactions in order to rule out unsafe states. The synthesis engine of VissBIP is based on automata-based (game-theoretic) notions. It checks if the system satisfies a given safety property. If the check fails, the tool automatically generates additional constraints on the interactions that ensure the desired property. The generated constraints define priorities between interactions and are therefore well-suited for conflict resolution between components. © 2011 Springer-Verlag. |
| 英文摘要 | VissBIP is a software tool for visualizing and automatically orchestrating component-based systems consisting of a set of components and their possible interactions. The graphical interface of VissBIP allows the user to interactively construct BIP models [3], from which executable code (C/C++) is generated. The main contribution of VissBIP is an analysis and synthesis engine for orchestrating components. Given a set of BIP components together with their possible interactions and a safety property, the VissBIP synthesis engine restricts the set of possible interactions in order to rule out unsafe states. The synthesis engine of VissBIP is based on automata-based (game-theoretic) notions. It checks if the system satisfies a given safety property. If the check fails, the tool automatically generates additional constraints on the interactions that ensure the desired property. The generated constraints define priorities between interactions and are therefore well-suited for conflict resolution between components. © 2011 Springer-Verlag. |
| 收录类别 | EI |
| 会议录 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
 |
| 语种 | 英语 |
| ISSN号 | 0302-9743 |
| ISBN号 | 9783642203978 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16238]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Cheng Chih-Hong,Bensalem Saddek,Jobstmann Barbara,et al. model construction and priority synthesis for simple interaction systems[C]. 见:3rd NASA Formal Methods Symposium, NFM 2011. Pasadena, CA, United states. April 18,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。