ENGLISH

Embedded software verification and debugging

By Markus , Lettnin , Djones;Winterholer

Book information

Publisher
Springer
Year
2017
ISBN
9781461422655, 9781461422662, 1461422655, 1461422663
Language
english
Format
PDF
Filesize
9 MB (9242579 bytes)
Series
Embedded systems (Springer (Firm))
Pages
\220
Time added
2020-07-26 19:24:52
Circuits & components;Computer architecture & logi

Description

Foreword; Contents; Contributors; 1 An Overview About Debugging and Verification Techniques for Embedded Software; 1.1 The Importance of Debugging and Verification Processes; 1.2 Debugging and Verification Platforms; 1.2.1 OS Simulation; 1.2.2 Virtual Platform; 1.2.3 RTL Simulation; 1.2.4 Acceleration/Emulation; 1.2.5 FPGA Prototyping; 1.2.6 Prototyping Board; 1.2.7 Choosing the Right Platform for Software Development and Debugging; 1.3 Debugging Methodologies; 1.3.1 Interactive Debugging; 1.3.2 Post-Process Debugging; 1.3.3 Choosing the Right Debugging Methodology.;This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unacceptable. It also discusses emerging trends and techniques.

Similar books