Details

Autor(en) / Beteiligte

• Jahanpour, M.S.
• Cerny, E.

Titel

Compositional verification of an ATM switch module using interface recognizer/suppliers (IRS)

Ist Teil von

• Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786), 2000, p.71-76

Ort / Verlag

IEEE

Erscheinungsjahr

2000

Quelle

IEEE/IET Electronic Library

Beschreibungen/Notizen

• 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.