(1) London South Bank University [Centre for Applied Formal Methods, Institute for Computing Research Faculty of BCIM], Borough Road, London, SE1 0AA, UK
Abstract:
In embedded systems, dynamically reconfigurable computing can be partially modified at runtime without stopping the operation of the whole system. In this paper, we consider a reorganization mechanism for dynamically reconfigurable computing in embedded systems to guarantee that invariants of the design are respected. This reorganization is considered as a visual transformation of the logical configuration by the formulated rules. The invariant is recognized under the restructuring of the configuration using reconfiguration rules.