Description

This fully updated textbook deals with techniques relating to the use of embedded computers in complex engineering systems. The emphasis is on practical techniques for specifying, designing and implementing real-time computer control systems. It is suitable for advanced undergraduate and postgraduate courses and for practising engineers. An introduction to the practicalities of implementing control algorithms on a digital computer. Introduction to a range of methodologies for specifying and designing real-time systems : these include the Your don, MASCOT and PAISLey methodologies. Detailed consideration of concurrency problems and of multi-tasking features of real-time languages. Consideration of scheduling problems and real-time operating systems. An introduction to fault tolerance. In-text examples and end-of-chapter exercises. Introduction to Real-time Systems. Concepts of Computer Control. Computer Hardware Requirements for Real-time Applications. DDC Algorithms and Their Implementation. Languages for Real-time Applications. Operating Systems. Design of Real-time Systems ? General Introduction. Real-time System Development Methodologies ? 1. Real-time System Development Methodologies ? 2. Design Analysis. Dependability, Fault Detection and Fault Tolerance.

This fully updated textbook deals with techniques relating to the use of embedded computers in complex engineering systems. The emphasis is on practical techniques for specifying, designing and implementing real-time computer control systems. It is suitable for advanced undergraduate and postgraduate courses and for practising engineers. An introduction to the practicalities of implementing control algorithms on a digital computer. Introduction to a range of methodologies for specifying and designing real-time systems : these include the Your don, MASCOT and PAISLey methodologies. Detailed consideration of concurrency problems and of multi-tasking features of real-time languages. Consideration of scheduling problems...  Read More