Publisher's Synopsis
This introductory text on designing real-time systems is intended for courses in operating systems, as well as a useful source of information for computer scientists interested in software engineering, computer organization and architecture or telecommunications. It includes essential material for the axiomatic approach, the application-oriented approach and the system-wide analysis approach.