logo

Home

|

Products

|

9789356962026

Image of - Embedded Software Verification and Debugging | Hardcover
Embedded Software Verification and Debugging | Hardcover

Embedded Software Verification and Debugging | Hardcover

by Lettnin

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.

Highlights

  • binding-icon

    9781461422655

    ISBN:

  • binding-icon

    Lettnin

    Author:

  • binding-icon

    208

    Pages:

  • binding-icon

    210 gm

    Weight:

  • langauage-icon

    English

    Language:

  • date-icon

    2017

    Year:

  • edition-icon

    1st Edition

    Edition:

  • binding-icon

    Hardcover

    Binding:

₹10508

₹13135

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.

Loading...

Online store of medical books

Discover a comprehensive range of medical books at our online store. From anatomy and physiology to the latest clinical guidelines, we've got you covered.

Trusted by students, educators, and healthcare professionals worldwide. Browse top publishers and expert-authored titles in every medical specialty. Enjoy fast shipping, secure payments, and easy returns. Your one-stop destination for quality medical knowledge at your fingertips.

Whether you're preparing for exams or expanding your clinical expertise, our curated collection ensures you have the right resources at hand. Dive into detailed illustrations, case studies, and up-to-date research that enhance your understanding and practical skills.

We regularly update our inventory to include the latest editions and newly released titles, helping you stay current in the ever-evolving medical field. Our advanced search and filtering tools make finding the perfect book quick and hassle-free.

Join our community of lifelong learners and medical enthusiasts. Sign up for exclusive discounts, early access to new arrivals, and personalized book recommendations tailored to your professional interests.