Embedded software verification and debugging

Type Book

Rate 0.0 /5

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.

Details

Files

Reviews

Download

Title Statements

Full title :Embedded software verification and debugging / Djones Lettnin, Markus Winterholer, editors.

Summary

Edition Statements

Publication Date:2017.

Publication Statements

Publisher(s):Springer
Place of Publication:New York, NY
Language:eng
Publication Date:2017.

The Physical Object

Description:1 online resource

Edition Identifiers

ISBN:9781461422662, 1461422663, 1461422655, 9781461422655
DOI:10.1007/978-1-4614-2266-2
oclc:ocn982957879
LC Classification:QA76.76.V47
Dewey Decimal:620

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.

1.4 Verification Methodologies1.4.1 Verification Planning; 1.4.2 Verification Environment Development; 1.5 Summary; References; 2 Embedded Software Debug in Simulation and Emulation Environments for Interface IP; 2.1 Firmware Debug Methods Overview; 2.2 Firmware Debuggability; 2.3 Test-Driven Firmware Development for Interface IP; 2.3.1 Starting Development; 2.3.2 First Functional Tests; 2.3.3 Debugging a System; 2.3.4 System Performance; 2.3.5 Interface IP Performance in a Full Featured OS Case; 2.3.6 Low Level Firmware Debug in a State-of-the-Art Embedded System.

2.4 Firmware Bring-up as a Hardware Verification Too…

Subjects

Circuits & components Computer architecture & logic design Computer programs -- Verification Computer software -- Verification Débogage Debugging in computer science Electronics engineering Embedded Computer Systems Logiciels -- Vérification Systèmes enfouis (Informatique) TECHNOLOGY & ENGINEERING -- Engineering… TECHNOLOGY & ENGINEERING -- Reference