DocumentCode
2700162
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
fYear
2000
fDate
2000
Firstpage
71
Lastpage
76
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Level Design Validation and Test Workshop, 2000. Proceedings. IEEE International
Conference_Location
Berkeley, CA
Print_ISBN
0-7695-0786-7
Type
conf
DOI
10.1109/HLDVT.2000.889562
Filename
889562
Link To Document