Production and Stabilization of Real-Time Task Schedules
Journal of the ACM (JACM)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Communications of the ACM
Petri nets and speed independent design
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Requirements for real-time languages
Communications of the ACM
Operating system principles
Operating Systems Theory
Introduction to Switching Theory and Logical Design
Introduction to Switching Theory and Logical Design
The design of a multi-micro-computer system
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Automating the design of microprocessor-based real time control systems
DAC '76 Proceedings of the 13th Design Automation Conference
Automating the design of microprocessor-based real time control systems
DAC '76 Proceedings of the 13th Design Automation Conference
| Hi-index | 0.00 |
Many facets of Computer Science and associated technologies may be profitably viewed as dedicated real time control activities. Production of systems to exercise such control has been difficult and costly. An abstract model of the process of producing these systems is presented. The model indicates three areas of the design problem amenable to automation: 1) the selection and configuration of hardware; 2) the production of software; and 3) the selection of a monitor to maintain real time integrity of the entire system. The concept of hardware binding is introduced and it is shown that delaying the point in the design cycle where hardware is functionally bound allows a new approach to machine independence.This paper comprises two chapters of a larger work which developes an implementation-independent application-specification language and techniques to automate control system design. Such an automation system is intended to produce a hardware configuration listing and software which together define a complete dedicated real time controller. Development of this system is based on the model presented here and is an on-going design automation project at Lawrence Livermore Laboratory.