Bus Architectures for Safety-Critical Embedded Systems.

John Rushby

Presented at EMSOFT 2001: First Workshop on Embedded Software, Tahoe, CA, October 2001.


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

	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