As the incidence of faults in real Wireless Sensor Networks (WSNs) increases, fault injection is starting to be adopted to verify and validate their design choices. Following this recent trend, this paper presents a t...
详细信息
As the incidence of faults in real Wireless Sensor Networks (WSNs) increases, fault injection is starting to be adopted to verify and validate their design choices. Following this recent trend, this paper presents a tool, named AVR-INJECT, designed to automate the fault injection, and analysis of results, on WSN nodes. The tool emulates the injection of hardware faults, such as bit flips, acting via software at the assembly level. This allows to attain simplicity, while preserving the low level of abstraction needed to inject such faults. The potential of the tool is shown by using it to perform a large number of fault injection experiments, which allow to study the reaction to faults of real WSN software.
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and generation. The characterisation modul...
详细信息
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and generation. The characterisation module extracts key dataflow statistics of an arbitrary software program. Generation involves producing randomised circuits with desired statistics which are either the output of the characterisation module or directly generated by the user. Using the basic linear algebra subprograms (BLAS) library, Whetstone benchmark and LINPACK benchmark, it is demonstrated that SFP can be used to generate floating-point benchmarks with different user-specified properties as well as benchmarks that mimic real computational programs.
Adopting multiple processing units to enhance the computing capability or reduce the power consumption has been widely accepted for designing modern computing systems. Such configurations impose challenges on energy e...
详细信息
ISBN:
(纸本)9781424437511
Adopting multiple processing units to enhance the computing capability or reduce the power consumption has been widely accepted for designing modern computing systems. Such configurations impose challenges on energy efficiency in hardware and software implementations. This work targets power-aware and energy-efficient task partitioning and processing unit allocation for periodic real-time tasks on a platform with a library of applicable processing unit types. Each processing unit type has its own power consumption characteristics for maintaining its activeness and executing jobs. This paper proposes polynomial-time algorithms for energy-aware task partitioning and processing unit allocation. The proposed algorithms first decide how to assign tasks onto processing unit types to minimize the energy consumption, and then allocate processing units to fit the demands. The proposed algorithms for systems without limitation on the allocated processing units are shown with an (m + 1)-approximation factor, where mis the number of the available processing unit types. For systems with limitation on the number of the allocated processing units, the proposed algorithm is shown with bounded resource augmentation on the limited number of allocated units. Experimental results show that the proposed algorithms are effective for the minimization of the overall energy consumption.
Consider the following operation on an arbitrary positive number: if the number is even, divide it by two, and if the number is odd, triple it and add one. The Collatz conjecture assert that, starting from any positiv...
详细信息
Consider the following operation on an arbitrary positive number: if the number is even, divide it by two, and if the number is odd, triple it and add one. The Collatz conjecture assert that, starting from any positive number n, repeated iteration of the operations eventually produces the value 1. The main contribution of this paper is to present hardware-software cooperative approach to verify the Collatz conjecture. The key idea of our approach is to sieve numbers n that produces 1 using a circuit implemented on an FPGA. The numbers that fail to be verified by overflow are reported to the host PC. The host PC verifies those numbers using unlimited bits operations by software. We have implemented 24 coprocessors on the Vertex II family FPGA XC2V3000-4. The experimental results show that our hardware-software cooperative approach can verify 2.89 times 10 9 64-bit numbers per second.
This short panel position paper outlines the vision of modern development methods and supporting technologies for the development of modern and future real-time and embedded software applications. It is argued that th...
详细信息
This short panel position paper outlines the vision of modern development methods and supporting technologies for the development of modern and future real-time and embedded software applications. It is argued that these should be based on so-called model-based softwareengineering techniques and service-oriented principles.
There are document reproduction/distribution systems aimed for the copyright protection in the educational site. But, these systems are not always convenient and it is often hard to manage the systems for network admi...
详细信息
There are document reproduction/distribution systems aimed for the copyright protection in the educational site. But, these systems are not always convenient and it is often hard to manage the systems for network administrator. We apply a DACS Portal to the systems by using the network communication control on the client. On the DACS Scheme, a new distribution system is developed which displays static documents dynamically. The DACS Portal is applied to the copying/distribution system. It is shown that the proposed distribution system is easy to handle for users to get the documents medium. Further, the system is also easy to manage network for network administrator with no change of network configuration.
In our evolving computing environment with heterogenously distributed information systems, products are continuously modified and changed. During this process a change to one part will, in most cases, results in chang...
详细信息
In our evolving computing environment with heterogenously distributed information systems, products are continuously modified and changed. During this process a change to one part will, in most cases, results in changes to other parts. Therefore, in design and redesign for customization, predicting this change presents a significant challenge. Changes are required to fix faults or to improve or update products. This paper reports on the development of a change impact analysis factor adaptation model, a fault and failure assumption model and the implementation of a generic change propagation framework for evaluating and assessing utility service provisioning in a Grid service environment. While implementing the framework, data was collected for a period of 3 years which helped in predicting an immediate year. The obtained results from our pre- diction shows the framework, its associated models and Bayesian statistics as satisfying the criteria for a significant prediction accuracy in evaluating and assessing the effect of a change of service in a grid environment when compared to an unreported regression method.
The existence of redundancy is a serious problem in virtual enterprise in which a number of collaborating enterprises join together to manufacture and sell a class of product for a time-limited period. This paper prop...
详细信息
The existence of redundancy is a serious problem in virtual enterprise in which a number of collaborating enterprises join together to manufacture and sell a class of product for a time-limited period. This paper proposes a new approach for detection and elimination of redundancy in virtual enterprises; the proposed approach is based on workflow and uses Petri net for modeling and simulation of workflows. This paper also presents a working example as a proof of concept.
Most traditional distributed Shared Memory (DSM) systems support data sharing in multi-process applications. This paper proposed a Multi-threaded Multi-home DSM system (MM-DSM) to support both data sharing and computa...
详细信息
Most traditional distributed Shared Memory (DSM) systems support data sharing in multi-process applications. This paper proposed a Multi-threaded Multi-home DSM system (MM-DSM) to support both data sharing and computation synchronization in multi-threaded applications whose threads are grouped into bundles and distributed across multiple computers for parallel execution. Globally shared data are rearranged and assigned to different thread bundles based on their access patterns. As thread bundles move around, their hosting nodes will act as the homes of the associated data blocks to reduce communication cost. Programmers can still stick to the shared memory programming paradigm whereas data consistency, distributed lock, false sharing and multiple writes are taken care of by MM-DSM. Experimental results demonstrate its effectiveness and correctness.
Model-driven engineering (MDE), and its various forms (such as OMG's MDA: model-driven architecture) is a software development methodology focusing on creating models and abstractions for a specific domain. It aim...
详细信息
Model-driven engineering (MDE), and its various forms (such as OMG's MDA: model-driven architecture) is a software development methodology focusing on creating models and abstractions for a specific domain. It aims to increase productivity and avoid traditional SDLC problems by maximizing compatibility between systems, simplifying the process of design, and promoting understanding and communication between stakeholders and developers. Organic computing is a vision for a particular type of system, and considers what is to be delivered (self-management). MDE involves applied research into how to deliver systems. Both have the development of more effective systems as a high level objective, and so can be viewed as complementary.
暂无评论