Tracked 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 Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Type
Physical Book
Publisher
Author
Language
English
Pages
266
Format
Paperback
Dimensions
23.4 x 15.6 x 1.5 cm
Weight
0.40 kg.
ISBN13
9781489987372
Edition No.
2010th
Categories

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Shukla, Sandeep Kumar ; Talpin, Jean-Pierre (Author) · Springer · Paperback

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Shukla, Sandeep Kumar ; Talpin, Jean-Pierre

New Book Imported to Taiwan
Delivery: 21 Aug - 02 Sep Shipping: 13 to 15 business days.
NT$ 3,764
NT$ 3,764

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

Go to My Wishlists
Calculate shipping cost

Synopsis "Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction"

Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on "constructive correctness" be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that post-development verification is minimized, and correct operation of embedded systems is maximized. This book presents the state of the art in the design of safety-critical, embedded software. It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language. It is an invaluable reference for practitioners and researchers concerned with improving the product development life-cycle.

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