Ticc: A Tool for Interface Compatibility and Composition

Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component, and the component's assumptions on the environment's behavior. Ticc can check the compatibility of such interfaces, and analyze their emergent behavior, via a symbolic implementation of game-theoretic algorithms. 1 Overview Open systems are systems whose behavior is jointly determined by their internal structure, and by the inputs that they receive from their environment. A component of a larger system is, therefore, an open system, as its behavior depends on the inputs it receives from the other system components. In previous work, it has been argued that games constitute a natural model for open systems [1, 7, 8, 5, 2]. We use games to represent the interaction between the behavior originating within a component, and the behavior originating from the component's environment. In particular, ...

• Type: Conference
• Year: 2006
• Where: CAV
• Authors: B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
• Keywords: Behavior, CAV 2006, Environment's Behavior, Hardware, Open Systems