Architectural reconfiguration using coordinated atomic actions
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Hardware-in-the-Loop simulation of UAV non-linear control system of mini-helicopter
Proceedings of the 2009 International Conference on Hybrid Information Technology
Fault tolerance for embedded control system
ISCIT'09 Proceedings of the 9th international conference on Communications and information technologies
Using feature locality: can we leverage history to avoid failures during reconfiguration?
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Safety interfaces for component-based systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
It is often the case that safety-critical systems have tobe reconfigured during operation because of issues such aschanges in the systemýs operating environment or the failureof software or hardware components. Operational systemsexist that are capable of reconfiguration, but previousresearch and the techniques employed in operational systemsfor the most part either have not addressed the issue ofassurance or have been developed in an ad hoc manner. Inthis paper we present a comprehensive approach to assuredreconfiguration, providing a framework for formal verificationthat allows the developer of a reconfigurable system touse a set of application-level properties to show generalreconfiguration properties. The properties and design areillustrated through an example from NASA's Runway IncursionPrevention System.