Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Autor Filip Thoen, Francky Catthooren Limba Engleză Hardback – 30 noi 1999
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 974.74 lei 6-8 săpt. | |
Springer Us – 13 oct 2012 | 974.74 lei 6-8 săpt. | |
Hardback (1) | 981.06 lei 6-8 săpt. | |
Springer Us – 30 noi 1999 | 981.06 lei 6-8 săpt. |
Preț: 981.06 lei
Preț vechi: 1226.32 lei
-20% Nou
Puncte Express: 1472
Preț estimativ în valută:
187.75€ • 195.03$ • 155.96£
187.75€ • 195.03$ • 155.96£
Carte tipărită la comandă
Livrare economică 01-15 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792377375
ISBN-10: 0792377370
Pagini: 438
Ilustrații: XV, 438 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.81 kg
Ediția:2000
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 0792377370
Pagini: 438
Ilustrații: XV, 438 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.81 kg
Ediția:2000
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1. Introduction.- 1. Systems-on-a-chip.- 2. Heterogeneous real-time embedded systems.- 3. Unified meta design flow for multi-media and telecom applications.- 4. Design methodology & CAD design support.- 5. Overview of the book.- 2. Related Work and Contemporary Approaches.- 1. Manual approach.- 2. Real-time operating systems.- 3. Processor architecture integration.- 4. Task concurrency management.- 5. Motivation for a new approach.- 3. System Representation Model.- 1. Model requirements.- 2. Related Work — Models considering time.- 3. Basic Multi-Thread Graph model.- 4. MTG model extended with data communication.- 5. MTG model extended with timing.- 6. MTG model extended with hierarchy.- 7. Miscellaneous extensions.- 8. Advantages of the MTG model.- 9. Future extensions.- 10. Summary.- 4. Timing Analysis.- 1. Problem formulation.- 2. Related work — Timing verification.- 3. Related work — Timing analysis.- 4. Related work — Performance analysis.- 5. MTG classification.- 6. MTG separation analysis.- 7. MTG latency and response time analysis.- 8. MTG rate analysis.- 9. MTG boundedness analysis.- 10. Summary.- 5. System Synthesis Methodology.- 1. Methodology overview.- 2. MTG model extraction.- 3. Resource estimation.- 4. Task concurrency management — Thread frame clustering.- 5. Task concurrency management — Thread frame scheduling.- 6. Task concurrency management — Execution model selection.- 7. RTOS synthesis.- 8. Summary.- 6. Conclusions.- 1. Motivation.- 2. Contributions.- 3. Future work.- Appendices.- Definitions.- 1. Multi-sets.- 2. MTG definitions and properties.- 2.1 Definitions.- 2.2 Behavioral and structural properties.- 3. Algebras.- 3.1 Number algebras.- 4. Relations and partial orders.- 4.1 Binary relations.- 4.2 Partial orders.- 5. Automata.