Real-time system design

Part I: Real-Time Issues. Time Handling. Objects. Adding Time to Objects. Part II: Real-Time Applications. Real-Time System Life Cycle. Structured Design Approaches. Petri Net Models. Axiomatic Approaches. Language Support and Restrictions. Verification and Validation of Real-Time Software. Part III: Real-Time Operating Systems. Allocation and Scheduling. Verification of Schedulability. Resource Allocation. Communication. Part IV: Operating System Implementation. The Maruti Operating System. Operational Issues and Examples. Part V: Epilog. 1990 ISE 544pp