Verification of an abstract component using communication patterns

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Model-driven development and verification approaches are highly desirable in embedded systems development since they help identify functional or non-functional issues in the early stage of development when verification complexity is relatively lower than that of the implemented system. Nevertheless, typical model-driven verification approaches focus mainly on functional aspects, leaving the communication behavior largely under-specified. This paper anticipates that understanding and specifying communication mechanism is important in modeling as well as analysis, and suggests a set of communication patterns categorized by the level of abstraction, message handling mechanisms, and buffering strategies. Design of a component may start with the specification of an abstract component with the default communication pattern, which can be recursively verified and refined. Using communication patterns helps us improve the separation of concerns and facilitating smooth transition of a component design from an abstract function-oriented component to a concrete component with detailed communication behavior.

Original languageEnglish
Title of host publicationProceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
Pages42-52
Number of pages11
DOIs
StatePublished - 2009
Event2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009 - Vancouver, BC, Canada
Duration: 16 May 200916 May 2009

Publication series

NameProceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009

Conference

Conference2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
Country/TerritoryCanada
CityVancouver, BC
Period16/05/0916/05/09

Fingerprint

Dive into the research topics of 'Verification of an abstract component using communication patterns'. Together they form a unique fingerprint.

Cite this