Real-Time Systems and Software
Emphasizing concepts and principles, this book provides readers with an accessible approach to software design. It presents several examples of commercial and research systems throughout the chapters to explain and justify the concepts. And the material presented is technically diverse, including discussions of state machines, logic, concurrent programming, and scheduling algorithms.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Software Engineering Issues
13 other sections not shown
aircraft airspace algorithm application architecture assertion Assume basic behavior blocks bounded buffer channel clock value command communications complete components computer system concurrency condition constraints critical sections crossing gate CRSMs cycle deadline defined denoted described end loop entry call error Esterel event example exception handling execution expression fault feasible schedule Figure function given handler handling hardware highest priority implementation input integer interface interrupt interval lock logic logical clock machine methods monitoring notation object occur operating system output paths periodic processes POSIX predictability priority ceiling protocol priority inheritance priority inversion problem processor produce programming language radar real-time computer real-time systems regular expressions requirements reset run-time schema semaphore sequence signal specified sporadic processes standard statecharts statement superstates synchronization task thread tick timeout timer tion transition units variables worst