Sharif Digital Repository

Increasing power densities in future technology nodes is a crucial issue in multicore platforms. As the number of cores increases in them, power budget constraints may prevent powering all cores simultaneously at full performance level. Therefore, chip manufacturers introduce a power budget constraint as Thermal Design Power (TDP) for chips. Meanwhile, multicore platforms are suitable for implementation of fault-tolerance techniques to achieve high reliability. Task Replication is a known technique to tolerate transient faults. However, careless task replication may lead to significant peak power consumption. In this paper, we consider the problem of achieving a given reliability target... 

Nowadays, distributed network systems are broadly using in embedded, real-time and networked control systems. Since they often operate under strict timing constraints, the timing verification is an important and critical phase during the design of them. On the other hand, as contemporary digital systems become more and more complex, taking advantage of the systemlevel design is gaining more widespread acceptance. Beginning from the transaction-level of abstraction is a common and effective method for deploying the system-level design. This paper presents a methodology for evaluation of timing constraints in a distributed network system specified at transactionlevel of abstraction. Timing... 

This paper proposes an asymmetric model for urban public transportation networks. Predictive techniques are being developed, to allow advanced modeling and comparison with historical baseline data. The current trend is toward fewer costly microprocessor modules with hardware memory management and Real-Time Operating Systems This model is formulated as a linear programming problem using LP-solvers and is developed and simulated for a large metropolitan area of Tehran, Iran. The mathematical procedure as its quantitative results is presented. © 2008 IEEE  

Reo is an exogenous coordination language for compositional construction of the coordinating subsystem of a component-based software. Constraint automaton is defined as the operational semantics of Reo. The main goal of this work is to prepare a model checking based verification environment for component-based systems, which their component connectors are modeled by Reo networks and Constraint Automata. We use compositional minimization and abstraction methods of model checking for verification of component-based systems and their component connectors modeled by Reo  

Energy consumption and predictability are two important constraints in designing real-time embedded systems and one of the recently proposed solutions for the energy consumption problem is the use of non-volatile memories instead of conventional SRAM due to their lower leakage power consumption and smaller cell area. Furthermore, because of their non-volatile nature, the use of these memories helps normally-off computing and energy harvesting systems to resume their execution without a large startup delay. However, the write access latency of non-volatile memories is considerably more than that of SRAM which can decrease the performance and predictability of the system if not managed... 

This paper is concerned with the tele-operation of autonomous vehicles over analog Additive White Gaussian Noise (AWGN) channel, which is subject to transmission noise and power constraint. The nonlinear dynamic of autonomous vehicles is described by the unicycle model and is cascaded with a bandpass filter acting as encoder. Using the describing function method, the nonlinear dynamic of autonomous vehicles is represented by an approximate linear system. Then, the available results for linear control over analog AWGN channel are extended to account for linear continuous time systems with non-real valued and multiple real valued eigenvalues and for tracking a non-zero reference signal.... 

This paper presents a new technique for the state estimation and reference tracking of nonlinear dynamic systems over the packet erasure channel, which is an abstract model for transmission via the Internet, WiFi wireless network and ZigBee modules. A new encoder and decoder for real time state estimation of nonlinear dynamic systems at the end of communication link when the measurements are sent through the limited capacity erasure channel, are presented. Then, using the available results from control theory, a controller for reference tracking and hence the stability of the system is also designed. That is, for nonlinear systems, almost sure asymptotic state estimation and reference... 

Power systems are undergoing significant transformations due to the introduction of microgrids (MGs) and distributed energy resources (DERs). In this regard, MGs as new entities in the system facilitate the integration of independently operated DERs to the power system. In this structure, DERs would be operated by independent agents, while the microgrid's control unit (MCU) would coordinate agents' resource scheduling to maximize social welfare. In this structure, the uncertainty of resources operated by agents could lead to real-time energy imbalance in the MG resulting in agents' loss of profits. Consequently, a novel transactive-based-scheme is developed in this article to facilitate... 

Mixed-criticality (MC) systems have recently been devised to address the requirements of real-time systems in industrial applications, where the system runs tasks with different criticality levels on a single platform. In some workloads, a high-critically task might overrun and overload the system, or a fault can occur during the execution. However, these systems must be fault tolerant and guarantee the correct execution of all high-criticality (HC) tasks by their deadlines to avoid catastrophic consequences, in any situation. Furthermore, in these MC systems, the peak-power consumption of the system may increase, especially in an overload situation and exceed the processor thermal design... 

Increasing power densities in future technology nodes is a crucial issue in multicore platforms. As the number of cores increases in them, power budget constraints may prevent powering all cores simultaneously at full performance level. Therefore, chip manufacturers introduce a power budget constraint as Thermal Design Power (TDP) for chips. Meanwhile, multicore platforms are suitable for the implementation of fault-tolerance techniques to achieve high reliability. Task Replication is a well-known technique to tolerate transient faults. However, careless task replication may lead to significant peak power consumption. In this article, we consider the problem of achieving a given reliability... 

We consider a DVS-enabled single-processor firm real-time (FRT) system with Poisson arrival jobs having exponential execution times and generally distributed relative deadlines. The queue size of the system bounds the number of jobs which may be available therein. Further, the processor speed depends on the number of jobs in the system which varies because of the job arrivals, service completions, and dead-line misses. Thus, the processor power consumption, includling both the dynamic and leakage powers, depends on the stochastic nature of the system. More specifically, the instantaneous dynamic power consumption lonely depends on the number of jobs at that moment. However, the instantaneous... 

Remote Sensing (RS) images or satellite images include information about earth. Compression of RS images is important in the field of satellite transmission systems and mass storage purposes. Because of importance of information and existent of large amount of details, lossless compression preferred. Real time compression technique is applied on satellite and aerial transmission systems [1]. A simple algorithm accelerates the whole process in real time purposes. Lossless JPEG, JPEG-LS and JPEG2000 are some famous lossless compression methods. Transformation is the first step of these methods. In this paper, a simple and efficient method of lossless image transformation has been introduced by... 

Power consumption, performance and reliability are the most important parameters in modern safety-critical distributed real-time embedded systems. This paper evaluates and compares different schedulability conditions in faulttolerant Rate-Monotonic (RM) and Earliest-Deadline-First (EDF) algorithms, with respect to their power efficiency. The primary-backup scheme is used to implement fault tolerance in the algorithms. To evaluate the algorithms, a software tool is developed that can simulate an embedded system consisting of n processors and m periodic tasks. The results show that depending on the different schedulability conditions, the EDF algorithm implemented with the Best-Fit policy is... 

Considerable developments in the real-time telemetry of demand-side systems allow independent system operators (ISOs) to use reserves provided by demand response (DR) in ancillary service markets. Currently, many ISOs have designed programs to utilize the reserve provided by DR in electricity markets. This paper presents a stochastic model to schedule reserves provided by DR in the wholesale electricity markets. Demand-side reserve is supplied by demand response providers (DRPs), which have the responsibility of aggregating and managing customer responses. A mixed-integer representation of reserve provided by DRPs and its associated cost function are used in the proposed stochastic model.... 

Nanotechnology has begun to play a remarkable role in various fields of science and technology. In biomedical applications, nanoparticles have opened new horizons, especially for biosensing, targeted delivery of therapeutics, and so forth. Among drug delivery systems (DDSs), smart nanocarriers that respond to specific stimuli in their environment represent a growing field. Nanoplatforms that can be activated by an external application of light can be used for a wide variety of photoactivated therapies, especially light-triggered DDSs, relying on photoisomerization, photo-cross-linking/un-cross-linking, photoreduction, and so forth. In addition, light activation has potential in photodynamic... 

In this paper, the robust bounded-input bounded-output stability of a large class of linear time invariant fractional order families of systems with real parametric uncertainties is analyzed. The transfer functions contain polynomials in fractional powers of the Laplace variable s, possibly in combination with exponentials of fractional powers of s. Using the concept of the value set and a generalization of the zero exclusion condition theorem, a theorem to check the robust bounded-input bounded-output stability of these families of systems is presented. An upper cutoff frequency for drawing the value sets is provided as well. Finally, two numerical examples are given to illustrate results... 

This paper proposes a novel FPGA-based matrix-inversion technique that is specifically tailored and optimized for real-time electromagnetic transients simulation of power electronic converters with high switching frequency. This is the first reported solution that is capable of solving the real-time equations related to using ideal switch model and the associated circuitry in very small time-steps (e.g., an average of 36 ns in a three-phase back-to-back converter case study), without requiring large amount of memory, being limited to small number of switches, adding parasitic elements, or depending on a priori knowledge of the circuit operation or switching strategy. The accuracy of the... 

Vehicular ad hoc networks (VANets) are special cases of mobile ad hoc networks (MANets) in which the mobility pattern is very different. Actually, the topology of the network in VANets changes more often and the variance of speeds is high. Such characteristics lead to fairness problem in VANets, considered in this paper. In fact, vehicles with different speeds have their different limited time to communicate with an access point (AP). This attribute adversely affects the chance of a fast moving vehicle in communicating with the access point. We propose a modified 802.11 DCF channel access scheme as a solution to the problem. The proposed scheme adjusts the probability of transmission at a... 

In this paper, the performance of five classifiers in P300 speller paradigm are compared. Theses classifiers are Linear Support Vector Machine (LSVM), Gaussian Support Vector Machine (RSVM), Neural Network (NN), Fisher Linear Discriminant (FLD), and Kernel Fisher Discriminant (KFD). In classification of P300 waves, there has been a trend to use SVM classifiers. Although they have shown a good performance, in this paper, it is shown that the FLD classifiers outperform the SVM classifiers. FLD classifier uses only ten channels of the recorded electroencephalogram (EEG) signals. This makes them a very good candidate for real-time applications. In addition, FLD approach does not need any...