Design and Analysis of a Robust Real-Time Engine Control Network

Authors:
Michael Ellims;Stephen Parker;James Zurlo
Affiliations:
-;-;-
Venue:
IEEE Micro
Year:
2002

Citing 1
Cited 1

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice

On wheels, nuts and software

SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47

Quantified Score

Hi-index	0.00

Visualization

Abstract

The process and techniques used to design a safety-related real-time control network provides a framework for x-by-wire system development projects.