Abstract
This paper deals with the temporal verification and assignment into the execution environment of reconfigurable control systems following the component based international industrial standard IEC61499. A function block (denoted by FB) is an event triggered component owning data and a reconfigurable control application is specified by different FB networks such as each one has to be automatically loaded in memory when a particular reconfiguration scenario is followed. To verify the whole temporal behavior of the system, we check the feasibility of each FB network corresponding to a possible reconfiguration scenario by exploring reachability graphs which will be transformed into OS tasks of the execution environment. Therefore, the reconfigurable system is assigned into different sets of OS tasks such as each set corresponds to a particular reconfiguration scenario. We developed the tool X-Reconfig supporting the paper contribution that we apply on the FESTO production system available in our laboratory at the Martin Luther University.
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 callDisclaimer: 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.
