We study the coordination and control problem of distributed discrete-event systems with synchronous communication, in the presence of subsystems whose sensors and/or actuators may be affected by unexpected failures. We model sensor failures as permanent loss of observability of certain sensor events that belong to a subsystem, while characterize actuator failures as loss of controllability of ...

Nowadays dynamic behavior performed by a computer network system can be modeled from the perspective of a control system. One strategy to be followed it is the real-time modeling of the magnetic levitation system. From this way of representation of a computer network system, next stage is how control approach can be affected and modified. In that respect, this paper proposes a control reconfigu...

Some researchers argue that task switching involves task-set reconfiguration--that is, changing the existing task set to perform a different task. Although this idea is intriguing, it is often unclear what is reconfigured and which processes are involved in reconfiguration. We addressed these issues by defining task sets, identifying differences between them, and obtaining evidence that was dia...

Autonomous robotics systems (ARSs) consist of multiple heterogeneous objects and intelligent inferences that are expected to take appropriate actions even in unforeseen circumstances. Dynamic reconfiguration of ARSs is a key enabling technology and plays a major role in the future cyber-enabled battle field. This research work, focused on the development of a formal approach to the specificatio...

The architecture and use of caches for two-level reconfigurable hardware is studied in this paper. The considered two-level reconfigurable hardware performs ordinary reconfiguration operations at the lower reconfiguration level. Whereas the upper reconfiguration level is used to configure the capabilities that are actually available for the lower level. The actual state of each reconfiguration ...

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration. Indeed ADLs (architecture description languages) let architects describe the elements that could be reconfigured as well as the set of constraints to which the system must conform during reconfiguration. In this work...

This paper deals with a new approach to formal representation and approximate reconfiguration of enterprise information system (EIS) based on object-based knowledge mesh (OKM) and information transfer relationship mesh (ITRM). To this end, new concepts of OKM and ITRM as well as their formal descriptions are proposed. Then, taking into consideration the approximation of modules in EIS, the reco...

Distributed systems with high availability requirements have to support some form of dynamic reconfiguration. This means that they must provide the ability to be maintained or upgraded without being taken off-line. Building a distributed system that allows dynamic reconfiguration is very intrusive to the overall design of the system, and generally requires special skills from both the client an...

This paper uses a case study to evaluate three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The reconfiguration of an office workflow for order processing is described. The requirements on the workflow's reconfiguration and general reconfiguration requirements are defined. The workflow is modelled using the ...