1. Real-time computing and industrial process automation -- 2. Conceptual foundations -- 3. Digital control of continuous processes -- 4. Hardware architectures -- 5. Process interfacing -- 6. Communication networks -- 7. Real-time operating systems principles -- 8. Comparison of some real-time operating systems -- 9. High level real-time programming -- 10. Schedulability analysis -- 11. System and software life cycle -- 12. Software quality assurance -- 13. Computer aided software engineering tools -- 14. Formal specification and verification methods -- 15. Programmable logic controllers -- 16. Case studies and applications.
This book represents the first comprehensive text in English on real-time and embedded computing systems. It is addressed to engineering students of universities and polytechnics as well as to practitioners and provides the knowledge required for the implementation of industrial computerized process control and manufacturing automation systems. The book avoids mathematical treatment and supports the relevance of the concepts introduced by practical examples and case studies. Special emphasis is placed on a sound conceptual basis and on methodologies and tools for the development of high quality control software, since software dependability has been identified as the major problem area of computerized process automation
Real-time systems : implementation of industrial computerised process automation
1992
1 Online-Ressource (xxiv, 353 p)
ill
Campusweiter Zugriff (Universität Hannover) - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
Includes bibliographical references (p. 335-344) and index
Book
Electronic Resource
English
DDC: | 629.895 |
Computerised real-time saturation flow measurement for signalised traffic junctions
British Library Conference Proceedings | 2005
|Computerised creation of process sheets
Automotive engineering | 1986
|Computerised Terminal Systems - Technology Improves
British Library Online Contents | 1995
Computerised systems for catenary geometry assessment
British Library Conference Proceedings | 1998
|Computerised Inspection Methods
Emerald Group Publishing | 1983