Society’s increasing dependence on software-intensive systems is driving the need for dependable, robust, continuously available systems. Runtime system reconfiguration is one aspect of achieving continuous availability. We present an architecture-based approach to runtime software reconfiguration, highlighting the beneficial role of architectural styles and software connectors in facilitating ...

The Reconfiguration for Reliability: Application of partial reconfiguration, exploiting the benefits of on-line fault detection to identify the occurrence of a SEU; such information is used to localize the portion of the FPGA to be re-configured to recover from the error by dynamically performing partial reconfiguration. All information on fault localization and the part to be re-configured are...

A new class of FPGAs that enable partial and dynamic reconfiguration has been recently introduced into the market, opening exciting possibilities for dynamically reconfigurable hardware systems. While enabling concurrent reconfiguration without disturbing system operation, this technology also raises a new test challenge: the reconfiguration process can activate faults which would otherwise not...

Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite. We show that a subclass of such paths can be modelled by finite state automata. This feature allows us to use techniques related to model-checking to prove some architectural, event, and temporal properties re...

to support multiple views in the sense of (Kruchten 1995). More specifically Darwin corresponds to a couple of Kruchten’s views: the behavioural view and the service view for the purpose of behavioural analysis and construction, respectively. Each view is an elaboration of the basic structural view (i.e., the skeleton upon which the flesh of behavioural specification is hung). 3.2.3.1 Architect...

Articles you may be interested in Aerodynamic performance and characteristic of vortex structures for Darrieus wind turbine. II. The relationship between vortex structure and aerodynamic performance Numerical evaluation of tree canopy shape near noise barriers to improve downwind shielding Flexible terrestrial and aquatic plants bend in response to fluid motion and this re-configuration mechani...

We have proposed an Autonomous Disks for the advanced data management. The Autonomous Disks provide data distribution and high reliability. The Autonomous Disks configure a cluster and handle access from host in the cluster. In this paper, we propose dynamic reconfiguration algorithms allowing the usual operations dulling the reconfiguration, and implement them on an experimental system using J...