Embedded Systems Design

Embedded Systems Design : A Platform-Based Approach to System-Level Design

List price: US$69.94

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

This book will serve as an upper division/graduate level textbook or a reference book for practitioners and researchers in Embedded System Design. It is based on a novel methodology (called Platform-Based Design) and toolset (developed at UC Berkeley over the past 15 years) that is foundational in its approach and has demonstrated effectiveness in numerous engineering domains, ranging from integrated circuits to telecommunications to automotive. This book describes a new design science to address the challenges posed by the heterogeneity intrinsic to modern system integration.
show more

Product details

  • Hardback | 400 pages
  • 191 x 235mm
  • Morgan Kaufmann Publishers In
  • San Francisco, United States
  • English
  • 0123740304
  • 9780123740304
  • 2,129,954

Table of contents

INTRODUCTION: Embedded System Design, Platform-Based Design, Impact on the Electronic System design chain; FUNCTIONAL SPECIFICATION: Introduction to models of computation, FSM-CFSM, KPN, DF, Petri Nets, Hybrid Systems, Unified framework (tagged system model and Agent Algebras); PLATFORMS: Examples of platforms (multimedia, automotive), Definition of libraries, (composition of library elements and platform instances), Performance abstraction, Processor modeling; MAPPING: Definition of the common semantic domain, Formalization of the synthesis problem, Scheduling and real time operating systems, Software synthesis, Hardware synthesis, Communication synthesis; VALIDATION AND VERIFICATION: Simulation, Static timing analysis, Model checking, Verification of hybrid systems; LABS: Labs are based on PtolemyII and Metropolis (both tools are from the University of California at Berkeley).
show more