An architecture has been structured to map the distributed business logic for product engineering lifecycle. In this architecture, a commercial Computer-Aided Design (CAD) system and an innovative Computer-Aided Proce...
详细信息
An architecture has been structured to map the distributed business logic for product engineering lifecycle. In this architecture, a commercial Computer-Aided Design (CAD) system and an innovative Computer-Aided Process engineering (CAPE) system, which was developed by the author and commercialised by an Australian company, are distributedly integrated using VisiBroker's Common Object Request Broker Architecture (CORBA) as the middleware. The architecture, presented in this paper, provides a framework for the construction of a new and innovative distributed system to support distributed concurrent product engineering lifecycle.
In this paper we describe the development and verification of software for an automotive Brake-by-Wire System. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered...
详细信息
In this paper we describe the development and verification of software for an automotive Brake-by-Wire System. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The software of this computer is subject to a set of safety related requirements which must be verified. We have developed the software using synchronous software components based on the synchronous language ESTEREL. Many safety properties have been verified successfully and the software has been integrated in a prototype Brake-by-Wire system in a research car.
The paper introduces the concept of collective breakpoints and classifies the possible parallel breakpoints comparing their mechanisms. Based on the collective breakpoints the macrostep-by-macrostep execution mode has...
详细信息
The paper introduces the concept of collective breakpoints and classifies the possible parallel breakpoints comparing their mechanisms. Based on the collective breakpoints the macrostep-by-macrostep execution mode has been defined. After introducing the concept of the execution tree and meta-breakpoints the systemic debugging of message passing parallel programs is explained. The main features and distributed structure of DIWIDE, a macrostep debugger is described. The integration of DIWIDE into the GRADE and WINPAR parallel programming environments is outlined. An algorithm is shown how to generate automatically the collective breakpoints in the GRADE environment.
The ability to check whether the modeled system satisfies certain properties is a very important aspect in the software development process. Many object-oriented methods do not pay enough attention to the behavioral d...
详细信息
The ability to check whether the modeled system satisfies certain properties is a very important aspect in the software development process. Many object-oriented methods do not pay enough attention to the behavioral descriptions. Indeed, they mostly do not provide formally founded descriptions that can be checked automatically. This paper presents an integrated approach, consisting of formally founded description techniques, an expressive temporal logic for specifying properties, and a model checking mechanism for automatically checking whether some executions of the specified system satisfy the required properties.
In this paper we investigate features of a parallel object server when used as a data repository in a CASE tool. We argue that hierarchical structures of fine grained objects are typical for data used by CASE tools, w...
详细信息
In this paper we investigate features of a parallel object server when used as a data repository in a CASE tool. We argue that hierarchical structures of fine grained objects are typical for data used by CASE tools, we describe the construction of the server, and the implementation of the prototype. The presented results of our experiments concern the question how the speedup depends on the number of processors involved, the number of users working simultaneously, and the size of methods in classes.
In this contribution we introduce a light weight approach to support the development of parallel and distributedsoftwaresystems over the World Wide Web. Our approach considers a highly distributed development proces...
详细信息
In this contribution we introduce a light weight approach to support the development of parallel and distributedsoftwaresystems over the World Wide Web. Our approach considers a highly distributed development process by multiple collaborating agents, it covers architecture design and architecture analysis right to implementation generation and dynamic accommodation of evolutionary change. The foundation of our approach is an architecture description language which supports separation between the independent development of loosely coupled and distributedsoftware components containing multiple parallel control flows from the interconnection and configuration of such components. While the developer is provided with a local light weight front end tool for editing an architecture specification, a set of analysis tools are realized as back end services offered by specialized servers. These tools not only allow to check syntactic and semantic properties but also allow to assess a given architecture wrt. quantitative properties like performance.
Accurate channel analysis and communication dependence information is necessary for source code analysis tools to be useful in the concurrent specification and programming language domain. We present channel analysis ...
详细信息
Accurate channel analysis and communication dependence information is necessary for source code analysis tools to be useful in the concurrent specification and programming language domain. We present channel analysis along with an application thereof and describe its implications for the development and understanding of programs written in concurrent languages. We describe how communication dependences within a concurrent program can be computed and then used in combination with control and flow dependences to construct a representation that allows for efficient program slicing.
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong - often co...
详细信息
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong - often conflicting - requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution, high-performance, fault-tolerance, load balancing and security. The development of complex DMAs can benefit from the adoption of object design methods and distributed objects implementation technologies. The paper describes the use of two modeling approaches, based on the standard UML modeling language, and on the TRIO formal specification language, respectively. The problem of defining steps to move from the UML or TRIO specification to a CORBA IDL implementation is addressed too. An experimental distributed Video-on-Demand system is used throughout the paper as a case study.
This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived har...
详细信息
This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived hardware architecture of the simulation environment are described with respect to performance requirements. The communication architecture of the SEEDS simulator is based on the OMG's CORBA standard and the DIS simulation protocol. With the SEEDS prototype simulating airport ground-traffic, performance measurements evaluating critical design and implementation decisions are described. The main aspects of the performance analysis are the attained application performance using CORBA and DIS as communication middle-ware, and the scalability of the overall approach. The evaluation shows the appropriateness of the design of the simulation environment and the derived hard- and software architecture, which is flexible and open to further extensions. Moreover, the combination of CORBA and DIS provides a suited platform for distributed interactive simulation purposes because of the adequate performance, high scalability, and the high-level programming model which allows to rapidly develop and maintain complex distributed applications with high-performance requirements.
A general methodology based on softwareengineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a num...
详细信息
A general methodology based on softwareengineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a numerically intensive application in the domain of petrochemical exploration. The methodology does not assume the existence of detail design documentation for the sequential code. The methodology involves three basic phases: (1) reverse engineering;(2) parallel design;and (3) parallel implementation. The process iterates between phases two and three until the values of the performance metrics satisfy project requirements. In addition to the methodology itself, considerable detail related to the experiences and lessons learned in performing the case study are included.
暂无评论