Timing analysis of real-time software : a practical approach to the specification and design of real-time ... /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
Oxford, U.K. ; New York :
Pergamon,
1994.
|
| الطبعة: | 1st ed. |
| الموضوعات: |
جدول المحتويات:
- 1. Characteristics of Real-Time Software
- 2. Time Concepts in Embedded Software
- 3. A Review of Embedded Software Description Methods
- 4. The Q-Model
- 5. Representation of the Q-Model
- 6. Describing Systems with the Q-Model: Some Examples
- 7. Analysis of a System Described by the Q-Model
- 8. Towards A Case Environment Based on the Q-Model
- 9. A Case Study: Specifying a Communications Protocol
- App. A. A Brief Comparison of Petri-Nets and Q-Model
- App. B. Proofs of Propositions
- App. C. The Q-Model and a First-Order Predicate Calculus.