Embedded Software Verification and Debugging

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Embedded Software Verification and Debugging by , Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781461422662
Publisher: Springer New York Publication: April 17, 2017
Imprint: Springer Language: English
Author:
ISBN: 9781461422662
Publisher: Springer New York
Publication: April 17, 2017
Imprint: Springer
Language: English

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.  Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies.  Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification.  This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.  Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies.  Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification.  This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.

More books from Springer New York

Cover of the book Practical Manual of Operative Laparoscopy and Hysteroscopy by
Cover of the book Remediation in Medical Education by
Cover of the book Adolescents and Adults with Autism Spectrum Disorders by
Cover of the book Rock and Roll Fantasy? by
Cover of the book Essentials of Carbohydrate Chemistry by
Cover of the book Food Safety = Behavior by
Cover of the book The Goal of B. F. Skinner and Behavior Analysis by
Cover of the book Variational Analysis and Aerospace Engineering: Mathematical Challenges for Aerospace Design by
Cover of the book A War on Terror? by
Cover of the book Perinatal Stem Cells by
Cover of the book Rational Kinematics by
Cover of the book Office-Based Gynecologic Surgical Procedures by
Cover of the book Current Trends in Monoclonal Antibody Development and Manufacturing by
Cover of the book Silicon-based Nanomaterials by
Cover of the book Fibromyalgia by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy