Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Managing inconsistency in reconfigurable 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
$31 $31
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

2 Author(s)
Feiler, P. ; Software Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA ; Li, J.

This paper discusses an approach to managing inconsistencies in real-time control applications that are the result of dynamic reconfiguration. In particular, systems based on Simplex are examined: a fault tolerant technology that supports dependable upgrade of systems. Simplex-based systems tolerate residual errors in upgraded components and can be upgraded incrementally and while the system is in operation. Runtime reconfiguration is a key mechanism for Simplex. Reconfiguration of components due to an encountered error may result in inconsistent configurations. The paper focuses on design time analysis to determine inconsistencies in configurations and identify reconfiguration paths to recover to consistent configurations. Runtime support uses the analysis results to recover from inconsistent configurations. Identification of inconsistent configurations is improved through modelling of application semantics in the control domain and utilising them in the analysis

Published in:

Software, IEE Proceedings -  (Volume:145 ,  Issue: 5 )