摘要:

The need is argued for a rigorous and general theory of structured programming as a basis for improving software quality. Formal graph theoretic methods are developed which allow the structural modelling, metrication and reconstruction of sequential programs in terms of precisely defined general sets of basic control structures. Throughout, concepts are illustrated by examples based on actual Basic and Pascal text.

DOI:10.1049/sm.1985.0002

出版商:IEE    

年代:1985

数据来源: IET

摘要:

The paper describes the design and operation of a microprocessor-based direct memory access data simulator for monitoring the performance of an Ethernet node. The node hardware is based on recently available special-purpose VLSI devices and has been designed to permit the transmission of packetised data and speech at a rate of 10 Mbits/s. An example of the benefit of using such a design tool in time-critical applications is given. It is concluded that such a simulator is an important development aid in the design of low-cost Ethernet hardware.

DOI:10.1049/sm.1985.0003

出版商:IEE    

年代:1985

数据来源: IET

摘要:

The IEEE 488 bus is fast becoming the data communications standard in instrumentation industries. A system developed at Cranfield Institute of Technology allows a DEC LSI-11, a Texas Instruments TMS 9900 based microcomputer and two KIM-1 hobbycomputers to be linked in a mini-network mode. This system is the subject of the paper. To detect possible data transmission errors a number of methods are considered and the checksum method is implemented. In the LSI-11 microcomputer data transactions for the two protocols, software polling and interrupt, are demonstrated. The hardware used to construct the interfaces is fully detailed and the logic of the software is described.

DOI:10.1049/sm.1985.0004

出版商:IEE    

年代:1985

数据来源: IET