Vor Ort
Merkzettel Warenkorb
  • Produktbild: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
  • Produktbild: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

138,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1999

Abbildungen

XV, 438 p.

Verlag

Springer Us

Seitenzahl

438

Maße (L/B/H)

23,4/15,6/2,5 cm

Gewicht

816 g

Auflage

2000 edition

Sprache

Englisch

ISBN

978-0-7923-7737-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1999

Abbildungen

XV, 438 p.

Verlag

Springer Us

Seitenzahl

438

Maße (L/B/H)

23,4/15,6/2,5 cm

Gewicht

816 g

Auflage

2000 edition

Sprache

Englisch

ISBN

978-0-7923-7737-5

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
  • Produktbild: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
  • 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.