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

S Abu Kharmeh; KI Eder; MD May

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 proceeding › Conference Contribution (Conference Proceeding)

7 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 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 - Sept 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

Access to Document

http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2001437

Handle.net

Persistent link

Cite this

Abu Kharmeh, S., Eder, KI., & May, MD. (2011). A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. In Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (pp. 335 - 351). Palgrave Macmillan. http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2001437

@inproceedings{42901d9e8a11481cac35811ea8cfc426,

title = "A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface",

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.",

author = "\{Abu Kharmeh\}, S and KI Eder and MD May",

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",

year = "2011",

month = sep,

language = "English",

isbn = "9783642243097",

pages = "335 -- 351",

booktitle = "Formal Modeling and Analysis of Timed Systems",

publisher = "Palgrave Macmillan",

address = "United Kingdom",

}

Abu Kharmeh, S, Eder, KI & May, MD 2011, A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. in Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Palgrave Macmillan, pp. 335 - 351. <http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2001437>

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. / Abu Kharmeh, S; Eder, KI; May, MD.
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Palgrave Macmillan, 2011. p. 335 - 351.

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

TY - GEN

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

AU - Abu Kharmeh, S

AU - Eder, KI

AU - May, MD

N1 - 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

PY - 2011/9

Y1 - 2011/9

N2 - 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.

AB - 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.

M3 - Conference Contribution (Conference Proceeding)

SN - 9783642243097

SP - 335

EP - 351

BT - Formal Modeling and Analysis of Timed Systems

PB - Palgrave Macmillan

ER -

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

Abstract

Bibliographical note

Access to Document

Handle.net

Fingerprint

Cite this