Bus Architectures for Safety-Critical Embedded Systems.
John Rushby
Abstract
Embedded systems for safety-critical applications often integrate
multiple ``functions'' and must generally be fault-tolerant. These
requirements lead to a need for mechanisms and services that provide
protection against fault propagation and ease the construction of
distributed fault-tolerant applications. A number of bus
architectures have been developed to satisfy this need. This paper reviews the
requirements on these architectures, the mechanisms employed, and the
services provided. Four representative architectures (SAFEbus\tm,
SPIDER, TTA, and FlexRay) are briefly described.
gzipped postscript,
or
plain postscript
or
PDF
or
crude ascii (for your Palm Pilot)
A technical report
giving more extended discussion of the topics in
this paper is also available.
BibTeX Entry
@INPROCEEDINGS{Rushby01:emsoft,
AUTHOR = {John Rushby},
TITLE = {Bus Architectures For Safety-Critical Embedded Systems},
BOOKTITLE = {{EMSOFT} 2001: Proceedings of the First Workshop on Embedded Software},
YEAR = 2001,
EDITOR = {Tom Henzinger and Christoph Kirsch},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Lake Tahoe, CA},
MONTH = oct,
SERIES = {Lecture Notes in Computer Science},
VOLUME = 2211,
PAGES = {306--323}
}
Having trouble reading our papers?
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page