你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Uml-B Specification for Proven Embedded Systems Design
Type
Physical Book
Publisher
Author
Year
2010
Language
English
Pages
300
Format
Paperback
ISBN
144195256x
ISBN13
9781441952561
Categories

Uml-B Specification for Proven Embedded Systems Design

Mermet, Jean (Author) · Springer · Paperback

Uml-B Specification for Proven Embedded Systems Design - Mermet, Jean

Cheaper New Book Imported to Taiwan
Delivery: 19 Nov - 02 Dec Shipping: 16 to 20 business days.
NT$ 5,011
Faster New Book Imported to Taiwan
Delivery: 16 Nov - 24 Nov Shipping: 13 to 14 business days.
NT$ 6,140
NT$ 5,011

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Uml-B Specification for Proven Embedded Systems Design"

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to supportIP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews