An exception-handling mechanism for communicating sequential processes is proposed and its verification rules are detailed. The proposed mechanism is directly expressible in the embedding programming language. Consequ...
详细信息
ISBN:
(纸本)0818620412
An exception-handling mechanism for communicating sequential processes is proposed and its verification rules are detailed. The proposed mechanism is directly expressible in the embedding programming language. Consequently, a program written in the extended programming language CSP+ can be mechanically translated into one written in CSP.
The development and management of an information system is described using examples taken from the steel and mining company Hoesch AG. A discussion of the information processing organization is followed by an examinat...
详细信息
ISBN:
(纸本)0818620412
The development and management of an information system is described using examples taken from the steel and mining company Hoesch AG. A discussion of the information processing organization is followed by an examination of standardization in information processing. The development of large-scale data-processing systems is assessed. Large-scale systems management is outlined.
The authors introduce control structures for parallel programming designed to facilitate the process of developing parallel programs. These basic control structures are listed, and are given intuitive sequential and p...
详细信息
ISBN:
(纸本)081862065X
The authors introduce control structures for parallel programming designed to facilitate the process of developing parallel programs. These basic control structures are listed, and are given intuitive sequential and parallel semantics. The parallel versions are then refined to display the power of the various variations that could be used. Named control structures which help synchronize the execution of the different parts of a program are also introduced. In particular, it is noted that the named control structure solves the DOACROSS problem.
This paper proposes an integration framework to develop real-time monitor programs based on software reuse. A custom-made real-time monitor program can be quickly built by integrating existing monitor programs in comm...
详细信息
ISBN:
(纸本)0818685972
This paper proposes an integration framework to develop real-time monitor programs based on software reuse. A custom-made real-time monitor program can be quickly built by integrating existing monitor programs in commercial operating systems, where limited real-time system and programming support is provided. We consider issues related to the software control, output re-processing, data age, and interactivities of program executions. The feasibility of this framework is demonstrated by the construction of an integration environment and a soft real-time monitor program consisting of the existing monitor programs PView, NT Task Manager NT Performance Monitor and NT File System Monitor in the Microsoft Windows operating systems. Our experimental results show that the incurred system overheads of this approach are very limited.
At israel Aircraft Industries (IAI), a variety of system development processes have been used to address the various phases of computer-based system (CBS) system development. These include methodologies and techniques...
详细信息
ISBN:
(纸本)081862065X
At israel Aircraft Industries (IAI), a variety of system development processes have been used to address the various phases of computer-based system (CBS) system development. These include methodologies and techniques for generation of the system specification, design and development of application code, and automatic generation of control code. A case study of the integration of these methodologies and techniques within a spiral development process is presented. The individual techniques and methodologies are described, and lessons learned from their application to an unmanned air vehicle system are documented.
Program comprehension accounts for a large portion of software development costs and effort. The academic literature contains mainly research on program comprehension of short code snippets, but comprehension at the s...
详细信息
Program comprehension accounts for a large portion of software development costs and effort. The academic literature contains mainly research on program comprehension of short code snippets, but comprehension at the system level is no less important. We claim that comprehending a software system is a distinct activity that differs from code comprehension. We interviewed experienced developers, architects, and managers in the software industry and open-source community, to uncover the meaning of program comprehension at the system level;later we conducted a survey to verify the findings. The interviews demonstrate, among other things, that system comprehension is largely detached from code and programming language, and includes scope that is not captured in the code. It focuses on one hand on the structure of the system, and on the other hand on the flows in the system, but less on the code itself. System comprehension is a continuous, unending, iterative process, which utilizes white-box and black-box approaches at different layers of the system depending on needs, and combines both bottom-up and top-down comprehension strategies. In summary, comprehending a system is not just comprehending the code at a larger scale, and it is not possible to comprehend large systems at the same level as comprehending code.
An environment for rapid prototyping and analysis of real-time systems is presented. The real-time system is specified using the language QUISAP and, from this specification, a model based on timed Petri nets for form...
详细信息
ISBN:
(纸本)0818620412
An environment for rapid prototyping and analysis of real-time systems is presented. The real-time system is specified using the language QUISAP and, from this specification, a model based on timed Petri nets for formal analysis and a prototype written in Ada for behavior analysis are built. Inappropriate handling of temporal constraints violations during prototype execution due to the Ada language can be improved with a new scheduling of tasks. Other improvements relate to the model of application objects, its definition, concurrency, and communication.
A generalized logical model for CASE tools, which is designed as a 'methodology generator' for system development, is presented. The model is applied using the SuitCASE workstation, which enables all parties i...
详细信息
ISBN:
(纸本)0818620412
A generalized logical model for CASE tools, which is designed as a 'methodology generator' for system development, is presented. The model is applied using the SuitCASE workstation, which enables all parties involved in system development (organizations, computer units, software houses, consultants, project managers, professional training institutes) to computerize development methodologies and to build up a set of computerized standards for supporting all life-cycle phases. During a one-year trial period, about 50 projects were implemented with the help of the software, within the framework of system analysis courses. It soon became clear that the model--which was initially constructed for learning purposes--is also effective for organizations, computer units, and software houses who are involved with developing information systems. Experience running the software during a two-year period demonstrated that the process of adapting to the product is simple and convenient. Full control of the operation kit of the product requires an investment of 4 hours of training and exercises. The most sophisticated operation kit requires 5 additional hours of training.
The area of Embedded systems (ES) has been gaining momentum in recent years. Such systems are used in a wide spectrum of application areas in industry. According to experts, the demand for knowledgeable and skilled ac...
详细信息
ISBN:
(纸本)0769523242
The area of Embedded systems (ES) has been gaining momentum in recent years. Such systems are used in a wide spectrum of application areas in industry. According to experts, the demand for knowledgeable and skilled academicians in the area of ES engineering (ESE) is expected to continue to grow. This led to increasing recognition by the industry and the academy of the need in designated curricula for training graduates in ESE. This paper describes a distinctive program for a B. Sc. degree in ESE, developed at the CS Department of Holon Academic Institute of Technology (HAIT). The proposed program essentially differs from the programs in traditional computing disciplines: it is multi-disciplinary in its nature and is intended to provide a broad integrative knowledge in a wide spectrum of areas required for ES development: hardware, software, real time, control and signal processing, and technology management. The program combines teaching theoretical principles with exposure to advanced technologies in order to prepare the graduates for successful integration into high-tech projects of the modern industry.
A temporal-causal framework that addresses specification, construction and evolution of concurrent and distributed systems in a unified way is presented. A pluralistic approach to specification is pursued, and three d...
详细信息
ISBN:
(纸本)0818620412
A temporal-causal framework that addresses specification, construction and evolution of concurrent and distributed systems in a unified way is presented. A pluralistic approach to specification is pursued, and three different views are used to capture the requirements of the system: informal, causal, temporal-causal. The temporal-causal view is based on the integration of two well-known techniques, temporal logic and Petri nets. A component specification language is used when specifying the individual components of the system and a system specification language deals with the structuring (configuration) of components. System evolution is briefly addressed.
暂无评论