Embedded Systems Development: From Functional Models to Implementations

by Alberto Sangiovanni-Vincentelli

Book Overview

Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.- Part I Model-Based Design and Synthesis.- Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets.- Dataflow-based, Cross-Platform Design Flow for DSP Applications.- Part II Model-Driven, Integration and Verification of Heterogeneous Models.- On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification.- Schedulability...

• Format: Paperback
• Language: English
• ISBN: 1493901206
• ISBN13: 9781493901203
• Release Date: August 2015
• Publisher: Springer
• Length: 223 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"