Timing Analysis of Real-Time Software
- List Price: $125.00
- Binding: Hardcover
- Publisher: Elsevier Science Ltd
- Publish date: 12/01/1994
Description:
Acknowledgements. Preface. Characteristics of Real-Time Software. Time Concepts in Embedded Software. A Review of Embedded Software Description Methods. The Q-Model. Representation of the Q-Model. Describing Systems with the Q-Model: Some Examples. Analysis of a System Described by the Q-Model. A Case Environment based on the Q-Model. A Case Study: Specifying a Communications Protocol. Appendices: A Brief Comparison of Petri-Nets and Q-Model. Proof of Propositions. The Q-Model and a First-Order Predicate Calculus. References. Index.
Expand description
Please Wait