Logga in

Sangiovanni-Vincentelli, Alberto

Embedded Systems Development

Sangiovanni-Vincentelli, Alberto - Embedded Systems Development, e-bok

108,25€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781461438793
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

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

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

Författare
 
 
 
Utgivare
Springer
Utgivningsår
2014
Språk
en
Utgåva
2014
Serie
Embedded Systems
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9781461438793

Liknande e-böcker