Logga in

Lettnin, Djones

Embedded Software Verification and Debugging

Lettnin, Djones - Embedded Software Verification and Debugging, e-bok

118,65€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781461422662
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1. An Overview About Debugging and Verification Techniques for Embedded Software
Djones Lettnin, Markus Winterholer

2. Embedded Software Debug in Simulation and Emulation Environments for Interface IP
Cyprian Wronka, Jan Kotas

3. The Use of Dynamic Temporal Assertions for Debugging
Ziad A. Al-Sharif, Clinton L. Jeffery, Mahmoud H. Said

4. Automated Reproduction and Analysis of Bugs in Embedded Software
Hanno Eichelberger, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel

5. Model-Based Debugging of Embedded Software Systems
Padma Iyenghar, Elke Pulvermueller, Clemens Westerkamp, Juergen Wuebbelmann, Michael Uelschen

6. A Mechanism for Monitoring Driver-Device Communication
Rafael Melo Macieira, Edna Barros

7. Model Checking Embedded C Software Using k-Induction and Invariants
Herbert Rocha, Hussama Ismail, Lucas Cordeiro, Raimundo Barreto

8. Scalable and Optimized Hybrid Verification of Embedded Software
Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Nyckelord: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Utgivare
 
Utgivare
Springer
Utgivningsår
2017
Språk
en
Utgåva
1
Serie
Embedded Systems
Sidantal
16 sidor
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9781461422662
Tryckt ISBN
978-1-4614-2265-5

Liknande e-böcker