Stock Image

Formal Methods And Models For System Design: A System Level Perspective (The Kluwer International Series In Video Computing)

1 ratings by Goodreads
ISBN 10: 1402080514 / ISBN 13: 9781402080517
Condition: As New Hardcover

AbeBooks Seller Since April 16, 2012

Quantity Available: 1

Buy Used
Price: US$ 61.00 Convert Currency
Shipping: US$ 3.99 Within U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy

About this Item

This Book is in Good Condition; Customer Satisfaction Comes First.Delivery Time 4-12 days. 100% Money back Guaranteed!!!. Bookseller Inventory # 1402080514

Ask Seller a Question

Bibliographic Details

Title: Formal Methods And Models For System Design:...

Binding: Hardcover

Book Condition:As New

About this title


Perhaps nothing characterizes the inherent heterogeneity in embedded sys­ tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre­ sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod­ art, though eling, optimization and implementation. These advances -particularly those related to synthesis and verification tasks -direct1y depend upon formal under­ standing of system behavior and performance measures. Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI, to capture design at increasingly higher levels of ab­ straction and attempts to reduce the system implementation task. While raising the abstraction levels for design and verification tasks, to be really useful, these approaches must also provide for reuse, adaptation of the existing intellectual property (IP) blocks.


From the reviews:

"This book explores various formal methods and models that can be used to manage the complexity ... . This quite readable and self-contained monograph demonstrates some of the recent efforts made to address a very important issue, that is how to effectively and efficiently practice system design ... . This is certainly an excellent reference book for system design practitioners and a very good example for those applied mathematicians who look for ways to apply their knowledge to solve practical problems." (Zhizhang Shen, Zentralblatt MATH, Vol. 1061 (12), 2005)

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.Some books may be shipped from India.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express