Lettnin, Djones
Embedded Software Verification and Debugging
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
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
- Lettnin, Djones
- Winterholer, Markus
- 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