MicroController Pros Home Page My Account  Cart Contents  Checkout  
  Store » 0792399366 My Account  |  Cart Contents  |  Checkout   
Quick Find
Enter keywords to find the product you are looking for in the Quick Find field above

or use
Advanced Search
Accessory Boards->
ADI Blackfin
Atmel AVR->
Cypress PSoC
Microchip PIC->
Silicon Labs
ST Microelectronics->
Texas Instruments->
Embedded Ethernet->
Embedded Software->
I/O Modules->
Parts & Components->
Pick & Place Tools
Programmable Logic (PLD)
Prototype PCBs->
ROM/Flash Emulators
Test & Measurement->
Tutorial Software
Universal Programmers->
Intro to Embedded Tools
Embedded News Digest
Useful Resources
Shipping & Returns
Warranty & Liability
Privacy Notice
Conditions of Use
Contact Us
Hardware/Software Co-Design of Embedded Systems, Polis Approach US$185.00

Hardware/Software Co-Design of Embedded Systems, Polis Approach

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, which interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs).

Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad-hoc approach that is heavily based on earlier experience with similar products and on manual design.

Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system -- a co-design environment for embedded systems based on a formal model of computation.

POLIS was initiated in 1988 as a research project at the University of California at Berkeley and, over the years, grew into a full design methodology with a software system supporting it. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach is intended to give a complete overview of the POLIS system, including its formal and algorithmic aspects.

This book will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.

Authors: Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara.

Table of Contents

List of Figures

List of Tables



The Importance of Embedded Systems
Design of Embedded Systems
The POLIS System
Book Organization

Models and Representations

Co-design models and languages
CFSMs: Intuitive Semantics
CFSMs: Mathematical Model
CFSMs: Modeling Data Flow
The SHIFT Format
Specification: Synchronous Languages
Overview of the ESTEREL language
Specification: Graphical FSMs Modeling Software CFSMs
Software Cost Model
Processor Characterization Model


Partitioning and Architecture Selection
Software Synthesis
Software Cost Estimation
Hardware Synthesis

Interface Synthesis and the Real-Time Operating System

Interface synthesis
Real-Time Operating System Synthesis
Network-Specific Parts: Interfacing Hardware and Software
Target-Specific Parts: Creating an Abstraction
Scheduling-Specific Parts: Coordinating sw-CFSMs
Common Parts: Filling the Gaps
Schedule Validation


Rapid Prototyping
Co-simulation using the PTOLEMY environment
Simulation as partitioning support
High-level Co-simulation using VHDL
Formal Verification

Interfacing to External Hardware and Software

External Hardware
External Software
Interfacing to an External RTOS

Design Examples

A Dashboard Controller
An Automotive Bus Controller
A Shock Absorber Controller

Conclusions and Future Work


The Syntax of SHIFT



Hardcover; 320 pages.

This product was added to our catalog on Wednesday 29 September, 2004.


Customers who purchased this product also bought:
Embedded Ethernet and Internet CompleteEmbedded Ethernet and Internet CompleteUS$49.95

Embedded Linux: Hardware, Software, and InterfacingEmbedded Linux: Hardware, Software, and InterfacingUS$69.99

Embedded LinuxEmbedded LinuxUS$39.99

Designing Embedded Internet DevicesDesigning Embedded Internet DevicesUS$78.95

Embedded Systems Design with 8051 MicrocontrollersEmbedded Systems Design with 8051 MicrocontrollersUS$124.95

TCP/IP Embedded Internet ApplicationsTCP/IP Embedded Internet ApplicationsUS$73.95

Hardware/Software Co-Design for Data Flow Dominated Embedded SysHardware/Software Co-Design for Data Flow Dominated Embedded SysUS$209.00

Embedded Linux Primer: A Practical Real-World ApproachEmbedded Linux Primer: A Practical Real-World ApproachUS$49.99

Shopping Cart more
0 items
What's New? more
Flowcode 7 for PIC, AVR, Arduino, ARM - Pro 2 User
Flowcode 7 for PIC, AVR, Arduino, ARM - Pro 2 User
Specials more
40-pin ZIF socket for 0.3" and 0.6" wide DIP packages
40-pin ZIF socket for 0.3" and 0.6" wide DIP packages
Tell A Friend

Tell someone you know about this product.
Notifications more
NotificationsNotify me of updates to Hardware/Software Co-Design of Embedded Systems, Polis Approach
Reviews more
Write ReviewWrite a review on this product!
  Friday 03 July, 2020   List of all our Products

Copyright © 2003-2017 MicroController Pros LLC
Powered by osCommerce