Real-time systems : implementation of industrial computerised process automation /
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...
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Group Author: | |
Published: |
World Scientific Pub. Co.,
|
Publisher Address: | Singapore ; River Edge, N.J. : |
Publication Dates: | 1992. |
Literature type: | eBook |
Language: | English |
Subjects: | |
Online Access: |
http://www.worldscientific.com/worldscibooks/10.1142/1740#t=toc |
Summary: |
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. |
Carrier Form: | 1 online resource (xxiv,353pages) : illustrations |
Bibliography: | Includes bibliographical references (pages 335-344) and index. |
ISBN: | 9789812812469 (electronic bk.) |
CLC: | TP274 |
Contents: | 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. |