Search

This paper presents two applications of formal methods contributing to safe control of manufacturing systems during the design steps of the life-cycle. These meth­ods, namely model-checking and theorem proving, enables to prove safety properties of the control during its design.

This paper is the introductory one of the Safe control systemssession. A classification of methods contributing to control systems safety is proposed in order to place the five other papers of this session and to show that they are complementary. This classification is based on a life-cycle criterion. Focusing then on discrete event systems safety, we point out the relationships between state space synthesis and analysis and system safety. This enables a more formal approach of safe control design and implementation.