Hardware-Software Co-Design of Embedded Systems

The POLIS Approach

By: Felice Balarin, Paolo Giusto, Attila Jurecska

Write A Review

Hardcover | 31 May 1997

At a Glance

Hardcover
324 Pages

Dimensions(cm)
24.77 x 17.15 x 2.54

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that 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 which is a co-design environment for embedded systems is 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.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Electronics Engineering Automatic Control Engineering Computing & I.T.Computer Programming & Software Development Graphical & Digital Media Applications Computer-Aided Design CAD Computer Science Computer Architecture & Logic Design Circuits & Components

Systems Analysis & Design Energy Technology & Engineering Electrical Engineering

List of Figures
List of Tables
Preface
Introduction	p. 1
Models and Representations	p. 35
Synthesis	p. 125
Interface Synthesis and the Real-Time Operating System	p. 157
Verification	p. 199
Interfacing to External Hardware and Software	p. 247
Design Examples	p. 255
Conclusions and Future Work	p. 273
A Glossary	p. 275
B The Syntax of Shift	p. 281
Index	p. 285
References	p. 291
Table of Contents provided by Blackwell. All Rights Reserved.

Hardware-Software Co-Design of Embedded Systems

The POLIS Approach

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Generative Artificial Intelligence

Technology and Applications

Programming of Embedded Systems

Applications to SM32F10x μControllers

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Site Reliability Engineering

How Google Runs Production Systems

Systems Analysis and Design

12th edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

DAMA-DMBOK

Data Management Body of Knowledge

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Business Driven Information Systems ISE

9th Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Rust Atomics and Locks

Low-Level Concurrency in Practice

Software Architecture with C++ - Second Edition

Designing robust C++ systems with modern architectural practices

Fundamentals of Software Engineering

From Coder to Engineer

UX For Beginners

A Crash Course in 100 Short Lessons

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Data Mesh

Delivering Data-Driven Value at Scale

Raspberry Pi Cookbook, 4E

Software and Hardware Problems and Solutions

This product is categorised by