Specification and analysis of intercomponent communication

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

doi:10.1109/2.666842

Specification and analysis of intercomponent communication

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

Computer Science and Engineering

Research output: Contribution to specialist publication › Article

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 language	English (US)
Pages	47-54
Number of pages	8
Volume	31
No	4
Specialist publication	Computer
DOIs	https://doi.org/10.1109/2.666842
State	Published - 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.

Access

10.1109/2.666842

OpenUrl availability

Full text

Cite this

@misc{07a9f6d165524e74938ef40749013647,

title = "Specification and analysis of intercomponent communication",

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

author = "Mats Heimdahl and Thompson, {Jeffrey M.} and Czerny, {Barbara J.}",

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

year = "1998",

month = apr,

doi = "10.1109/2.666842",

language = "English (US)",

volume = "31",

pages = "47--54",

journal = "Computer",

issn = "0018-9162",

publisher = "IEEE Computer Society",

}

TY - GEN

T1 - Specification and analysis of intercomponent communication

AU - Heimdahl, Mats

AU - Thompson, Jeffrey M.

AU - Czerny, Barbara J.

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

PY - 1998/4

Y1 - 1998/4

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

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

UR - http://www.scopus.com/inward/record.url?scp=0032047527&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032047527&partnerID=8YFLogxK

U2 - 10.1109/2.666842

DO - 10.1109/2.666842

M3 - Article

AN - SCOPUS:0032047527

SN - 0018-9162

VL - 31

SP - 47

EP - 54

JO - Computer

JF - Computer

ER -

Specification and analysis of intercomponent communication

Abstract

Bibliographical note

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this