By Topic

A formal approach to check and schedule reconfigurable embedded control systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Mohamed Khalgui ; Martin Luther University, Germany ; Olfa Mosbahi ; Hans-Michael Hanisch

This paper deals with the development of reconfigurable control systems following the component-based International Industrial Standard IEC61499. In this standard, a function block is an event-triggered component owning data and an application is a FB network that has to satisfy temporal properties. This network is totally changed or modified if a reconfiguration scenario is applied at run-time. We classify at first time all possible reconfiguration forms and we propose thereafter an Agent-based architecture to handle them. To verify temporal properties on the FB network corresponding to each reconfiguration scenario, we analyze the schedulability of the corresponding blocks. If it is feasible, then a static scheduling is generated as a sequencing to be used by the OS when the Agent applies at run-time the corresponding scenario. We deduce finally the whole system feasibility if the FB network corresponding to each possible scenario is feasible. A tool X - Reconfig is developed in our research laboratory to support the paper contribution.

Published in:

2008 IEEE International Conference on Emerging Technologies and Factory Automation

Date of Conference:

15-18 Sept. 2008