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

8 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 71-76
https://doi.org/10.1109/hldvt.2000.889562

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

SWITCHES
ASYNCHRONOUS TRANSFER MODE
AUTOMATA
PULSE GENERATION
ENGINES
PROTOCOLS
CLOCKS
MECHANICAL FACTORS
HARDWARE DESIGN LANGUAGES
EMULATION

This publication has 1 reference indexed in Scilit:

Reactive modules
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002