tailieunhanh - Model-Based Design for Embedded Systems- Part 9

Model-Based Design for Embedded Systems- P9: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 3 Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems Simon Schliecker Jonas Rox Rafik Henia Razvan Racu Arne Hamann and Rolf Ernst CONTENTS Introduction . 58 Formal Multiprocessor Performance Analysis . 59 Application Model . 60 Event Streams. 60 Local Component Analysis . 62 Compositional System-Level Analysis Loop . 63 From Distributed Systems to MPSoCs . 64 Deriving Output Event Models . 65 Response Time Analysis in the Presence of Shared Memory Accesses. 66 Deriving Aggregate Busy Time . 68 Hierarchical Communication . 69 Scenario-Aware Analysis. 73 Echo Effect . 74 Compositional Scenario-Aware Analysis . 75 Sensitivity Analysis . 76 Performance Characterization . 76 Performance Slack . 77 Robustness Optimization. 79 Use-Cases for Design Robustness . 79 Evaluating Design Robustness . 80 Robustness Metrics . 81 Static Design Robustness . 81 Dynamic Design Robustness . 81 Experiments . 82 Analyzing Scenario 1 . 85 Analyzing Scenario 2 . 86 Considering Scenario Change . 86 Optimizing Design . 87 System Dimensioning . 87 Conclusion . 87 References . 88 57 58 Model-Based Design for Embedded Systems Introduction Formal approaches to system performance modeling have always been used in the design of real-time systems. With increasing system complexity there is a growing demand for the use of more sophisticated formal methods in a wider range of systems to improve system predictability and determine system robustness to changes enhancements and design pitfalls. This demand can be addressed by the significant progress in the last couple of years in performance modeling and analysis on all levels of abstraction. New modular models and methods now allow the analysis of large-scale heterogeneous systems providing reliable data on transitional load situations end-to-end timing memory .