A hierarchic interface specification is an enabler for checking the protocol on the implementation of an interface, during simulation of a system of low level units. The low-level control and data flow can be used by the interface to construct high level information and sequencing which can be checked against specific rules.

This style of protocol checking brings with it a number of benefits:

• Interface rules can be checked on an existing implementation.
• The Interface Specification can be re-used on other implementations of the same protocol.

With our experience of interface specification and protocol checking we are able to offer extensive consultation in this field.