Sharif Digital Repository

Choreography description languages aim at specifying from a global point of view interactions among a set of services involved in a new system. From this specification, local implementations or peers can be automatically generated. Generation of peers that precisely implement the choreography specification is not always possible: This problem is known as realizability. When peers corresponding to this specification are being executed we may want to modify the choreography specification and reconfigure dynamically the system. This is the case for instance if we add or remove interactions due to the addition of functionalities to the system at hand or the loss of a service. In this article, we... 

Reconfigurability for a component of a distributed component-based system means ability to replace the component with a new one, in presence of the other components. In this context, substitutability and compatibility of components should be analyzed. In this paper, we use I/O-Constraint Automata to model behavior of components and propose enough formalism for substitutability and compatibility analysis. We show that in the context of distributed non-blocking components, there is a relation weaker than usual simulation relation in automata theory for notion of substitutability. We illustrate the relation between substitutability and compatibility to reason about the reconfigurability of a... 

Reconfigurability in software has many advantages such as updating, bug fixing and adding new services. Dynamic reconfiguration is more useful for mission critical systems that need to change in run time. Reconfiguration of a system in network may result to reconfiguring its dependent systems, which we call reconfiguration propagation. In this paper, we present a model for reconfiguration propagation for systems in a network  

In this paper, we present a reconfigurable architecture for NoCs on which arbitrary application-specific topologies can be implemented. The proposed NoC can dynamically tailor its topology to the traffic pattern of different applications at run-time. The run-time topology construction mechanism involves monitoring the network traffic and changing the inter-node connections in order to reduce the number of intermediate routers between the source and destination nodes of heavy communication flows. This mechanism should also preserve the NoC connectivity. In this paper, we first introduce the proposed reconfigurable topology and then address the problem of run-time topology reconfiguration.... 

Proliferation of renewable energy resources in distribution networks has captured distribution companies' attention towards more active management tools. Thanks to the smart grid paradigm, hourly network reconfiguration, which is still among immature ideas, can bring the activeness required to handle fluctuating output of renewable resources. The aim of this study is to analyze the worthiness of the hourly reconfiguration in the presence of renewable energy resources. For doing so, a mathematical model is devised to minimize daily network losses via applying hourly reconfigurations. The model is a mixed integer second-order cone programming problem and is solved via MOSEK solver. The... 

Time amplifiers (TA) are the key building blocks of the two-step time-to-digital converters. High resolution TAs suffer from inaccuracy the gain due to employing meta-stability behavior of the SR latches. In the proposed method, two offset NAND gates are placed in parallel with the NAND gates of the conventional SR latch to get a linear re-configurable gain. Gain of the TA is controlled only by the driving strength of the NAND gates. To confirm the effectiveness of the proposed method, an 8-bit two step time to digital converter (TDC) was designed and laid-out in 0.18 μ m CMOS technology. Using a supply voltage of 1.2V, the proposed TDC consumes 1.1mW at 30MS/s throughput. IEEE  

Time amplifiers (TAs) are the key building blocks of the two-step time-to-digital converters. High resolution TAs suffer from inaccuracy the gain due to employing meta-stability behavior of the SR latches. In the proposed method, two offset NAND gates are placed in parallel with the NAND gates of the conventional SR latch to get a linear re-configurable gain. Gain of the TA is controlled only by the driving strength of the NAND gates. To confirm the effectiveness of the proposed method, an 8-bit two step time to digital converter (TDC) was designed and laid-out in 0.18- μm CMOS technology. Using a supply voltage of 1.2 V, the proposed TDC consumes 1.1 mW at 30 MS/s throughput. © 2004-2012... 

Electric power systems try to maximize resilience by various enhancement strategies as preventive and corrective actions against extreme weather events. This paper presents an operational network reconfiguration strategy during a high wind event to strengthen the resiliency of distribution networks. In the proposed resilience enhancement strategy, a bi-level optimization problem is formulated with two conflicting objectives (i) maximizing grid resilience and (ii) realize the primary objective by a minimum number of out-of-service lines (OSLs) switching operations. Furthermore, the algorithm considers the priority of loads, which is an important characteristic of modern distribution grids.... 

We propose a new optical reconfigurable Network-on-Chip (NoC), named ReFaT ONoC (Reconfigurable Flat and Tree Optical NoC). ReFaT is a dynamically reconfigurable architecture, which customizes the topology and routing paths based on the application characteristics. ReFaT, as an all-optical NoC, routes optical packets based on their wavelengths. For this purpose, we propose a novel architecture for the optical switch, which eliminates the need for optical resource reservation, and thus avoids the corresponding latency and area overheads. As a key idea for dynamic reconfiguration, each application is mapped to a specific set of wavelengths and utilizes its dedicated routing algorithm. We... 

Nowadays, the essentiality of asset management in power systems and higher utilization of resources have become more critical to keep pace with the radically growing demand of today's networks. Power transformers are amongst the most important equipments installed in power distribution systems. Therefore, this paper presents a novel methodology to improve the utilization of substation transformers. In this methodology, the transformer utilization of a two-transformer substation is increased via reconfiguration considering the single contingency policy (SCP). The online reconfiguration helps to maximize the amount of load transferred from a substation with a failed transformer to its... 

Distribution network reconfiguration as a technique for reducing network losses and enhancing voltage profile has attracted attention of many researchers. In spite of impacts network reconfiguration can have on power quality indices, the potentials have not been studied enough. To fill the gap, this paper presents a method to determine optimum network configuration considering voltage profile, network losses, and total harmonic distortion (THD). The proposed method also vouches for radial structure of the network, supplying all loads, and maintaining voltages and currents within allowable bounds. Since network reconfiguration problem is a combinatorial optimization problem, a meta-heuristic... 

Sectionalizing switches are the main components of any restoration scheme in fault situations of power distribution systems. In this paper, customer outage costs reduction is aimed through the optimal simultaneous placement of manual and remote-controlled switches (RCSs). Network reconfigurations are constrained such that operational considerations like statutory ranges for voltage levels, lines' thermal capacities, and necessity of radial configuration be conserved. Total cost reduction is mathematically modeled in a mixed-integer linear programming (MILP) model that makes the global optimal solution accessible. The validity of the proposed model is evaluated on the IEEE 33-bus network. In... 

High availability of software systems is an essential requirement for pervasive computing environments. In such systems self-adaptation, using dynamic reconfiguration is also a key feature. However, dynamic reconfiguration potentially decreases the system availability by making parts of the system temporary frozen, especially during incomplete or faulty execution of the reconfiguration process. In this paper, we propose Assured Dynamic Reconfiguration Framework (ADRF), consisting of run-time analysis phases, assuring the desired correctness and completeness of dynamic reconfiguration process. We also specify factors that affect availability of reconfigurable software in pervasive computing... 

The Dual-Arm Cam-Lock (DACL) robot manipulators are reconfigurable arms formed by two parallel cooperative manipulators. Some of their joints may lock into each other. Therefore, the arms normally operate redundantly. However, when higher structural stiffness is needed these two arms can lock into each other in specific joints and loose some degrees of freedom. In this paper, the dynamics of the DACL robot is discussed and parametrically formulated. On the other hand, the criteria and implementation of genetic algorithm (GA) to optimize the configuration of DACL robot manipulators at a specific point with the objective to maximize the cooperatively applicable task-space force in a desired... 

Cooperative systems have been extensively investigated in literature. Herein the criteria and implementation for finding the optimal configuration of the Dual-Arm Cam-Lock (DACL) robot manipulators at a specific point with the objective to optimize the applicable task-space force in a desired direction are addressed. The DACL robot manipulators are reconfigurable arms formed by two parallel cooperative manipulators. Some of their joints may lock into each other. Therefore, the arms normally operate redundantly. However, when higher structural stiffness is needed these two arms can lock into each other in specific joints and loose some degrees of freedom. The dynamics of the DACL robot is... 

This paper presents an experimental evaluation of the effectiveness of three hardware-based control flow checking mechanisms, using software-implemented fault injection (SWIFI) method. The fault detection technique uses reconfigurable of the shelf FPGAs to concurrently check the execution flow of the target program. The technique assigns signatures to the target program in the compile time and verifies the signatures using a FPGA as a watchdog processor to detect possible violation caused by the transient faults. A total of 3000 faults were injected in the experimental embedded system, which is based on an 8051 microcontroller, to measure the error detection coverage. The experimental... 

In this paper, a hardware control flow checking technique is presented and evaluated. This technique uses reconfigurable of the shelf FPGA in order to concurrently check the execution flow of the target micro processor. The technique assigns signatures to the main program in the compile time and verifies the signatures using a FPGA as a watchdog processor to detect possible violation caused by the transient faults. The main characteristic of this technique is its ability to be applied to any kind of processor architecture and platforms. The low imposed hardware and performance overhead by this technique makes it suitable for those applications in which cost is a major concern, such as... 

In Industry 4.0, the emergence of new information technology and advanced manufacturing technology (e.g., digital twin, and robot) promotes the flexibility and smartness of manufacturing systems to deal with production task fluctuation. Digital twin-driven manufacturing system with human-robot collaboration is a typical paradigm of intelligent manufacturing. When production task changes, manufacturing system reconfiguration with dynamic opeartion task allocation between operator (human) and robot is a key manner to maintain the production efficiency of intelligent manufacturing system with human-robot collaboration. However, the differences between operator and robot are neglected during... 

In this paper, we present a reconfigurable architecture for networks-on-chip (NoC) on which arbitrary application-specific topologies can be implemented. When a new application starts, the proposed NoC tailors its topology to the application traffic pattern by changing the inter-router connections to some predefined configuration corresponding to the application. It addresses one of the main drawbacks of the existing application-specific NoC optimization methods, i.e., optimization of NoCs based on the traffic pattern of a single application. Supporting multiple applications is a critical feature of an NoC when several different applications are integrated into a single modern and complex... 

Capacitor placement/setting is one of the main means for loss reduction and voltage profile improvement in distribution systems. If capacitor placement is meant, the objective function will be the cost of energy losses besides the capacitors costs in a specified period of time. Here, reconfiguration can be used as a strategy to reform the base configuration of the distribution network in order to place the capacitors more efficiently with lower costs. On the other hand, if capacitors are already available in a network, optimum capacitors setting and network reconfiguration should be performed for power loss minimization. In this paper both power loss minimization and capacitor placement cost...