Rigorous Development of a Safety-Critical System Based on Coordinated Atomic211 Actions

摘要

This paper describes the authors' experience using co-ordinated atomic (CA)211u001eactions as a systems structuring tool to design and validate a sophisticated 211u001econtrol system for a complex industrial application that has high reliability and 211u001esafety requirements. The authors' study is based on an extended production cell 211u001emodel, the specification and simulator for which were defined and developed by 211u001eFZI (Forschungszentrum informatik, Germany). This 'Fault-Tolerant Production 211u001eCell' represents a manufacturing process involving redundant mechanical devices 211u001e(provided in order to enable continued production in the presence of machine 211u001efaults). The challenge posed by the model specification is to design a control 211u001esystem that maintains specified safety and liveness properties even in the 211u001epresence of a large number and variety of device and sensor failures.