Abstract
Formal verification of intelligent mechatronic systems needs to incorporate a detailed description of the system architecture in order to provide sufficient results. Especially: the model of function blocks with precise semantics; real-time behaviour has to be included. This paper focuses on the IEC 61499 control applications for automation objects, the building blocks for intelligent mechatronic systems. A comprehensive approach for their formal description of control behaviour incorporating also the operating system policy and physical time as parameter for real-time behaviour is given on the basis of Net Condition/Event Systems for a typical control device configuration.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Mechatronics and Manufacturing Systems
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
