Articles liés à Specification and Design Methodology for Real-Time...
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
List of Figures. List of Tables. List of Acronyms. Foreword. Preface. Acknowledgements. 1: Introduction. 1.1. The Basic Problem. 1.2. Solution to The Problem. 1.3. Contributions. 1.4. Organization. 1.5. Convergence of Research Threads. 2: Problem Background. 2.1. Background. 2.2. The Domain-specific Problem. 2.3. A Domain-specific Solution. 3: System Requirements & Intrinsic SDM Assessment. 3.1. System Requirements Specification Domains. 3.2. Domain-relevant Models of Computation. 3.3. Best MOCs for Domain-specific Specification Axes. 3.4. Implicit Framework MOCs. 3.5. Comparing The Monolithic Frameworks. 4: Quantified Extrinsic SDM Assessment. 4.1. A Unified Specification-modeling Methodology Evaluation Framework. 4.2. Quantification of SARKAR Basis. 4.3. Using Quantified Basis to Characterize Case SDM Frameworks. 4.4. Conclusion. 5: Extending Gajski's SER Methodology. 5.1. Background. 5.2. Parallels Between Gajski's SER & our ADOI. 5.3. Extending Gajski's SER to our ADOI. 6: the Magic Specification & Design Methodology. 6.1. Overview of the Magic Methodology. 6.2. Establishing Model Continuity. 6.3. 'Rules' Steps of the Magic SDM. 6.4. 'Tools' Frameworks Integrated Into the Magic SDM. 6.5. Model Continuity Via Middleware. 7: Case Study: Validating the Magic SDM Using a SAR Processor Application. 7.1. RASSP SAR Benchmark Overview. 7.2. Tabulate Requirements. 7.3. Capture Non-constraint Requirements in An Executable Model. 7.4. Build Executable Workbook with Requirements. 7.5. Gather Benchmarks for Tokens. 7.6. Explore Alternative Architectures & Technologies. 7.7. Make Design Decisions. 7.8. Create Implementation Specification. 7.9. Difficulties Encountered & Overcome. 7.10. Conclusion. 8: Magic Quantification & Summary. 8.1. Model Continuity in the Magic SDM. 8.2. SARKAR Quantification of Magic SDM. 8.3. Summary. 9: Conclusion: Directions for Further Research & Applying Magic to SOC Domain. 9.1. Applied & Basic Research. 9.2. Applying Magic Concepts to the SOC Domain. 9.3. Virtual Component Codesign (VCC). 9.4. Codesign vis à vis Coverification. 9.5. Concluding Comments. Appendix A: Details of VSIPL & MPI Middleware. A.1. VSIPL: Computation Middleware. A.2. MPI: Communications Middleware. Appendix B: Details of Case Study. B.1. Simulink Details. B.2. VSIPL Code Generation Subtleties. B.3. Earchitect Details. References. Index.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2011
- ISBN 10 146150838X
- ISBN 13 9781461508380
- ReliurePaperback
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
