共查询到20条相似文献,搜索用时 15 毫秒
1.
The increasing availability and use of supercomputers has highlighted the need for better software development techniques and tools. Supercomputers have traditionally been extensively used by engineers and scientists whose preference for Fortran is well established and recognized. However, in the parallel environment offered by the latest configurations of supercomputers, more sophisticated languages and tools are required. The present experiment is concerned with devising a syntax-directed integrated programming environment based on the language Actus, which enables a user to develop and debug programs before submitting them to an actual supercomputer. Actus is a high-level, Pascal-like language, with SIMD parallel processing features. It enables the user to ignore the idiosyncrasies of the chosen supercomputer by abstracting the parallel processing detail to a higher level. The editing, compilation and testing phases of program development are all integrated, providing a single consistent interface for all activities relating to program development. 相似文献
2.
Portable, fault-tolerant software development for networks of binary-incompatible machines continues to challenge engineers. Portable checkpoints-saved and recovered across these machines-offer a potential solution 相似文献
3.
《Information and Software Technology》2005,47(6):365-382
With the recent advancements in component-based software engineering, there is an increasing trend in developing applications for highly reliable and critical systems using pre-validated and reusable software components. As these applications are inherently complex and component-interactions are not straightforward, there is an immediate need for a methodology that could aid in composition of these reusable components ensuring the correctness of the composed software system. In this paper, we illustrate how the concepts of category theory can be utilized to develop component-based fault-tolerant software systems that encompass software components capable of tolerating particular types of faults. Our proposed framework for the development of a composite fault-tolerant program and verification of its overall correctness has been realized through a mechanized formal tool. 相似文献
4.
This paper proposes an efficient method to develop requirement specifications for Plant Control Software (PCSW) using software-component-based prototypes. Prior to this proposal, domain analyses were conducted on existing PCSWs, and their functions were classified into “similar functions” and “individual functions”. Then PCSW Software Components (PSC: PCSW Software Component, PSCs: PCSW Software Components) were developed to correspond to these functions. PSCs as parameter-style components were developed in order to satisfy the clients’ (we define clients as owners, managers and operators of plants) requirements. A support environment for developing requirement specifications was developed. The environment consists of the Prototype Development Tool (PDT), the Behavior Check Simulator (BCS) and the Requirement Specification Development Tool (RSDT). The method consists of four steps. In the first step, PDT is used to define the parameters to customize PSCs and to compose a PCSW prototype by setting these parameters to PSCs. In the second step, BCS is used to execute the composed PCSW prototype and check its behavior and relevancy against the clients’ expectations. In the third step, steps 1 and 2 are repeated until the behavior of the PCSW prototype satisfies the clients’ requirements. Finally, a requirement specification is developed from the PCSW prototype which fully reflects the clients’ requirements. In order to evaluate the proposed method, it has been applied in five development cases. A Requirement Coverage of 91%, a Requirement Revision Rate of 6%, a PSC Reuse Rate of 92% and a LOC Reuse Rate of 83% have been achieved. In addition, a reduction of 55% in the amount of time required to develop requirement specifications has been achieved. These results indicate that the proposed method has sufficient capability to develop an exhaustive and an adequate PCSW requirement specification. And the developed PSCs have sufficient functions and capability to compose PCSW prototypes, and the support environment is capable of shortening the time taken to develop requirement specifications. 相似文献
5.
《Advances in Engineering Software》2006,37(11):728-753
As computer simulation increasingly supports engineering design, the requirement for a computer software environment providing an integration platform for computational engineering software increases. A key component of an integrated environment is the use of computational engineering to assist and support solutions for complex design. In the present paper, an integrated software environment is demonstrated for multi-disciplinary computational modeling of structural and geotechnical problems. The SUT-DAM is designed in both popularity and functionality with the development of user-friendly pre- and post-processing software. Pre-processing software is used to create the model, generate an appropriate finite element grid, apply the appropriate boundary conditions, and view the total model. Post-processing provides visualization of the computed results. In SUT-DAM, a numerical model is developed based on a Lagrangian finite element formulation for large deformation dynamic analysis of saturated and unsaturated soils. An adaptive FEM strategy is used into the large displacement finite element formulation by employing an error estimator, adaptive mesh refinement, and data transfer operator. This consists in defining new appropriate finite element mesh within the updated, deformed geometry and interpolating (mapping) the pertinent variables from one mesh to another in order to continue the analysis. The SUT-DAM supports different yield criteria, including classical and advanced constitutive models, such as the Pastor–Zienkiewicz and cap plasticity models. The paper presents details of the environment and includes several examples of the integration of application software. 相似文献
6.
7.
Shrivastava S.K. McCue D.L. 《Parallel and Distributed Systems, IEEE Transactions on》1994,5(4):421-432
The object-oriented approach to system structuring has found widespread acceptance among designers and developers of robust computing systems. The authors propose a system structure for distributed programming systems that support persistent objects and describe how properties such as persistence and recoverability can be implemented. The proposed structure is modular, permitting easy exploitation of any distributed computing facilities provided by the underlying system. An existing system constructed according to the principles espoused here is examined to illustrate the practical utility of the proposed approach to system structuring 相似文献
8.
MPEG video compression is quite difficult to achieve in real time, and hardware solutions for this problem are expensive. We present a portable, fault-tolerant, parallel, MPEG-1 encoder implemented in software. We detail the implementation strategy for the encoder and give performance results on a network of workstations and a massively parallel processor. We also show that our encoder can efficiently adapt to fluctuating processing power typical in workstation networks. 相似文献
9.
This paper presents a partially adaptive fault-tolerant routing algorithm for hypercube multicomputers. The algorithm is tolerant to n-1 link and/or node faults for an n-cube. It makes routing decisions adaptively based on local failure information only. It is simple to implement and needs a very small message overhead. A comparison between the algorithm and a popular previous work is given 相似文献
10.
An IC test software supporting environment-ICTSSE,which supports the migration and simulation of test pattern programs on heterogeneous ATEs,is presented.ICTSSE is a subsystem of Test Development System (TeDS).It has the capabilities of verifying the IC‘s stimulus/response vectors and associated timing resources against the target ATE.The general data interchange format,which is the center of the TeDS,is built for test pattern migration. 相似文献
11.
《Computer》1990,23(1):75-77
The author reviews what has been accomplished in recent years to develop a standard environment. He examines the current state of affairs to determine why problems in meeting cost, schedule, and technical performance goals persist. He makes some suggestions for dealing with these problems and concludes that a standard for maintainable code and more skilled personnel are needed to deal with them effectively 相似文献
12.
The development of an operating system that is a central component of a fault-tolerant multiprocessor is described. The operating system, while relatively simple and small, supports multitasking and multiprocessing, as well as both self-diagnostics and cross-diagnostics for fault detection. In the event of a fault, the system permits rapid reconfiguration in a manner that retains processing for the highest-priority tasks. Since the hardware needed to provide fault tolerance is available when there are no faults, the operating system can utilize this excess capacity to accomplish lower-priority tasks during normal operation. This approach yields graceful degradation in response to faults in the system components 相似文献
13.
The HAGAR project is building a high-performance disk controller. It is an embedded system for which many hundreds of thousands of lines of embedded software will have to be developed concurrently with the development of the hardware. We found existing methods for embedded software development, such as simulation and remote cross development, to be inadequate for us. To meet our special needs, we developed a distributed development environment that combines and extends the capabilities of existing methods while fixing their drawbacks. Our environment is based on a processor-pool architecture, in which multiple hardware sets are pooled and managed systematically. It supports embedded software development for many programmers at different sites. It allows for the emulation of non-existing hardware adaptor cards and for the integration of embedded software testing with hardware simulation. The environment provides a single system image, hiding many hardware and configuration details from its users. From the perspective of the programmers, our environment makes developing embedded software for special hardware systems as easy as developing application programs for a UNIX workstation. 相似文献
14.
A software environment tailored to computer vision and image processing (CVIP) that focuses on how information about the CVIP problem domain can make the high-performance algorithms and the sophisticated algorithm techniques being designed by algorithm experts more readily available to CVIP researchers is presented. The environment consists of three principle components: DISC, Cloner, and Graph Matcher. DISC (dynamic intelligent scheduling and control) supports experimentation at the CVIP task level by creating a dynamic schedule from a user's specification of the algorithms that constitute a complex task. Cloner is aimed at the algorithm development process and is an interactive system that helps a user design new parallel algorithms by building on and modifying existing library algorithms. Graph Matcher performs the critical step of mapping new algorithms onto the target parallel architecture. Initial implementations of DISC and Graph Matcher have been completed, and work on Cloner is in progress 相似文献
15.
16.
17.
This paper presents an online diagnosable fault-tolerant system: N-unit t-fault tolerablesystem. The number of units N in the system can be either odd or even. The relationshipbetween N and t (the number of faulty units which can be tolerated) is presented. The approachof an optimum N- unit t-fault tolerable system is also given. As an example, a 4-unit 2-faulttolerable system is discussed. The reliability and mean time to failure of 4-unit 2-fault tolerablesystem are shown to be higher than 5MR (5-modular redundancy) and TMR (Triple ModulerRedundancy) system reliabilities. The amount of hardware components in a 4-unit t-faulttolerable system is simpler than 5MR. The complexity of switching circuit for N-unit t-faulttolerable system increases only linearly with respect of the number of modules. Our scheme isalso simpler than the hybrid redundancy system. Some theorems for the online diagnosis of N-unit t-fault systems are given and proved. 相似文献
18.
《Expert systems with applications》2000,18(3):165-184
Many researchers working in the field of knowledge engineering (KE) are now concerned with identifying a model suitable for developing knowledge-based software and, especially, expert systems (ES). It is important to find a standard model that meets current needs and incorporates techniques successfully implemented in SE (object- or event-orientation, etc.), which are also of keen interest in KE.In this paper, we present an iterative and incremental solution for developing ES, according to which the system domain is derived naturally from the problem domain, thus surmounting the problems now involved in the transition from the conceptual model of the problem to the formal model of the system.As compared with conventional development models, this solution encompasses five main tools, which are:• Use cases with their respective actor interaction diagrams and activity flow diagrams in order to specify the expert system.• The concept dictionary, which allows knowledge engineers to define, bound and select the meaning of each concept used by experts.• The static conceptual model, which provides an overview (concepts and their relations) of the expert system (ES) modelled.• The control and process model, which models the knowledge and metaknowledge used by the expert to attain a goal.• An object-oriented metamodel, which outputs the formal knowledge model, providing an efficient, reusable, extendible and easy-to-implement ES architecture.To demonstrate the robustness of this solution, we describe how it was applied to an ES that interprets the graphs output by an isokinetics machine for a blind person. An isokinetics machine assesses the strength of the muscles of the leg, arm, etc. 相似文献
19.
Mesrobian E. Skrzypek J. 《IEEE transactions on pattern analysis and machine intelligence》1992,18(7):575-589
UCLA-SFINX is a neural network simulation environment that enables users to simulate a wide variety of neural network models at various levels of abstraction. A network specification language enables users to construct arbitrary network structures. Small, structurally irregular networks can be modeled by explicitly defining each neuron and can be modeled by explicitly defining each neuron and corresponding connections. Very large networks with regular connectivity patterns can be implicitly specified using array constructs. Graphics support, based on X Windows System, is provided to visualize simulation results. Details of the simulation environment are described, and simulation examples are presented to demonstrate SFINX's capabilities 相似文献
20.
Kadamuddi D. Tsai J.J.P. 《IEEE transactions on pattern analysis and machine intelligence》2000,26(4):340-361
A variety of techniques and tools exist to parallelize software systems on different parallel architectures (SIMD, MIMD). With the advances in high-speed networks, there has been a dramatic increase in the number of client/server applications. A variety of client/server applications are deployed today, ranging from simple telnet sessions to complex electronic commerce transactions. Industry standard protocols, like Secure Socket Layer (SSL), Secure Electronic Transaction (SET), etc., are in use for ensuring privacy and integrity of data, as well as for authenticating the sender and the receiver during message passing. Consequently, a majority of applications using parallel processing techniques are becoming synchronization-centric, i.e., for every message transfer, the sender and receiver must synchronize. However, more effective techniques and tools are needed to automate the clustering of such synchronization-centric applications to extract parallelism. The authors present a new clustering algorithm to facilitate the parallelization of software systems in a multiprocessor environment. The new clustering algorithm achieves traditional clustering objectives (reduction in parallel execution time, communication cost, etc.). Additionally, our approach: 1) reduces the performance degradation caused by synchronizations, and 2) avoids deadlocks during clustering. The effectiveness of our approach is depicted with the help of simulation results 相似文献