Using the case-study of a companion paper, the implementation of the language CYBA-L on a direct-shared-memory multimicroprocessor, CYBA-M, is described. A formal implementation approach based on the use of Petri-nets, which are executed directly, is used to produce a system which eliminates the need for message-passing primitives between processes, while still maintaining security of communication. A formal analysis of the behaviour of the system establishes its correctness
{"title":"Real-time control including concurrency. Part 2: Implementation","authors":"A. Munro, E. Dagless","doi":"10.1049/sm.1982.0027","DOIUrl":"https://doi.org/10.1049/sm.1982.0027","url":null,"abstract":"Using the case-study of a companion paper, the implementation of the language CYBA-L on a direct-shared-memory multimicroprocessor, CYBA-M, is described. A formal implementation approach based on the use of Petri-nets, which are executed directly, is used to produce a system which eliminates the need for message-passing primitives between processes, while still maintaining security of communication. A formal analysis of the behaviour of the system establishes its correctness","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114756119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The paper describes a methodology for the implementation of structured, networking software. The particular communication protocol to be implemented is first defined in the form of an extended event/state-transition table. This is effectively a tabular representation of the state transitions associated with the protocol but extended to include the corresponding actions to be performed at each transition. This naturally leads to a precise and readily understood definition of the protocol which can readily be implemented using a structured procedural language. As an example of the use of the methodology, the paper also describes the implementation details of a networking package for a small floppy-disc-based single-user computer system based on the X25 standard protocol
{"title":"Methodology for implementation of structured networking software","authors":"F. Halsall, A. Al-jaff","doi":"10.1049/sm.1982.0014","DOIUrl":"https://doi.org/10.1049/sm.1982.0014","url":null,"abstract":"The paper describes a methodology for the implementation of structured, networking software. The particular communication protocol to be implemented is first defined in the form of an extended event/state-transition table. This is effectively a tabular representation of the state transitions associated with the protocol but extended to include the corresponding actions to be performed at each transition. This naturally leads to a precise and readily understood definition of the protocol which can readily be implemented using a structured procedural language. As an example of the use of the methodology, the paper also describes the implementation details of a networking package for a small floppy-disc-based single-user computer system based on the X25 standard protocol","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120960125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The paper is concerned with an investigation into the role of the CCITT standard protocol X25 in a local area network environment. The paper first describes a suitable topology for such networks, comprising a high-level network incorporating an X25-based packet-switching exchange. The design and implementation details of a multiple processor packet switch are then described and performance details of the implemented system are presented
{"title":"Prototype x25 exchange for use in local area networks","authors":"F. Halsall, J. Ruela","doi":"10.1049/SM.1982.0015","DOIUrl":"https://doi.org/10.1049/SM.1982.0015","url":null,"abstract":"The paper is concerned with an investigation into the role of the CCITT standard protocol X25 in a local area network environment. The paper first describes a suitable topology for such networks, comprising a high-level network incorporating an X25-based packet-switching exchange. The design and implementation details of a multiple processor packet switch are then described and performance details of the implemented system are presented","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129732845","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Software engineers and the iee","authors":"R. W. Sutton","doi":"10.1049/sm.1982.0022","DOIUrl":"https://doi.org/10.1049/sm.1982.0022","url":null,"abstract":"","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122354836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mit/Acm conference on functional programming languages and computer architecture","authors":"R. Sleep","doi":"10.1049/sm.1982.0005","DOIUrl":"https://doi.org/10.1049/sm.1982.0005","url":null,"abstract":"","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116831341","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Microprocessor hardware and software is usually commissioned with the aid of a dedicated support tool, be it a ?universal? or manufacturer-specific development system. The paper outlines a different support facility for microprocessors based on a general-purpose host and a star network of microprocessor satellites. The host-satellite configuration is described, together with a suitable structure for the satellites. Two levels of host-satellite interaction are then discussed: one facilitates the software development cycle only, while the second adds extensive run-time support by allowing each satellite access to host file systems and other resources. Finally we describe the generation of software tools such as cross-assemblers and cross-compilers, using examples from an existing system with a PDP-1 I/Unix host
{"title":"Host-satellite software tool for microcomputer systems","authors":"C. Corbett, I. Witten","doi":"10.1049/sm.1982.0002","DOIUrl":"https://doi.org/10.1049/sm.1982.0002","url":null,"abstract":"Microprocessor hardware and software is usually commissioned with the aid of a dedicated support tool, be it a ?universal? or manufacturer-specific development system. The paper outlines a different support facility for microprocessors based on a general-purpose host and a star network of microprocessor satellites. The host-satellite configuration is described, together with a suitable structure for the satellites. Two levels of host-satellite interaction are then discussed: one facilitates the software development cycle only, while the second adds extensive run-time support by allowing each satellite access to host file systems and other resources. Finally we describe the generation of software tools such as cross-assemblers and cross-compilers, using examples from an existing system with a PDP-1 I/Unix host","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126861025","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The paper describes a multiprocessor software debugging facility available on the UMIST multimicroprocessor research system. Design considerations and concepts not found in uniprocessor debugging systems are described
{"title":"Emu: a multiprocessor software debugging tool","authors":"P. C. Birkimsher","doi":"10.1049/sm.1982.0003","DOIUrl":"https://doi.org/10.1049/sm.1982.0003","url":null,"abstract":"The paper describes a multiprocessor software debugging facility available on the UMIST multimicroprocessor research system. Design considerations and concepts not found in uniprocessor debugging systems are described","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132694470","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The paper describes a software package designed to provide operator communication with a realtime digital controller. The structure of the program gives priority to the execution of the control algorithm, while the communication routines run in a time shared manner as a background task. The communication package can be used by the control algorithm itself to signal faults or error conditions to the operator, and provides an automatic method of fault logging. Operator intervention can be initiated from a keyboard or from a special-purpose operator console. The system has been designed and built round a Texas Instruments TI9900 microprocessor-based controller, although the package could be adapted for use with other processors. The total memory requirement of the present implementation is under 2K words
{"title":"Time-shared communications software for real-time digital controllers","authors":"C. Preece, T. R. Stewart","doi":"10.1049/sm.1981.0003","DOIUrl":"https://doi.org/10.1049/sm.1981.0003","url":null,"abstract":"The paper describes a software package designed to provide operator communication with a realtime digital controller. The structure of the program gives priority to the execution of the control algorithm, while the communication routines run in a time shared manner as a background task. The communication package can be used by the control algorithm itself to signal faults or error conditions to the operator, and provides an automatic method of fault logging. Operator intervention can be initiated from a keyboard or from a special-purpose operator console. The system has been designed and built round a Texas Instruments TI9900 microprocessor-based controller, although the package could be adapted for use with other processors. The total memory requirement of the present implementation is under 2K words","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115674004","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A teletext server is defined as a system that interfaces with a local computer network and handles requests for pages of broadcast teletext information. Some hardware and software aspects of a microprocessor based implementation of a teletext server are discussed, including a description of how it may be made compatible with a typical computer message forwarding system. The paper includes some discussion on the possibilities that arise when a teletext server is combined with a simple information retrieval system
{"title":"Teletext server for computer networks","authors":"F. Hanna, C. J. Wakeman","doi":"10.1049/sm.1981.0004","DOIUrl":"https://doi.org/10.1049/sm.1981.0004","url":null,"abstract":"A teletext server is defined as a system that interfaces with a local computer network and handles requests for pages of broadcast teletext information. Some hardware and software aspects of a microprocessor based implementation of a teletext server are discussed, including a description of how it may be made compatible with a typical computer message forwarding system. The paper includes some discussion on the possibilities that arise when a teletext server is combined with a simple information retrieval system","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126060999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：