model construction and priority synthesis for simple interaction systems

ISCAS OpenIR

	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
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	466-471
会议日期	April 18,
会议地点	Pasadena, CA, United states
收录类别	EI
ISSN	0302-9743
ISBN	9783642203978
部门归属	(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
摘要	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.
关键词	Game Theory Nasa
语种	英语
内容类型	会议论文
URI标识	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],2011:466-471.