A Systematized Approach for Obtaining a Dependable Structured Specification for an Industrial Automation System
This paper is focused on one of the majors problems that a designer, of an automation system controller, must solve that is related with the correct synchronization between different parts of the controller specification when this specification obeys at a previous defined structure. If this synchronization is not done according some rules, and taking some aspects in consideration, some dependability aspects, concerning the desired behavior for the system, may not be accomplished. More specifically, it is shown, in the paper, a systematized approach that consists, first, in using the GEMMA and the SFC formalisms for the structure and specification of all the system behavior, considering all the stop states and functioning modes of the system and respective synchronization, showed in detail. Secondly, using formal verification as analysis technique, it is guaranteed that a dependable specification has been obtained. A case study is presented to explain the proposed systematic approach.
Dependable Controllers Design Formal Verification GEMMA SFC Industrial Automation Systems
José Machado Eurico Seabra
CT2M Research Centre,Mechanical Engineering DepartmentUniversity of MinhoGuimar(a)es, Portugal CT2M Research Centre, Mechanical Engineering Department University of Minho Guimar(a)es, Portugal
国际会议
IEEE 10th International Conference on Industrial Informatics(第十届IEEE工业信息学国际学术会议 INDIN2012)
北京
英文
309-315
2012-07-25（万方平台首次上网日期，不代表论文的发表时间）