The paper presents experiences in implementing a software quality assurance plan in a highly diversified avionics organization, whose products, until recently, contained little or no stored program computational compo...
详细信息
The paper presents experiences in implementing a software quality assurance plan in a highly diversified avionics organization, whose products, until recently, contained little or no stored program computational components.
RTO (Real-Time Objects) is an object-based programming paradigm suited for Real-Time and, in particular, Hard-Real-Time applications. A Real-Time (RT) system must provide (with high probability) response times small i...
详细信息
RTO (Real-Time Objects) is an object-based programming paradigm suited for Real-Time and, in particular, Hard-Real-Time applications. A Real-Time (RT) system must provide (with high probability) response times small in comparison with the time constants of the environment. A Hard-Real-Time (HRT) system is a RT system which must also fulfill deterministic constraints on response times. The aim of RTO is to provide a test bed for the experimentation of concepts which are relevant in the RT area. Then it is focused on those dimensions of Object-Based language design which are tightly related to specific requirements of that area. This paper introduces the rationale for the basic choices of RTO.
The authors deal with the use of structured analysis just prior to system acceptance testing. Specifically, the drawing of data flow diagrams (DFDs) was done after integration testing. The DFDs provided a picture of t...
详细信息
The authors deal with the use of structured analysis just prior to system acceptance testing. Specifically, the drawing of data flow diagrams (DFDs) was done after integration testing. The DFDs provided a picture of the logical flow through the integrated system for thorough system acceptance testing. System test sets were derived from the flows in the DFDs. System test repeatability was enhanced by the matrix which flowed from the test sets.
By using new numerical methods it is possible to compute quickly and with a sufficient degree of accuracy complicated potential fields (electrostatic, thermostatic, magnetic fields, etc. ). The program system POT 123,...
详细信息
By using new numerical methods it is possible to compute quickly and with a sufficient degree of accuracy complicated potential fields (electrostatic, thermostatic, magnetic fields, etc. ). The program system POT 123, developed specially for such purposes by Siemens, employs the method of finite differences for solving the homogeneous Laplace equation used here. The author discusses the characteristics of the program and gives examples of application as well as results from his investigations into computation times.
作者:
Wegner, Lutz M.Univ Karlsruhe
Inst fuer Angewandte Informatik und Formale Beschreibungsverfahren Karlsruhe Univ Karlsruhe Inst fuer Angewandte Informatik und Formale Beschreibungsverfahren Karlsruhe West
A new algorithm based on Quicksort for sorting in place a distributed file in a message switching network is presented. The algorithmic aspects of the method are discussed and it is compared to other possible approach...
详细信息
A new algorithm based on Quicksort for sorting in place a distributed file in a message switching network is presented. The algorithmic aspects of the method are discussed and it is compared to other possible approaches. The sort is analyzed and is shown to require, on the average, O(M multiplied by (times) log(M)) messages and a total data traffic of O(N multiplied by (times) log(M)) records for a file of size N fragmented over M stations. Arguments for the performance one may expect in practice, where N is much larger than M, are given. They are supported by results from a sequential simulation.
Many programming languages for developing system software introduce built-in language facilities to describe the concurrent activities. They all center around the notion of the concurrent activity models and the relev...
详细信息
Many programming languages for developing system software introduce built-in language facilities to describe the concurrent activities. They all center around the notion of the concurrent activity models and the relevant synchronization facilities. These models should reflect the most fundamental and the most common properties about the concurrent activities. Unfortunately, they could hardly be brought into play in some particular situations, for example, the distributed computing situation. This paper discusses the development of a new approach to the discription of the concurrent activities. The basis of the approach is the CLUSTER 86, an object-oriented programming language which differs from other similar languages by its 'all-out-of-nothing' design philosophy.
The author discusses exactitude of programs, in particular two methods to achieve well-functioning and perfectible software: structured programming and the use of the so-called semaphors in multiprogramming, as first ...
详细信息
The author discusses exactitude of programs, in particular two methods to achieve well-functioning and perfectible software: structured programming and the use of the so-called semaphors in multiprogramming, as first proposed by Dijkstra.
暂无评论