Real-time systems : implementation of industrial computerised process automation / Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz [and others]
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
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
Bibliography
Includes bibliographical references (pages 335-344) and index