Specification and analysis of intercomponent communication

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

Research output: Contribution to specialist publicationArticle

9 Scopus citations

Abstract

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)
Pages47-54
Number of pages8
Volume31
No4
Specialist publicationComputer
DOIs
StatePublished - Apr 1 1998

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

  • Cite this