 |
|
| EMBEDDED SYSTEMS DESIGN
| |
| | |
|
|
A Platform-Based Approach to System-Level Design
To order this title, and for more information, click here
By
Alberto Sangiovanni-Vincentelli, University of California at Berkeley
Allesandro Pinto, University of California at Berkeley
Included in series
Systems on Silicon,
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.
Audience
Practitioners and Students in Embedded Systems Design.
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).
| Bibliographic details |
Hardbound, 400 pages, publication date: SEP-2010
ISBN-13: 978-0-12-374030-4
ISBN-10: 0-12-374030-4
Imprint: MORGAN KAUFFMAN
|
| Price and Ordering |
Price:
USD 69.95
GBP 39.99
EUR 59.95
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
077/745
Last update: 5 Sep 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company