booklover1的博客

- Operating Systems and Real-Time Kernels - An Introduction to Real-Time Linux - Application Case Studies - Real-Time Linux Implementation Considerations - Sources of Real-Time Linux

It outlines the characteristics of real-time systems, describes the role of software design in real-time system development, surveys and compares some software design methods for real-time systems, and outlines techniques for the verification and validation of real-time designs.

Real-time Systems, Specification, Verification and Analysis Contents : 1 Time and Real-time 2 Fixed Priority Scheduling – ASimpleModel 3 Advanced Fixed Priority Scheduling 4 Dynamic Priority Scheduling 5 Assertional Specification and Verification 6 Specification and Verification in Timed CSP 7 Specification and Verification in DC 8 Real-time Systems and Fault-tolerance