Title :
Compositional verification of an ATM switch module using interface recognizer/suppliers (IRS)
Author :
Jahanpour, M.S. ; Cerny, E.
Author_Institution :
Dept. d´´Inf. et de Recherche Oper., Montreal Univ., Que., Canada
Abstract :
We propose an approach to compositional verification of complex systems based on the interactions at the interfaces of the components. Interactions at an interface are first recognized by a finite automaton called interface recognizer/supplier (IRS). Programming IRS as supplier of the interactions allows us to simulate inter-actions of one side of the interface while model checking the other side. We formulate the composition rule and illustrate the method on an ATM switch module
Keywords :
asynchronous transfer mode; finite automata; formal verification; ATM switch module; complex systems; compositional verification; finite automaton; interface recognizer/suppliers; model checking; Asynchronous transfer mode; Automata; Clocks; Emulation; Engines; Hardware design languages; Mechanical factors; Protocols; Pulse generation; Switches;
Conference_Titel :
High-Level Design Validation and Test Workshop, 2000. Proceedings. IEEE International
Conference_Location :
Berkeley, CA
Print_ISBN :
0-7695-0786-7
DOI :
10.1109/HLDVT.2000.889562
