Skip to main content

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface

Suleiman Abu Kharmeh, Kerstin Eder, David May, A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS. ISBN 978-3-642-24309-7, pp. 335–351. August 2011. PDF, 303 Kbytes.

Abstract

In this paper we present a Design-for-Verification framework for a Configurable Performance-Critical Communication Interface. To manage the inherent complexity of the problem we decomposed the interface into independent parametrisable communication blocks. Tock-CSP was then used to model the timing and functional specifications of our interface. The FDR model checker and its tau-priority model were used to prove that the properties of the configured interface are within the properties of targeted communication protocols.

Bibtex entry.

Contact details

Publication Admin