Embedded Systems Development

1. Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems
Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

Part I. Model-Based Design and Synthesis

2. Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Douglas Kim, Hugo Andrade, Jeff Correll, Jacob Kornerup, Ian Wong, Gerald Wang, Guang Yang, Amal Ekbal, Mike Trimborn, Ankita Prasad, Trung N. Tran

3. Dataflow-Based, Cross-Platform Design Flow for DSP Applications
Zheng Zhou, Chung-Ching Shen, William Plishker, Shuvra S. Bhattacharyya

Part II. Model-Driven Design, Integration and Verification of Heterogeneous Models

4. Model-Driven Design of Software Defined Radio Applications Based on UML
Jair Gonzalez, Renaud Pacalet

5. On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification
Tahir Naseer Qureshi, De-Jiu Chen, Magnus Persson, Martin Törngren

6. Schedulability Analysis at Early Design Stages with MARTE
Chokri Mraidha, Sara Tucci-Piergiovanni, Sebastien Gerard

Part III. Component-Based Design and Real-Time Components

7. Early Time-Budgeting for Component-Based Embedded Control Systems
Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

8. Contract-Based Reasoning for Component Systems with Rich Interactions
Susanne Graf, Roberto Passerone, Sophie Quinton

9. Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems
Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin

Part IV. Timing Analysis and Time-Based Synthesis

10. Distributed Priority Assignment in Real-Time Systems
Moritz Neukirchner, Steffen Stein, Rolf Ernst

11. Exploration of Distributed Automotive Systems Using Compositional Timing Analysis
Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Samarjit Chakraborty

12. Design and Evaluation of Future Ethernet AVB-Based ECU Networks
Michael Glaß, Sebastian Graf, Felix Reimann, Jürgen Teich

Keywords: Engineering, Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures