Real Time Programming 1983
Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983
- 122 pages
- English
- PDF
- Available on iOS & Android
Real Time Programming 1983
Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983
About This Book
Real Time Programming 1983 contains the proceedings of the 12th IFAC/IFIP Workshop held at Hatfield, UK on March 29-31, 1983. The book organizes the papers of the workshop into four categories: Programming Support Environments; Testing Real-Time Programs; Databases for Real-Time Systems; and Languages and Language Implementations. The papers on Programming Support Environments category cover application-oriented requirements specifications, configuration control, and design description languages of real-time programming. Papers on Databases for Real-Time Systems category talk about wide range of aspects of the problem in the system. Five papers on Testing Real-Time Programs category show importance of structure in producing software; principles in testing and reliability issues; use of separate computer for measuring and tracing real-time software; set of tools and methods for testing real-time software; and set of debugging facilities incorporated into the language Modula. The Languages and Language Implementations category explains the exception handling mechanisms provided by languages; performance of the run-time support to task management in ADA; and implementation of multi-tasking and inter-task message passing for Industrial Real-Time Basic.
Frequently asked questions
Information
Table of contents
- Front Cover
- Real Time Programming 1983
- Copyright Page
- Table of Contents
- Preface
- CHAPTER 1. A DATABASE ADMINISTRATION SUPPORT ENVIRONMENT
- CHAPTER 2. DATA-BASE MANAGEMENT IN A DISTRIBUTED PROCESS CONTROL SYSTEM
- CHAPTER 3. DATA BASES IN CIVIL ENGINEERING CONTROL AND RESEARCH
- CHAPTER 4. NORMALISATION IN ANOTHER CONTEXT
- CHAPTER 5. PCDB - A PROCESS CONTROL DATA BASE MANAGEMENT SYSTEM
- CHAPTER 6. DYNAMIC SYSTEM CONFIGURATION FOR DISTRIBUTED REAL-TIME SYSTEMS
- CHAPTER 7. SARS â A SYSTEM FOR APPLICATION ORIENTED REQUIREMENTS SPECIFICATION
- CHAPTER 8. IRTB - AN ALTERNATIVE TO REAL-TIME PROGRAMMING
- CHAPTER 9. RELIABILITY ISSUES IN A DEVELOPMENT OF A DEDICATED REAL TIME SYSTEM
- CHAPTER 10. A MAN-MACHINE INTERCOMMUNICATION FACILITY IN WELL-STRUCTURED CONCURRENT SYSTEMS
- CHAPTER 11. MONITORING OF REAL TIME SYSTEMS BY A SEPARATE PROCESSOR
- CHAPTER 12. SOME METHODS AND TOOLS FOR REAL-TIME SOFTWARE VALIDATION
- CHAPTER 13. A DEBUGGING PACKAGE FOR MODULA
- CHAPTER 14. EXCEPTION HANDLING CONSIDERED HARMFUL
- CHAPTER 15. MULTIPROCESSOR IMPLEMENTATIONS OF TASKING FACILITIES IN ADA
- CHAPTER 16. TOWARDS AN IMPLEMENTATION OF REAL-TIMEBASIC
- AUTHOR INDEX