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 contribution | A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface |
---|---|
Original language | English |
Title of host publication | Formal Modeling and Analysis of Timed Systems |
Subtitle of host publication | 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings |
Publisher | Palgrave Macmillan |
Pages | 335 - 351 |
ISBN (Print) | 9783642243097 |
Publication status | Published - Sep 2011 |
Bibliographical note
Conference Proceedings/Title of Journal: Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, LNCSConference Organiser: University of Aalborg