Embedded Systems Design: Volume .
A Platform-Based Approach to System-Level Design
Published on 26. February 2011
Book
Hardback
400 pages
978-0-12-374030-4 (ISBN)
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.
More details
Series
Language
English
Place of publication
San Francisco
United States
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
Practitioners and Students in Embedded Systems Design.
Dimensions
Height: 235 mm
Width: 191 mm
ISBN-13
978-0-12-374030-4 (9780123740304)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
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).