This paper presents the design and implementation of an intensive curriculum on embedded software design for university or college graduates of engineering background, who are seeking job opportunities in developing s...
详细信息
ISBN:
(纸本)9780769534343
This paper presents the design and implementation of an intensive curriculum on embedded software design for university or college graduates of engineering background, who are seeking job opportunities in developing software for embedded system products. It is part of a government-conducted project intending to resolve the shortage of embedded software engineers in SoC (System-on-Chip) and related industry. In order to balance among the required expertise in developing embedded software, background diversity of the enrolled students, and the 300-hour limit on Iota;course hours imposed by the project, the curriculum is designed towards delivering ready-to-use skills and aimed at establishing a solid common ground as required by embedded software engineers. The curriculum is composed of 9 courses which are divided into foundation modules, core modules, and practicing modules. More than 75% of the students were employed to work in embedded software and related industry within 6 months after completing this curriculum. This curriculum, although it has its limitation, demonstrates an effective alternative to supplying industry with trained manpower of embedded software.
Block tridiagonal systems of linear equations arise in a wide variety of scientific and engineering applications. Recursive doubling algorithm is a well-known prefix computation-based numerical algorithm that requires...
详细信息
ISBN:
(纸本)9780769552071
Block tridiagonal systems of linear equations arise in a wide variety of scientific and engineering applications. Recursive doubling algorithm is a well-known prefix computation-based numerical algorithm that requires O(M-3 (N/P + logP)) work to compute the solution of a block tridiagonal system with N block rows and block size M on P processors. In real-world applications, solutions of tridiagonal systems are most often sought with multiple, often hundreds and thousands, of different right hand sides but with the same tridiagonal matrix. Here, we show that a recursive doubling algorithm is sub-optimal when computing solutions of block tridiagonal systems with multiple right hand sides and present a novel algorithm, called the accelerated recursive doubling algorithm, that delivers O(R) improvement when solving block tridiagonal systems with R distinct right hand sides. Since R is typically similar to 10(2) - 10(4), this improvement translates to very significant speedups in practice. Detailed complexity analyses of the new algorithm with empirical confirmation of runtime improvements are presented. To the best of our knowledge, this algorithm has not been reported before in the literature.
Composition represents today one of the most challenging approach to design complex softwaresystems, especially in distributed environments. While two different views (in time and in space) are considered by research...
详细信息
ISBN:
(纸本)9781424416936
Composition represents today one of the most challenging approach to design complex softwaresystems, especially in distributed environments. While two different views (in time and in space) are considered by researchers to compose applications, we aim at applying these two views in an integrated approach. In particular, we believe that large-scale composition in an open world is simplified by using composition in time, whereas, in the closed environment of a cluster, composition in space is more effective. In the paper, we propose the integration of a workflow engine with ProActive objects to support together the two kinds of composition at different scale-level. The paper shows the first results of this integration and highlights the plan for achieving a stronger integration with the use of GCM components.
Due to the deficiencies of prior modeling methods of systems of boilers in parallel operation through a common manifold, in this article we use simplified approximate distributed modeling based on the compartmentaliza...
详细信息
Due to the deficiencies of prior modeling methods of systems of boilers in parallel operation through a common manifold, in this article we use simplified approximate distributed modeling based on the compartmentalization and combination of the manifold. First, a principle is established to plot out the manifold into some basic pipe sections between each pair of source/sink points. Second, a simplified approximate distributed decoupled transfer function matrix model without steady errors is built for each pipe section. Finally, a smooth joint arithmetic is adopted to combine all the conterminous subsections of the pipe section with boilers/turbines at its ends into a whole system model. This method can decrease the size of the equipment and, therefore, makes it easier to model larger systems. The model presents more distributed characteristics and fits well in control system simulating. Some experiments have been done with favorable results to prove the validity of the method.
The system requirements of space on-board computer necessary to realize not only high reliability but also low cost are discussed. An architecture and high assurance timing synchronization technology that meet the req...
详细信息
ISBN:
(纸本)0769517692
The system requirements of space on-board computer necessary to realize not only high reliability but also low cost are discussed. An architecture and high assurance timing synchronization technology that meet the requirements are proposed.
Along with the rapid development of parallel computing technology and the popularity of Beowulf cluster system, the scalability of parallel algorithm-machine combinations, which measures the capacity of a parallel alg...
详细信息
ISBN:
(纸本)9780769541105
Along with the rapid development of parallel computing technology and the popularity of Beowulf cluster system, the scalability of parallel algorithm-machine combinations, which measures the capacity of a parallel algorithm to effectively utilize an increasing number of processors, becomes more and more important. This ratio of parallel overhead to computation is reviewed in this paper, the merit and deficiencies of this metric are pointed out. Then in order to apply the distributedparallel computation environment based on Beowulf cluster it is improved, obtain the new extensible function which reflects the scalability of distributedparallelsystems more directly and precisely when the size of machines and the scale of problems are extending in the environment of Beowulf cluster. Finally, the new metric is used to analyze and prove the scalability of parallel algorithms and Beowulf cluster.
There has been an increasing emphasis on formality in software system specification in the last few years. A number of standards bodies are recommending the use of formal notations for specifying softwaresystems. Par...
详细信息
There has been an increasing emphasis on formality in software system specification in the last few years. A number of standards bodies are recommending the use of formal notations for specifying softwaresystems. parallel and distributedsystems have their own complex features such as: the concurrent interactions between various system components;the reactive nature of the systems;various message passing schemes between system components. Object-Z is an extension to the Z language specifically to facilitate specification in an object-oriented style. Because parallel and distributedsystems are typically complex systems, the extra structuring afforded by the various Object-Z modelling constructs (i.e. the class, object containment constructs, and various composite operation expressions) enables the various hierarchical relationships and the communication between system components to be succinctly specified. Object-Z history invariants allow system temporal properties to be specified as well. In this paper, the use of Object-Z in the specification of parallel and distributedsystems is demonstrated by presenting a case study based on a multi-lift system. To enhance the understandability of the formal model, OMT notation is used to grasp the static structure of the system, and a finite state machine diagram is used to highlight the system behaviour.
The term resiliency has been used in many fields like child psychology, ecology, business, and several others, with the common meaning of expressing the ability to successfully accommodate unforeseen environmental per...
详细信息
ISBN:
(纸本)9781424437511
The term resiliency has been used in many fields like child psychology, ecology, business, and several others, with the common meaning of expressing the ability to successfully accommodate unforeseen environmental perturbations or disturbances. The adjective resilient has been in use for decades in the field of dependable computing systems however essentially as a synonym of fault-tolerant, thus generally ignoring the unexpected aspect of the phenomena the systems may have to face. These phenomena become of primary relevance when moving to systems like the future large, networked, evolving systems constituting complex information infrastructures - perhaps involving everything from super-computers and huge server "farms" to myriads of small mobile computers and tiny embedded devices, with humans being central part of the operation of such systems. Such systems are in fact the dawning of the ubiquitous systems that will support Ambient Intelligence. With such ubiquitous systems, what is at stake is to maintain dependability, i.e., the ability to deliver service that can justifiably be trusted, in spite of continuous changes. Therefore the term resilience and resilient computing can be applied to the design of ubiquitous systems and defined as the search for the following property: the persistence of service delivery that can justifiably be trusted, when facing changes. Changes may be of different nature, with different prospect and different timing. Therefore the design of ubiquitous systems requires the mastering of many, often separated, engineering disciplines that span from advanced probability to logic, from human factors to cryptology and information security and to management of large projects. From an educational point of view, very few, if any, Universities are offering a comprehensive and methodical track that is able to provide students with a sufficient preparation that makes them able to cope with the challenges posed by the design of ubiquitous systems.
TOP-C is a task-oriented parallel C interface. It presents a master-slave task architecture that greatly eases the parallelization of code. It is intended for applications where a compiler would have difficulty recogn...
详细信息
ISBN:
(纸本)0818675829
TOP-C is a task-oriented parallel C interface. It presents a master-slave task architecture that greatly eases the parallelization of code. It is intended for applications where a compiler would have difficulty recognizing opportunities for data-parallelism. The model has been implemented for both shared memory processors and networks of workstations. There is also a sequential version useful during development, which runs the same application code. Ease-of-use has been a strong motivation behind its design. For this reason, TOP-C is organized in a SPMD style, with one primary subroutine call to invoke it. Its main features are: (a) task-parallelism, (b) a single shared, global data structure, and (c) restricted master-slave communication.
software Defined Networking(SDN) is a novel network architecture proposed by Stanford in 2008, which decouples control plane and data plane separately. SDN comes with logically centralized view of the whole network st...
详细信息
ISBN:
(纸本)9781538637906
software Defined Networking(SDN) is a novel network architecture proposed by Stanford in 2008, which decouples control plane and data plane separately. SDN comes with logically centralized view of the whole network status and flexible control of packet switching, providing more possibilities of manipulating network in large-scale cloud systems. Scheduling algorithms impact the network performance significantly, especially for SDN-based cluster systems. However, finding an appropriate scheduling algorithm for heterogeneous network environments is an NP problem, where Quality-of-Service(QoS) needs to be ensured efficiently in these systems. Existing solutions rarely take into account of fine-grained bandwidth information and the lack of global network information also reasons why bandwidth is not widely used in scheduling. To address this problem, we proposed a new scheduling approach called BAHS, which is a comprehensive scheduling approach built in SDN environment. The main idea of BAHS is choosing proper tasks and their corresponding paths with the lowest interference. To estimate potential path conflicts, BAHS incorporates the state-of-the-art solution such as Dynamic Online Routing Algorithm(DORA). To demonstrate the effectiveness of our proposed approach, we conduct several simulations based on Mininet. Compared to previous approaches, BAHS improves the completion time and local rate of all tasks with QoS guarantee by up to 14.49% and 12.76%, respectively.
暂无评论