论文部分内容阅读
引言参考资料[1]和[2]叙述松鸡系统和松鸡交换。本文叙述松鸡转发设备如何处理电报信息,并与交换有关的发展概况。为实时系统生产的软件要求采用非常严密的方法,特别是涉及新的计算机结构的应用时,更是如此。主要问题是:(a)必要的说明;(b)好的软件设计;(c)提供有效的研制设备;(d)试验和证实设计的正确性。本文叙述的方法以过去的经验为基础,同时,完善上述各问题。
Introduction References [1] and [2] describe the grouse exchange and grouse exchange. This article describes how ghosting forwarding devices handle telegram information and exchange related developments. Very strict methods are required for software produced by real-time systems, especially when it comes to the application of new computer architectures. The main issues are: (a) the necessary clarification; (b) good software design; (c) the provision of efficient development equipment; and (d) the testing and verification of the correctness of the design. The method described in this article builds on past experience and at the same time improves upon each of these issues.