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...

Full description

Saved in:
Bibliographic Details
Main Authors: Halang, Wolfgang A., 1951
Corporate Authors: World Scientific Firm
Group Author: Sacha, Krzysztof M
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 qual
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 --