Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers
ACM Trans. Embedded Comput. Syst.（2013）
摘要
This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking.
更多查看译文
关键词
complimentary technique,new formal approach,downtimeless system evolution,automation controllers,analytic calculation,formal modeling,automation system,system architecture,automation device,control software,formal verification,model checking,verification and validation
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要