检索结果-内蒙古大学图书馆

IFAC Proceedings Volumes 1983年第3期16卷 87-92页

作者： J.M. Dubery B. Wright Department of Computer Studies University of Hull UK

A debugging package for use in real-time with the programming language Modula is presented. The authors argue that such a package has some generality and portability in the context of modern high-level realtime languages. The facilities provided by the package, which are at a low level, and their implementation are described. These facilities include a journal, event counting, and event marking. The package has been in use for over one year and some conclusions from this use are presented. However, problems have arisen from the low level and flexible nature of the facilities and these are discussed. Finally, some execution times for the facilities are listed and ideas for future work given.

关键词： computer debugging computer programming real-time systems Modula programming languages

来源：评论

学校读者我要写书评

暂无评论

MINOS: Systems Reliability and Reuseable Software

引用

IFAC Proceedings Volumes 1983年第18期16卷 197-200页

作者： R.M.G. Perkin Systems Development Branch National Coal Board Mining Research and Development Establishment Burton on Trent Staffordshire UK

MINOS is an acronym of MINe Operating System. The rationale which led to the choice of MINOS as a standard computer software system within the UK National Coal Board is discussed. The current status of software engineering is related to the evolution of an engineering discipline, and the contribution of the reuseable software structure of MINOS to this evolution is studied. An overview of MINOS design considerations is given and applications at UK mines are listed. The reliability and operational safety of MINOS systems is excellent, and it is the design for reuseability which leads not only to reliability but to user confidence in newly installed systems.

关键词： computer software computer debugging computer applications process control standardisation mining

来源：评论

学校读者我要写书评

暂无评论

Some Methods and Tools for Real-Time Software Validation

引用

IFAC Proceedings Volumes 1983年第3期16卷 81-86页

作者： E.J. Dowling Ferranti Computer Systems Limited Ty Coch Way Cwmbran Gwent NP44 7XX UK

This paper briefly considers the kinds of problems encountered in the production of large, real-time systems. These are seen as being of two types : those intrinsic to the system and those connected with the methods and tools used during production. Approaches adopted within the Bracknell Division of Ferranti computer Systems Ltd are discussed, with emphasis on a set of testing tools that have been developed. Finally, the impact of Ada 1 is considered briefly.

关键词： computer testing computer debugging computer software

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Statistical Reliability Measures for a Program for the Limitation of Power Density in a Reactor Vessel

引用

IFAC Proceedings Volumes 1982年第7期15卷 399-402页

作者： M. Kersken B. Krzykacz Gesellschaft für Reaktorsicherheit (GRS) mbH Forschungsgelände D-8046 Garching Federal Republic of Germany

Errors within an assembler program for limiting the local power density in a reactor vessel are to be identified and corrected during two test phases. According to the special features for error detection of the testing facilities, the errors are classified, and an appropriate software reliability model is applied to each error class. These models allow prediction of certain reliability parameters from the observation of the test. Depending on the model employed these parameters can be e.g. the number of remaining errors, the probability for the occurance of an error within a given time interval, the meantime between successive errors. In this contribution references are only made to the number of remaining errors.

关键词： Coding errors computer debugging computer testing modelling nuclear reactors statistics

来源：评论

学校读者我要写书评

暂无评论

Perfection Tools for the Decentralized Control of Complex Industrial Processes

引用

IFAC Proceedings Volumes 1982年第9期15卷 65-71页

作者： P.L. Deschizeaux F. Cherif Laboratoire d’Automatique de Grenoble E.N.S.I.E.G. - I.N.P.G. B.P. 46 38402 - Saint-Martin-d’Hères France

The objective of this paper is to study the tools of on-line development for the decentralized control. In the first part we shall analyse the needs of a decentralized control : architecture of systems based on the geographical and hierarchical decomposition ; the stages of the “life” of an application. The second part of this paper will treat the important principles of the on-line perfection and some elementary operations : observation of modules, “prudent trial”, on-line data injection,.... The third part will develop a working example emanating from a particular high-level language of structuration (STR) permitting a simple and efficient realization of these different basic functions.

关键词： Process Control Digital Control Multiprocessing Systems computer debugging Structuration Languages

来源：评论

学校读者我要写书评

暂无评论

A debugging tool for real time software: The non repeated runs approach

引用

Annual Review in Automatic Programming 1981年第C期11卷 49-56页

作者： Tsuruta, S Fukuoka, K Miyamoto, S Mitsumori, S Systems Development Laboratory Hitachi Ltd. Ozenji Tama-ku Kawasakishi Kanagawaken Japan

This paper describes a tool for real time software which can present debugging information with no particular debugging runs or a low degree of repetition of debugging runs. This tool is useful for locating problems in later test phases or after the delivery of large scale real time software which cannot be developed by a single individual and which performs dead line control. Many Interface, timing, and performance errors often remain uncovered until later in the life cycles of large scale real time software. In order to determine these problems with conventional tools, it is necessary to repeat debugging runs almost in the same conditions as those when errors occur. Since such repetition of debugging runs is very expensive and because errors are sometimes covered again, it reduces productivity and reliability markedly. The tool proposed here avoids such shortcomings of conventional debugging tools. The tool concept is derived from experience with error analysis obtained during the development of train traffic control software, which is typical of large scale real time software. This tool is expected to considerably improve the productivity and reliability of large scale real time software. © 1981.

关键词： computer control computer debugging computer software tool non-reproducing error Process control responsibility location

来源：评论

学校读者我要写书评

暂无评论

A debugging Tool for Real Time Software: The Non Repeated Runs Approach

引用

IFAC Proceedings Volumes 1981年第3期14卷 49-56页

作者： S. Tsuruta K. Fukuoka S. Miyamoto S. Mitsumori Systems Development Laboratory Hitachi Ltd. Ozenji Tama-ku Kawasakishi Kanagawaken Japan

This paper describes a tool for real time software which can present debugging information with no particular debugging runs or a low degree of repetition of debugging runs. This tool is useful for locating problems in later test phases or after the delivery of large scale real time software which cannot be developed by a single individual and which performs dead line control. Many interface, timing, and performance errors often remain uncovered until later in the life cycles of large scale real time software. In order to determine these problems with conventional tools, it is necessary to repeat debugging runs almost in the same conditions as those when errors occur. Since such repetition of debugging runs is very expensive and because errors are sometimes covered again, it reduces productivity and reliability markedly. The tool proposed here avoids such shortcomings of conventional debugging tools. The tool concept is derived from experience with error analysis obtained during the development of train traffic control software, which is typical of large scale real time software. This tool is expected to considerably improve the productivity and reliability of large scale real time software.

关键词： Process control computer control computer software tool computer debugging non-reproducing error responsibility location

来源：评论

学校读者我要写书评

暂无评论

Experience Gained During the Assembly Phase of ESCOM's System Control and Load Despatch System

引用

IFAC Proceedings Volumes 1980年第8期13卷 271-278页

作者： F.H.D. Conradie Electricity Supply Commission Republic of South Africa

In reports of energy management systems the extent of customer involvement required and the problems associated with the compilation of a reasonably error-free data base and one-line displays are aspects which have received far too little attention. The effort involved in the building up of an energy management data base is firstly discussed and then quantified. The author makes suggestions on how the magnitude of this task can be reduced. This is followed by a discussion on the problems experienced so far with the operator load flow and associated programs. The basic causes of these problems are identified and some remedies are proposed on how such problems can be eliminated in future projects. Lastly the manpower required to be committed by the customer is discussed.

关键词： Power system control load despatching telecontrol computer debugging computer software computer control energy management systems

来源：评论

学校读者我要写书评

暂无评论

Inspection of Process computers for Nuclear Power Plants

引用

IFAC Proceedings Volumes 1979年第1期12卷 213-218页

作者： G. Glöe Technischer Überwachungs-Verein Norddeutschland e. V. Hamburg Federal Republic of Germany

Process control computers are used in nuclear power plants for very different tasks. Depending on the significance for safety the demands on faultless construction and reliability are more or less urgent. Those demands are the main topic of the paper. While analysing process control computer systems in nuclear power plants you will find, with respect to the usual separation between hardware and software, some more problems in the field of software than in the hardware. The reason will be discussed. Developments in computer technology may change this situation a little. There are strong efforts to simplify software production, and as a result it may become more easy to check software. Due to increasing integration and hectic changes it will be more and more difficult to obtain full range information about hardware, to process these informations and to verify them with reasonable expense and time.

关键词： Power station control nuclear plants computer testing computer debugging programming control safety licensing standards

来源：评论

学校读者我要写书评

暂无评论

Graphs of Data Flow Dependencies

引用

IFAC Proceedings Volumes 1979年第1期12卷 117-127页

作者： P. Puhr-Westerheide Gesellschaft für Reaktorsicherheit (GRS)mbH Forschungsgelände 8046 Garching Federal Republic of Germany

Data flow dependencies of a program are important for code-optimisation of compilers and for detecting errors in programs. The control flow of a program can be described by its control flow graph. The mutual dependencies of variables in a program can be represented by graphs, too. For each variable of a program a tree structure can be found that shows its dependency on other variables. Different kinds of tree structures depict the data flow dependencies more or less detailed, according to the more or less exhaustive use of the source code’s information. The most accurate representation of data flow by tree structures can be achieved for individual paths of a program only. A less accurate representation results from the set of unordered program statements. In this case it is not possible to distinguish whether a statement precedes another or not. By use of the static control flow graph, trees can be established without regard to branching conditions. With these trees distinctions can be made between different actual values of the same variable. The methods of building tree structures that show the data flow of programs are suitable for data flow analysis by hand as well as for automatic analysis.

关键词： Automatic testing data flow dependencies graph theory programming control computer debugging trees analyzing tools

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：