摘要:

Recent developments in mathematics and computer science offer a sound, if unfamiliar, basis for the development of computer-controlled systems. The professional systems engineer should become as competent in these fields as he is (expected to be) in traditional mathematics and physics. The paper emphasises their application in the early phases of product development (requirements analysis and functional specification)-a prerequisite for their successful use in design and implementation. Some important aspects of 'embedded' computer systems, such as concurrency, have not been discussed because space does not allow an adequate introduction to their formal treatment

ISSN:1744-683X    

DOI:10.1049/sm.1982.0035

出版商:IEE    

年代:1982

数据来源: IET

摘要:

The control kernel software necessary to support the execution of the Ada intertask communication primitives on a distributed multiprocessor computer system is described. The control kernel software has been written in a high-level procedural language. It is therefore portable, and represents part of a run-time support environment for a concurrent programming language known as Martlet. Martlet combines the tasking features of Ada with the sequential features of the language Pascal. The choice between master-slave and separate autonomous kernels in a multiprocessor system is analysed, and the required data structures and associated routines used in an actual implemented system are described. Finally, the mechanism of mapping interrupts into external entry calls is presented

ISSN:1744-683X    

DOI:10.1049/sm.1982.0036

出版商:IEE    

年代:1982

数据来源: IET

摘要:

It is possible to identify various levels of sophistication at which microprocessor/microcomputer applications can take place, and for which supporting facilities are needed. It can also be argued that effective teaching in the microprocessor area must be on a largely ‘hands-on’ basis, and that application and teaching equipment needs are therefore substantially the same. The paper identifies the levels and suggests facilities in both hardware and software which are needed to support work at each level. The paper goes on to discuss particular facilities which have been developed to meet these needs. It will be seen that support at lower levels can be readily provided at modest cost and can form part of higher level support if and when it is needed, so that the complete facilities can be realised in an effective but economical manner. Typical costs at each level of support are given as a guide

ISSN:1744-683X    

DOI:10.1049/sm.1982.0037

出版商:IEE    

年代:1982

数据来源: IET