دانلود کتاب Embedded Systems Development: From Functional Models to Implementations

فهرست مطالب :

Front Matter....Pages i-viii
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems....Pages 1-16
Front Matter....Pages 17-17
Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets....Pages 19-39
Dataflow-Based, Cross-Platform Design Flow for DSP Applications....Pages 41-65
Front Matter....Pages 67-67
Model-Driven Design of Software Defined Radio Applications Based on UML....Pages 69-83
On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification....Pages 85-99
Schedulability Analysis at Early Design Stages with MARTE....Pages 101-119
Front Matter....Pages 121-121
Early Time-Budgeting for Component-Based Embedded Control Systems....Pages 123-137
Contract-Based Reasoning for Component Systems with Rich Interactions....Pages 139-154
Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems....Pages 155-169
Front Matter....Pages 171-171
Distributed Priority Assignment in Real-Time Systems....Pages 173-187
Exploration of Distributed Automotive Systems Using Compositional Timing Analysis....Pages 189-204
Design and Evaluation of Future Ethernet AVB-Based ECU Networks....Pages 205-220
Back Matter....Pages 221-223