2011 | OriginalPaper | Chapter
Model Construction and Priority Synthesis for Simple Interaction Systems
Authors : Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess
Published in: NASA Formal Methods
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.