Specification and analysis of intercomponent communication

Mats Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny

Research output: Contribution to specialist publicationArticle

9 Scopus citations


Embedded systems pose special challenges to the specification and analysis of intercomponent communication. Our formal approach lets the interface specifications serve as kernels that enforce safety and simple liveness constraints.

Original languageEnglish (US)
Number of pages8
Specialist publicationComputer
StatePublished - Apr 1998

Bibliographical note

Funding Information:
This work was partially supported by US National Science Foundation grants CCR-9624324 and CCR-9615088, and University of Minnesota Grant in Aid of Research 1003-521-5965.

Fingerprint Dive into the research topics of 'Specification and analysis of intercomponent communication'. Together they form a unique fingerprint.

Cite this