作者：
Xia YixingChen YaowuZhejiang Univ
Dept Instrumentat Sci & Engn Inst Adv Digital Technol & Instrumentat Hangzhou 310027 Peoples R China
The embedded digital instrumentations (EDI) softwaresystems become diversified and more complex with variable requirements. Component-based frameworks (CBF) which are built on object-oriented (OO) technologies provid...
详细信息
ISBN:
(纸本)0769529097
The embedded digital instrumentations (EDI) softwaresystems become diversified and more complex with variable requirements. Component-based frameworks (CBF) which are built on object-oriented (OO) technologies provide a better reuse. A CBF for EDI softwaresystems is presented in this paper, and it will be demonstrated that it is convenient to reuse the components and to construct an EDI application. The system architecture and framework design of multimedia instrumentations will be presented as an example. For a maintainable, flexible and extensible design, design patterns are employed in the components and framework development;Strategy, Observer, Command and Composite patterns are discussed and implemented in examples.
Some software metrics can be used to measure the program quality. Coupling metrics, as one type of quality metrics, are used in impact analysis and other maintenance tasks. In this work, we proposed new coupling metri...
详细信息
ISBN:
(纸本)0769529097
Some software metrics can be used to measure the program quality. Coupling metrics, as one type of quality metrics, are used in impact analysis and other maintenance tasks. In this work, we proposed new coupling metrics that measure the method calling relationships between classes. We also conducted experiments on five open-source systems to evaluate the effectiveness of the new measurement. The case study demonstrated that our proposed software metrics can complement the use of existing quality metrics to measure the softwaresystems.
Dependable distributed embedded systems (DDES) are being deployed widely in automobile industry over the world. These systems always post rigorous requirement for timing accuracy and reliability. Both hardware and sof...
详细信息
ISBN:
(纸本)0769529097
Dependable distributed embedded systems (DDES) are being deployed widely in automobile industry over the world. These systems always post rigorous requirement for timing accuracy and reliability. Both hardware andsoftware architecture have important effect on the system dependability. Adding or substitute for more reliable hardware could increase the system reliability moreover achieves faster system response. Apparently this would increase the manufacturing cost, while software could be a more cost-effective ways for providing support for dependable distributed embedded system development. The dependable distributed embedded system assessment platform (DDESAP) which based on vehicle control system provides testing and assessment support for various automobile dependable software. DDESAP evaluates the vehicle control hardware and operational environments. software architectures such as time-triggered, event-triggered, hybrid-triggered and other fault tolerant mechanisms for dependable distributed embedded systems were tested on DDESAP. A vehicle dynamic model, a motorway traffic model, and a driver model were developed for DDESAP. Simulation show these models comply with manufacturer and empirical data. DDESAP enables the evaluation of novel software architectures for safety-critical automobile control systems, like the fault tolerant adaptive cruise control systems (ACCS) presented.
The proceedings contain 12 papers. The topics discussed include: automated test data generation using search based softwareengineering;automated generation of test cases using model-driven architecture;automatic test...
详细信息
ISBN:
(纸本)0769529712
The proceedings contain 12 papers. The topics discussed include: automated test data generation using search based softwareengineering;automated generation of test cases using model-driven architecture;automatic test data generation for XML schema-based partition testing;towards a framework for differential unit testing of object-oriented programs;an improved approach to passive testing of FSM-based systems;coverage-based testing on embedded systems;mobiletest: a tool supporting automatic black box test for software on smart mobile devices;automating embedded software testing on an emulated target board;testing dynamic adaptation in distributedsystems;automatic testing of timeliness: a case study;and random generation of test inputs for implicitly defined subdomains.
P2P systems have suffered a lot from free riding problem i.e. some participants consume more resources than they contribute. In order to deal with this problem efficiently, an incentive model based on peer credit has ...
详细信息
ISBN:
(纸本)0769529097
P2P systems have suffered a lot from free riding problem i.e. some participants consume more resources than they contribute. In order to deal with this problem efficiently, an incentive model based on peer credit has been proposed Each peer in this model is a credit entity. Through introducing reward method to the model, peers will allocate resources according to the credits of requesting peers to maximize their own credits. A backtracking algorithm has been suggested to solve the issue of maximizing credit rewards. To avoid inflation of the credit, attenuation method is introduced The scheme how to apply the credit model in hybrid P2P networks has also been elaborated in this work. The experimental results show that the model can effectively control free riding and improve efficiency of the system.
The topological properties of Peer-to-Peer (P2P) overlay networks are critical factors that dominate the performance of these systems. The P2P networks need a topology with arbitrary size and degree, while the Kautz d...
详细信息
ISBN:
(纸本)0769529097
The topological properties of Peer-to-Peer (P2P) overlay networks are critical factors that dominate the performance of these systems. The P2P networks need a topology with arbitrary size and degree, while the Kautz digraph is a topology with good properties such as constant degree and optimal network diameter O(log(d) n). In this paper, We describe that KZCAN is a navel P2P network with constant expected degree. It is based on an overlay network preserving Kautz digraph connections dynamically, and on a distributed hash table (DHT) supporting efficient publish and search procedures. KZCAN shows that the DHT scheme with constant expected degree and can achieve log(d)(n/(d+1))+1 diameter. The routing length of KZCAN is shorter than CAN or D2B with the same degree when the P2P network is large scale.
Scalability and reliability are essential to VoD, a peer-to-peer based VoD architecture (RSVoD) is proposed in this paper. In the proposed architecture, assignable-size user buffer, algorithms of parents selection and...
详细信息
ISBN:
(纸本)0769529097
Scalability and reliability are essential to VoD, a peer-to-peer based VoD architecture (RSVoD) is proposed in this paper. In the proposed architecture, assignable-size user buffer, algorithms of parents selection and subtree migration are employed to ensure the reliability and scalability of system, finis avalanche problem is discussed also. The attributes and performance of RSVoD are analyzed in theory. Performance studies based on simulations are carried out also, and the results show that the presented architecture outperforms recently proposed similar architectures in a number of important performance metrics, such as the server stress, reliability, service capacity, time of failure, and soon.
How to, eliminate redundant communications is a key issue in developing, parallelizing compilers for distributed' memory, machines. An important way, to) improve the, performance of the code generated by paralleli...
详细信息
ISBN:
(纸本)0769529097
How to, eliminate redundant communications is a key issue in developing, parallelizing compilers for distributed' memory, machines. An important way, to) improve the, performance of the code generated by parallelizing compiler in distributed memory systems is to eliminate as much communications as possible. This paper investigates algorithms for generating communications code from previously published work and modifies them to eliminate redundant communications. Based on the mathematical model of symbolic coefficient linear inequalities the revisited formal specification of communications sets are presented and the corresponding improved algorithms are given. Experimental results indicate that the new algorithms can reduce communication messages and improve the performance of parallelized code significantly.
P2P communities, is a method for arranging large numbers of peers in a self configuring peer relationship based on declared attributes (or interests) of the participating peers. This method is expected to have an impa...
详细信息
ISBN:
(纸本)0769529097
P2P communities, is a method for arranging large numbers of peers in a self configuring peer relationship based on declared attributes (or interests) of the participating peers. This method is expected to have an impact in sharing of resources and pruning of search spaces based on the interests of the clients. Current peer-to-peer systems are targeted for information sharing, file storage, searching and indexing often using an overlay network. In this paper we expand the scope of peer-to-peer systems to include the concept of a business environment analogous to a "stock market". Our work focuses on efficient methods to discover trustworthy peers in the P2P network. We investigate the behavior of randomly created relationships formed during transaction between Vendors and Emptors. Discovering services on the fly is essential to being able to identify profitable oriented transactions. In addition, efficient Vendor/Emptor based algorithms allow us to manage quickly changing market trends. Moreover the inclusion of the concept of trading policies among business communities enhances the probability of mutual gain.
Computational workflows have recently emerged as an effective paradigm to manage large-scale distributed scientific computations. Workflow systems can automate many execution-level details and provide assistance in co...
详细信息
ISBN:
(纸本)9781595937155
Computational workflows have recently emerged as an effective paradigm to manage large-scale distributed scientific computations. Workflow systems can automate many execution-level details and provide assistance in composing and validating workflows. However, there is still a significant effort involved in creating these workflows since they often represent collaborative and exploratory science experiments. Therefore, current practice is effective in producing results but not cost-effective for widespread adoption. Drawing from our previous research in computational workflows across scientific disciplines, this paper analyzes the tasks and overall process for designing these workflows. We discuss softwareengineering methodologies and their relevance to creating workflows as a unique kind of software artifact. We also discuss our ongoing work to make workflow applications more cost effective and lower the barriers for widespread adoption of workflow technologies. Copyright 2007 ACM.
暂无评论