40047629
Error Detection Process - Model, Design, and Its Impact on Computer Performance
Conventionally, reliability analyses either assume that a fault/error is detected immediately as it occurs, or ignore damage caused by imperfect detection mechanisms and error latency, namely, the time interval between the occurrence of an error and the detection of that error.
920212
Resource scheduling in dependable integrated modular avionics
In the recent development of avionics systems, integrated modular avionics (IMA) is advocated for next generation architecture that needs integration of mixed criticality real-time applications. These integrated applications meet their own timing constraints while sharing avionics computer resources. To guarantee timing constraints and dependability of each application, an IMA-based system is equipped with the schemes for spatial and temporal partitioning. We refer the model as SP-RTS (strongly partitioned real-time system), which deals with processor partitions and communication channels as its basic scheduling entities. This paper presents a partition and channel-scheduling algorithm for the SP-RTS. The basic idea of the algorithm is to use a two-level hierarchical schedule that activates partitions (or channels) following a distance-constraints guaranteed cyclic schedule and then dispatches tasks (or messages) according to a fixed priority schedule. To enhance schedulability, we devised heuristic algorithms for deadline decomposition and channel combining. The simulation results show the schedulability analysis of the two-level scheduling algorithm and the beneficial characteristics of the proposed deadline decomposition and channel combining algorithms.
40618061
Transaction Recovery in Distributed DB/DC Systems: A Progressive Approach
10753893
Evaluation of Error Recovery Blocks Used for Cooperating Processes
Three alternatives for implementing recovery blocks (RB's) are conceivable for backward error recovery in concurrent processing. These are the asynchronous, synchronous, and the pseudorecovery point implementations. Asynchronous RB's are based on the concept of maximum autonomy in each of concurrent processes. Consequently, establishment of RB's in a process is made independently of others and unbounded rollback propagations become a serious problem. In order to completely avoid unbounded rollback propagations, it is necessary to synchronize the establishment of recovery blocks in all cooperating processes. Process autonomy is sacrificed and processes are forced to wait for commitments from others to establish a recovery line, leading to inefficiency in time utilization. As a compromise between asynchronous and synchronous RB's we propose to insert pseudorecovery points (PRP's) so that unbounded rollback propagations may be avoided while maintaining process autonomy. We developed probabilistic models for analyzing these three methods under standard assumptions in computer performance analysis, i.e., exponential distributions for related random variables. With these models we have estimated 1) the interval between two successive recovery lines for asynchronous RB's, 2) mean loss in computation power for the synchronized method, and 3) additional overhead and rollback distance in case PRP's are used.
31591898
Scanning the issue - special issue on real-time systems
30590203
Efficient State-Saving Architectures for Power-Mode Switching
Time and energy is expended in switching between power modes (e.g., active, hibernate, sleep, etc.). Powering off cache is one major reason for this. When there is a switch in the power-mode involving cache power-off, the system spends time and energy in filling the cache with new data (inherent cache misses). In our technique, before powering off the cache, we save its state in Embedded DRAM and bring it back when the previous power mode is restored. Our experiments have showed that in a majority of cases the cache contents are too valuable to be erased. By saving the contents we can reduce switching speed and energy. We present a heuristic to save the most relevant cache contents so that power and delay overheads are minimized. To measure the area overhead a synthesizable VHDL model was designed.
15368609
Data quality in context
ATA-QUALITY (DQ) PROBLEMS ARE INCREASINGLY EVIdent, particularly in organizational databases. Indeed, 50% to 80% of computerized criminal records in the U.S. were found to be inaccurate, incomplete, or ambiguous. The social and economic impact of poor-quality data costs billions of dollars. [5-7, 10]. Organizational databases, however, reside in the larger context of information systems (IS). Within this larger context, data is collected from multiple data sources and stored in databases. From this stored data, useful information is generated for organizational decision-making. A new study reveals businesses are defining data quality with the consumer in mind.
12566781
Web-Based Simulation with Server Application Approach under Distributed Environment
19081367
Robust technique for estimating the bearings of cyclostationary signals
This paper deals with the problem of direction finding using cyclostationary signals in the presence of cycle frequency error (CFE). By exploiting the signal cyclostationarity, cyclic MUSIC and conjugate cyclic MUSIC presented in Gardner (Cyclostationarity in Communications and Signal Processing, New York, 1994; Proc. IEEE 76 (1988) 845) have been shown to be effective for signal-selective direction finding. However, they suffer from severe performance degradation even if there is a small error in the cycle frequency of the signals of interest. In this paper, we first evaluate the performance of conjugate cyclic MUSIC when CFE exists. An analytical formula is derived to show the behavior of the performance degradation due to CFE. By exploiting the eigenstructure of the conjugate cyclic correlation matrix of the received array data, we develop a technique including a method for estimating the cycle frequency of the SOI and an efficient method in conjunction with a subspace-fitting algorithm to achieve robust direction finding against CFE. Several simulation examples confirming the theoretical analysis and showing the effectiveness of the proposed technique are also presented.
404374
The Learning and Emergence of Mildly Context Sensitive Languages
This paper describes a framework for studies of the adaptive acquisition and evolution of language, with the following components: language learning begins by associating words with cognitively salient representations (“grounding”); the sentences of each language are determined by properties of lexical items, and so only these need to be transmitted by learning; the learnable languages allow multiple agreements, multiple crossing agreements, and reduplication, as mildly context sensitive and human languages do; infinitely many different languages are learnable; many of the learnable languages include infinitely many sentences; in each language, inferential processes can be defined over succinct representations of the derivations themselves; the languages can be extended by innovative responses to communicative demands. Preliminary analytic results and a robotic implementation are described.
9836575
Optimal production-distribution planning in supply chain management using a hybrid simulation-analytic approach
Production-distribution planning is the most important activity in supply chain management (SCM). To solve this planning problem, either analytic or simulation approaches have been used. However these two approaches have their own demerits in problem solving. We propose a hybrid approach which is a specific problem solving procedure combining analytic and simulation methods to solve production-distribution problems in supply chains. The machine capacity and distribution capacity constraints in the analytic model are considered as stochastic factors and are adjusted by the proposed specific process according to the results from an independently developed simulation model which includes general production-distribution characteristics.