Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions

Describes our experience using coordinated atomic (CA) actions as a system structuring tool to design and validate a sophisticated and embedded control system for a complex industrial application that has high reliability and safety requirements. Our study is based on an extended production cell mod...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on computers 2002-02, Vol.51 (2), p.164-179
Hauptverfasser:	Xu, J., Randell, B., Romanovsky, A., Stroud, R.J., Zorzo, A.F., Canver, E., von Henke, F.
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer simulation Control systems Design engineering Electrical equipment industry Failure Fault tolerance Fault tolerant systems Formal verification Industrial control Manufacturing industries Mathematical models Mechanical sensors Production Safety Specifications
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!