Institutional Repository
| model construction and priority synthesis for simple interaction systems | |
| Cheng Chih-Hong; Bensalem Saddek; Jobstmann Barbara; Yan Rongjie; Knoll Alois; Ruess Harald | |
| 2011 | |
| Conference Name | 3rd NASA Formal Methods Symposium, NFM 2011 |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 466-471 |
| Conference Date | April 18, |
| Conference Place | Pasadena, CA, United states |
| Indexed Type | EI |
| ISSN | 0302-9743 |
| ISBN | 9783642203978 |
| Department | (1) Department of Informatics Technischen Universität München Germany; (2) Verimag Laboratory Grenoble France; (3) State Key Laboratory of Computer Science Institute of Software CAS China; (4) Fortiss GmbH Munich Germany |
| English Abstract | 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. |
| Keyword | Game Theory Nasa |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16238 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Cheng Chih-Hong,Bensalem Saddek,Jobstmann Barbara,et al. model construction and priority synthesis for simple interaction systems[C],2011:466-471. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment