A formal approach for reactive mode handling

• Published in: 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) Vol. 5; pp. 4306 - 4311 vol.5
• Main Authors: Hamani, N., Dangoumau, N., Craye, E.
• Format: Conference Proceeding
• Language: English
• Published: Piscataway NJ IEEE 2004
• Subjects: Applied sciences; Automatic control; Coherence; Computer science; control theory; systems; Control systems; Control theory. Systems; Electric breakdown; Exact sciences and technology; Formal specifications; Formal verification; Process control; Production systems; Safety; Signal processing; Production system; Validation; Abstract machine; Reactivity; Mode control; Formal specification; Coherence; System identification; Safety; Production process; Reconfiguration; Formal verification
• ISBN: 0780385667; 9780780385665
• ISSN: 1062-922X; 2577-1655
• DOI: 10.1109/ICSMC.2004.1401208

The purpose of this study is the formal verification and validation of a model used for the reconfiguration process of a production system. This process is ensured by a function within the control framework named mode handling. For the needs of reactivity of this function, a synchronous approach using the formal specification formalism safe state machine (SSM) is adopted. We explain firstly what the required properties are, the methods used to check them are presented, and then we propose the specifications in SSM, which guarantee their verification and their validation. This study is mainly concerned with safety properties ensuring mode coherence.