Cantitate/Preț
Produs

Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings: IFIP Advances in Information and Communication Technology, cartea 310

Editat de Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig
en Limba Engleză Paperback – 14 mar 2012
This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Timely topics, techniques and trends in embedded system design are covered by the chapters in this volume, including modelling, simulation, verification, test, scheduling, platforms and processors. Particular emphasis is paid to automotive systems and wireless sensor networks. Sets of actual case studies in the area of embedded system design are also included. Over recent years, embedded systems have gained an enormous amount of proce- ing power and functionality and now enter numerous application areas, due to the fact that many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements. Both the development of new features and the reuse of existing intellectual property components are essential to keeping up with ever more demanding customer requirements. Furthermore, design complexities are steadily growing with an increasing number of components that have to cooperate properly. Embedded system designers have to cope with multiple goals and constraints simul- neously, including timing, power, reliability, dependability, maintenance, packaging and, last but not least, price.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 63386 lei  43-57 zile
  Springer Berlin, Heidelberg – 14 mar 2012 63386 lei  43-57 zile
Hardback (1) 63935 lei  43-57 zile
  Springer Berlin, Heidelberg – 4 sep 2009 63935 lei  43-57 zile

Din seria IFIP Advances in Information and Communication Technology

Preț: 63386 lei

Preț vechi: 79233 lei
-20% Nou

Puncte Express: 951

Preț estimativ în valută:
12131 12601$ 10076£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642260193
ISBN-10: 3642260195
Pagini: 328
Ilustrații: XI, 315 p. 165 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria IFIP Advances in Information and Communication Technology

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Modelling.- State Machine Based Method for Consolidating Vehicle Data.- Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation.- Modelling of Device Driver Software by Reflection of the Device Hardware Structure.- An Infrastructure for UML-Based Code Generation Tools.- A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance.- ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs.- Transaction Level Modelling.- Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support.- Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices.- Modeling Cache Effects at the Transaction Level.- Scheduling and Real-Time Systems.- Event Stream Calculus for Schedulability Analysis.- Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms.- Task-Dependent Processor Shutdown for Hard Real-Time Systems.- Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects.- Simulation, Verification and Test.- Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling.- Formal Verification for Embedded Systems Design Based on MDE.- Systematic Model-in-the-Loop Test of Embedded Control Systems.- Platforms and Processors.- Proteus, a Hybrid Virtualization Platform for Embedded Systems.- Constructing a Multi-OS Platform with Minimal Engineering Cost.- A Synchronization Method for Register Traces of Pipelined Processors.- Automotive Systems.- Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.- Automatic Transformation of System Models in Automotive Electronics.- Towards a Load Balancing Middleware for Automotive Infotainment Systems.- Case Studies.- Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks.- A Hybrid Hardware and Software Component Architecture for Embedded System Design.- Low–Level Space Optimization of an AES Implementation for a Bit–Serial Fully Pipelined Architecture.- Wireless Sensor Networks.- The Case for Interpreted Languages in Sensor Networks.- Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard.- FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks.- Tutorials.- Efficient Modeling of Embedded Systems Using Computer-Aided Recoding.- New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies.

Textul de pe ultima copertă

This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Germany, in September 2009.
The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; and wireless sensor networks. The volume also includes three case studies and two tutorials.