Coordinated Atomic Actions and System Fault Tolerance
Coordinated Atomic Actions and System Fault Tolerance
Coordinated Atomic Actions and System Fault Tolerance
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3. CA <strong>Actions</strong>: A Case StudyThe FZI (Forschungszentrum Informatik, Germany) have specified <strong>and</strong> provided asimulator for the <strong>Fault</strong>-Tolerant Production Cell.It represents a manufacturing process involving six devices: two conveyor belts (afeed belt <strong>and</strong> a deposit belt), an elevating rotary table, two presses <strong>and</strong> a rotaryrobot that has two orthogonal extendible arms.The task of the cell is to get metal blanks from its “environment” via the feed belt,transform them into forged plates by using one of the presses, <strong>and</strong> then returnthem to the environment via the deposit belt.The challenge posed by FZI is to design a control system that maintains specifiedsafety <strong>and</strong> liveness properties even in the presence of a large number <strong>and</strong> variety ofdevice <strong>and</strong> sensor failures, <strong>and</strong> which continues to operate even if one of the pressesis non-operational.Our aim was to show how concurrent exception h<strong>and</strong>ling <strong>and</strong> CA actions aid both thedesign <strong>and</strong> validation of this control system.15 February, 2004
![Manuel Mazzara Full CV (November 2011) [PDF] - Computing ...](https://img.yumpu.com/33775457/1/184x260/manuel-mazzara-full-cv-november-2011-pdf-computing-.jpg?quality=85)
Change language