Embedded Systems Development From Functional Models To Implementations

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 Analysis At Early Design Stages With Marte.- Part Iii Component-based Design And Real-time Components.- Early Time-budgeting For Component-based Embedded Control Systems.- Contract-based Reasoning For Component Systems With Rich Interactions.- Extracting End-to-end Timing Models From Component-based Distributed Embedded Systems.- Part Iv Timing Analysis And Time-based Synthesis.- Distributed Priority Assignment In Real-time Systems.- Exploration Of Distributed Automotive Systems Using Compositional Timing Analysis.- Design And Evaluation Of Future Ethernet Avb-based Ecu Networks.