Sisäänkirjautuminen

Lettnin, Djones

Embedded Software Verification and Debugging

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

133,75€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781461422662
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Toimittaja
 
Julkaisija
Springer
Julkaisuvuosi
2017
Kieli
en
Painos
1
Sarja
Embedded Systems
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781461422662
Painetun ISBN
978-1-4614-2265-5

Samankaltaisia e-kirjoja