Stock image for illustration purposes only - book cover, edition or condition may vary.
Synthesis of Embedded Software
. Ed(S): Shukla, Sandeep Kumar; Talpin, Jean-Pierre
€ 124.16
FREE Delivery in Ireland
Description for Synthesis of Embedded Software
Hardback. Embedded software is ubiquitous today and this book presents the state-of-the art-in the design of safety-critical, embedded software in a single reference. It is an invaluable reference for those concerned with improving the product development life-cycle. Editor(s): Shukla, Sandeep Kumar; Talpin, Jean-Pierre. Num Pages: 266 pages, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 247 x 159 x 22. Weight in Grams: 552.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
2010
Publisher
Springer-Verlag New York Inc. United States
Number of pages
266
Condition
New
Number of Pages
266
Place of Publication
New York, NY, United States
ISBN
9781441963994
SKU
V9781441963994
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Synthesis of Embedded Software