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

S Abu Kharmeh, KI Eder, MD May

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

5 Citations (Scopus)

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.
Translated title of the contributionA Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface
Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems
Subtitle of host publication9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
PublisherPalgrave Macmillan
Pages335 - 351
ISBN (Print)9783642243097
Publication statusPublished - Sep 2011

Bibliographical note

Conference Proceedings/Title of Journal: Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS
Conference Organiser: University of Aalborg

Fingerprint Dive into the research topics of 'A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface'. Together they form a unique fingerprint.

Cite this