PROJECT TITLE :
Towards Industrial Formal Specification of Programmable Safety Systems
Formal strategies for specification and verification are promising in developing programmable logic controller (PLC) programs in manufacturing industry. Notably this holds for safety PLCs, used to guard humans and equipment from injuries and damages. An important challenge though, is the event of formal specifications, typically a robust task for control engineers. This transient proposes a systematic work procedure that may be used as a 1st step of developing formal specifications of safety PLC programs in industry. The work procedure intends to facilitate the event of relevant formal properties for safety PLC program elements. The formal specifications can be used for automatic formal verification of the elements, using model checking techniques. This temporary shows how the work procedure has been applied to industrial safety elements, ensuing in relevant and nontrivial specifications.
Did you like this research project?
To get this research project Guidelines, Training and Code... Click Here