Featuring a careful balance of theory and Practice, Alan Shaw's book equips readers with fundamental concepts, principles, and methods for specifying designing, and implementing real time computer systems. Coverage includes such key topics as software architectures, informal and formal specification methods, deterministic scheduling, execution time analysis, computer clocks and time services, real time programming languages, and operating systems.
The text provides readers with numerous opportunities to apply what they have learned. An appendix contains a comprehensive project on air traffic control, and exercises at the end of every section offer additional practical experience. the author also refers to many examples of commercial and research systems to explain and justify concepts.
Includes specification methods for requirements and designs, including tables, data flow diagrams;time logic, and state machines.
Covers principal software architectures, from cyclic executive, to object oriented, to standard process based.
Discusses methods for predicting program execution times.
Introduces modern languages, such as Ada and real time;time Java, and systems, such as real;time Unix and Posix.
An accompanying Web site (www.wiley.com/college/shaw) provides additional resources, tools, and links.