TAILIEUCHUNG - Model-Based Design for Embedded Systems- P75

Model-Based Design for Embedded Systems- P75: 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. | 726 Index specialization discrete functional category 507 hybrid category 509-510 multi-viewpoint composition 512-515 safety probabilistic categories 510-512 semantic atoms 507 system architecture 512 timed category 507-509 wrapper mechanism 512 Hierarchical event streams HESs inner and output event streams 71-73 structure 71 system analysis 70-71 HRC see Heterogeneous rich component HRC state machines Hybrid approach advantages and disadvantages 35-36 basic block pipeline modeling 40-43 principles 39 static cycle calculation 40 cycle prediction dynamic correction branch prediction 43 cache analysis blocks 44 cache model 44 cycle calculation code 45 instruction cache 43 objectives 35 software tasks 46-47 SystemC code annotation 38-40 task switches 46 WCET BCET value back-annotation advantages 38 architecture 36-37 instruction set 37-38 Hybrid automata exhaustive verification abstraction 403-404 autonomous linear systems 398 finite syntactic representation 397-398 linear inequalities 397 linear systems 398-401 nonlinear systems 401-403 nontrivial differential equations 396-397 piecewise constant derivatives PCD 396 time steps 398 model-based design 383-384 modeling discrete dynamics 389-390 Lipschitz continuous 390 non-determinism 391 trajectories 390-391 rapidly-exploring random trees RRTs algorithm 408-409 hybrid distance 410-411 iterations 409-410 simulations 409 test generation algorithm steps 425 cases and executions 423-424 continuous inputs 422 coverage-guided sampling 425-426 discrete transitions 422-423 state coverage strategies 421-422 test coverage 424-425 testing 411-412 I IBIS see Interconnection bus for integrated sensors ICAP see Internal configuration access port IContinu see Continuous domain interface model IDiscrete see Discrete domain interface model Inertial measurement unit IMU 698 702 703 716 717 InitializeTA method 469 471 Input output buffer IOB 368 Integrated multi-technology systems abstraction levels 608 609 application 622-631 CMOS .

• Phần cứng
• sửa chữa máy tính
• sổ tay phần cứng
• MainBoard
• thiết bị máy tính
• thiết bị mạng
• lắp ráp máy tính
• Phần cứng máy tính
• lỗi máy tính
• hệ thống mạch máy tính
• điện máy tính
• Tài liệu máy tính