Using Visual Specifications in Verification of Industrial Automation Controllers
نویسندگان
چکیده
This paper deals with further development of a graphical specification language resembling timing-diagrams and allowing specification of partially ordered events in input and output signals. The language specifically aims at application in modular modelling of industrial automation systems and their formal verification via model-checking. The graphical specifications are translated into a model which is connected with the original model under study.
منابع مشابه
Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems
This paper deals with further development of the timing-diagram based specification language destined for application in modular modeling of industrial automation systems. The results of this work are intended for application in formal verification of software intensive automation systems. Copyright © 2005 IFAC
متن کاملVerification and testing automation of UML projects
This paper presents an integrated approach to verification and testing automation of UML projects. It consists of automatic model creation from UML specifications in the formal language of basic protocols, model’s verification by the means of VRS technology and automatic tests generation in TTCN language using TAT. The actuality of this task arises from necessity of software functionality’s cor...
متن کاملSoftware Environment for Automated Verification of Distributed Industrial Controllers following Iec61499
Abstract. This paper presents the Verification Environment for Distributed Applications (VEDA), which is a software package for Deep Debugging of distributed controllers. Deep Debugging is a combination of model-based simulation and verification united by a homogeneous graphical user interface. VEDA deals with controllers defined in IEC61131 and IEC61499 and automatically generates the formal m...
متن کاملReplication of IEC 61499 Applications
PLCs (Programmable Logical Controllers) are embedded computers built specifically for the industrial environment, and used for the automation of industrial processes. These systems are typically programmed using programming languages defined in the IEC 61131-3 standard (this includes 2 textual and 3 graphical programming languages). IEC 61131-3 however only considers PLCs working in isolation. ...
متن کاملA Model Driven Approach for Requirements Engineering of Industrial Automation Systems
Model driven requirements engineering (MDRE) is proposed to deal with the ever-increasing complexity of technical systems in the sense of providing requirement specifications as formal models that are correct, complete, consistent, unambiguous and easy to read and easy to maintain. A critical issue in this area is the lack of a universal and standardized modeling language which covers the whole...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- EURASIP J. Emb. Sys.
دوره 2008 شماره
صفحات -
تاریخ انتشار 2008