During the last years, component based software development has become a well accepted softwareengineering paradigm within the automotive industry. This fact is not only reflected by upcoming development tools but al...
详细信息
During the last years, component based software development has become a well accepted softwareengineering paradigm within the automotive industry. This fact is not only reflected by upcoming development tools but also by newly arising automotive software standards. In component based softwareengineering, applications are built by assembling small reusable building blocks, the components. Typically more than one component implementation meets the application developer's requirements, so proper selection of the assembled components becomes a key element of the whole procurement and engineering process. This paper's contribution is twofold: First, a basic set of performance and dependability metrics and measures for automotive components is identified. Second, a unified benchmarking process is proposed, that allows an unambiguous comparison of distinct component implementations of a given component class.
We consider a geographically distributed request processing system composed of various organizations and their servers connected by the Internet. The latency a user observes is a sum of communication delays and the ti...
详细信息
Nowadays parallelsoftware system is very common and practical. However, it is difficult to test parallelsoftware, because the state space of parallelsoftware is very large. Therefore, a parallel model simplificatio...
详细信息
ISBN:
(纸本)9781538637913
Nowadays parallelsoftware system is very common and practical. However, it is difficult to test parallelsoftware, because the state space of parallelsoftware is very large. Therefore, a parallel model simplification method based on CPN (Color Petri Net) is proposed. Based on the original CPN, the CPN model for the tested behavior(Tested Behavior of CPN, TBoCPN) is proposed. The target of the test is described as the tested behavior. The relevant behavior is described as the behavior related to the tested behavior, then, the homogeneous concurrent branch group and the selection branch set are divided. Finally, the branches of the concurrent branch group and the selected branch set, which satisfied the condition of algorithm, are sequentially processed by the inhibitor arcs. The experiment shows that the reduction rate is at least 60%, and before and after the reduction, the full coverage test path generated by the tested behavior is not affected, thus proving that the method is an effective test method.
In this paper, a modification of classical n-version systems as discussed. We consider an adaptive approach which allows to model and manage different quality levels of the versions. This is achieved by introducing an...
详细信息
In this paper, a modification of classical n-version systems as discussed. We consider an adaptive approach which allows to model and manage different quality levels of the versions. This is achieved by introducing an individual weight factor to each version of the n-version system. This weight factor is then included in the voting procedure, i.e. the voting as based on a weighted counting. Additionally, the extension of this approach to component-based strategies for building the individual versions of the n-version system as considered.
iWARP is a state of the art high-speed connection-based RDMA networking technology for Ethernet networks to provide InfiniBand-like zero-copy and one-sided communication capabilities over Ethernet. Despite the benefit...
详细信息
ISBN:
(纸本)9780769543857
iWARP is a state of the art high-speed connection-based RDMA networking technology for Ethernet networks to provide InfiniBand-like zero-copy and one-sided communication capabilities over Ethernet. Despite the benefits offered by iWARP, many data center and web-based applications, such as stock-market trading and media-streaming applications, that rely on data gram-based semantics (mostly through UDP/IP) cannot take advantage of it because the iWARP standard is only defined over reliable, connection-oriented transports. This paper presents an RDMA model that functions over reliable and unreliable data grams. The ability to use data grams significantly expands the application space serviced by iWARP and can bring the scalability advantages of a connectionless transport to iWARP. In our previous work, we had developed an iWARP data gram solution using send/receive semantics showing excellent memory scalability and performance benefits over the current TCP-based iWARP. In this paper, we demonstrate an improved iWARP design that provides true RDMA semantics over data grams. Specifically, because traditional RDMA semantics do not map well to unreliable communication, we propose RDMA Write-Record, the first and the only method capable of supporting RDMA Write over both unreliable and reliable data grams. We demonstrate through a proof-of-concept software implementation that data gram-iWARP is feasible for real-world applications. Our proposed RDMA Write-Record method has been designed with data loss in mind and can provide superior performance under conditions of packet loss. It is shown through micro-benchmarks that by using RDMA capable data gram-iWARP a maximum of 256% increase in large message bandwidth and a maximum of 24.4% improvement in small message latency can be achieved over traditional iWARP. For application results we focus on streaming applications, showing a 24% improvement in memory usage and up to a 74% improvement in performance, although the proposed a
AVI's are playing important roles in quality inspection in the electronic industry. Most existing AVIs are single overhead camera and are incapable detecting 3D defects. This work presents solving the shortcoming ...
详细信息
ISBN:
(纸本)9780889866560
AVI's are playing important roles in quality inspection in the electronic industry. Most existing AVIs are single overhead camera and are incapable detecting 3D defects. This work presents solving the shortcoming stated using an angle fringe projection. This work was done using a noncollimated light source, whereas other researches on surface metrology usually used collimated light source. For precise surface or height measurements collimated light or laser source is commonly used. , this work has demonstrated a successful manipulation of the non-collimated light source in height measurement by calibration of the illumination angle and development of the reference table.
Non-blocking multithreaded architectures have been proposed as an effective means to overlap computation and communication in distributed memory systems. However, in these models, communication latency could only be h...
详细信息
Non-blocking multithreaded architectures have been proposed as an effective means to overlap computation and communication in distributed memory systems. However, in these models, communication latency could only be hidden from computation as long as there are enough ready threads. We describe our I-Structure software Cache (ISSC) run-time system, which takes advantage of the global data locality in these models without adding any specific hardware support. Our ISSC provides a communication latency reduction technique in non-blocking multithreaded architectures while maintaining the ability of tolerating communication latency. Our simulation results show that our ISSC run-time system dramatically decreases network traffic by caching remote requests and also achieves 70% to 95% improvement on the system performance (speedup).
In this paper, we propose, implement and analyze the performance of a reconfigurable sequential consistency algorithm (RSCA) using simulation. Extending the concepts of reconfigurable devices to the algorithmic level,...
详细信息
In this paper, we propose, implement and analyze the performance of a reconfigurable sequential consistency algorithm (RSCA) using simulation. Extending the concepts of reconfigurable devices to the algorithmic level, we model RSCA that is a reconfigurable sequential consistency algorithm for asynchronous distributedsystems that manage concurrent objects stating. As our main results, we present that, on average, the performance of RSCA was 36% better than the traditional sequential consistency algorithms. The main contributions of this paper are: the definition, proposal, implementation and performance analysis of RSCA.
Presents an original approach to automatic array alignment, the step in the hierarchical transformation system aimed at the efficient execution of shared memory programs on distributed memory machines. The array align...
详细信息
Presents an original approach to automatic array alignment, the step in the hierarchical transformation system aimed at the efficient execution of shared memory programs on distributed memory machines. The array alignment algorithm deals with a broad set of intra-dimension and inter-dimension alignment preferences, including offsets, strides, permutations, embeddings, and their combinations. The authors discuss the algorithm and the tests performed on the Connection Machine CM-2.< >
暂无评论