000			04921cam a2200457Ii 4500
001			95828
003			ES-MaUEC
005			20230102112723.0
006			m o d
007			cr cnu|||unuuu
008			170419s2017 nyu ob 001 0 eng d
020			_a1461422655
020			_a1461422663 _q(electronic bk.)
020			_a9781461422655
020			_a9781461422662 _q(electronic bk.)
020			_z9781461422655 _q(print)
040			_aN$T _cN$T _dEBLCP _dN$T _dGW5XE _dOCLCF _dYDX _dUAB _dMERER _dESU _dAZU _dUPM _dIOG _dCOO _dOCLCQ _dOTZ _dVT2 _dOCLCQ _dU3W _dES-MaUEC _bspa
050		4	_aQA76.76.V47 _bE434 2017 EB
245	0	0	_aEmbedded software verification and debugging _cDjones Lettnin, Markus Winterholer, editors.
264		1	_aNew York, NY _bSpringer _c2017.
300			_a1 recurso en línea
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aEmbedded systems
500			_aSpringerLink _bSpringer Engineering eBooks 2017 English+International
504			_aIncluye referencias bibliográficas e índice
505	0		_aForeword; 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.
505	8		_a1.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.
505	8		_a2.4 Firmware Bring-up as a Hardware Verification Tool2.4.1 NAND Flash; 2.4.2 xHCI; 2.5 Playback Debugging with Cadence® Indago#x92; Embedded Software Debugger; 2.5.1 Example; 2.5.2 Coverage Measurement; 2.5.3 Drawbacks; 2.6 Conclusions; References; 3 The Use of Dynamic Temporal Assertions for Debugging; 3.1 Introduction; 3.1.1 DTA Assertions Versus Ordinary Assertions; 3.1.2 DTA Assertions Versus Conditional Breakpoints; 3.2 Debugging with DTA Assertions; 3.3 Design; 3.3.1 Past-Time DTA Assertions; 3.3.2 Future-Time DTA Assertions; 3.3.3 All-Time DTA Assertions; 3.4 Assertion's Evaluation.
505	8		_a3.4.1 Temporal Cycles and Limits3.4.2 Evaluation Log; 3.4.3 DTA Assertions and Atomic Agents; 3.5 Implementation; 3.6 Evaluation; 3.6.1 Performance; 3.7 Challenges and Future Work; 3.8 Conclusion; References; 4 Automated Reproduction and Analysis of Bugs in Embedded Software; 4.1 Introduction; 4.2 Overview; 4.3 Debugger-Based Bug Reproduction; 4.3.1 State of the Art; 4.3.2 Theory and Algorithms; 4.3.3 Implementation; 4.3.4 Experiments; 4.4 Dynamic Verification During Replay; 4.4.1 State of the Art; 4.4.2 Theory and Workflow; 4.4.3 Implementation of Assertions During Replay; 4.4.4 Experiments.
505	8		_a4.5 Root-Cause Analyses4.5.1 State of the Art; 4.5.2 Theory and Concepts; 4.5.3 Implementation; 4.5.4 Experiments; 4.6 Summary; References; 5 Model-Based Debugging of Embedded Software Systems; 5.1 Introduction; 5.1.1 Problem Statement; 5.1.2 Contribution; 5.2 Related Work; 5.3 Model-Based Debugging Framework; 5.3.1 Overview; 5.4 Runtime Monitoring; 5.4.1 Classification of Runtime Monitoring; 5.4.2 Time-and Memory-Aware Runtime Monitoring Approaches; 5.5 Experimental Evaluation; 5.5.1 Software Monitoring; 5.5.2 On-Chip (Software) Monitoring; 5.6 Performance Metrics; 5.6.1 Software Monitoring.
520	3		_aThis 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.
650		7	_aSoftware _xVerification. _2embne _0(OCoLC)fst00872604 _0 _9143838
700	1		_aLettnin, Djones, _eeditor literario
700	1		_aWinterholer, Markus, _eeditor literario
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=http://link.springer.com/10.1007/978-1-4614-2266-2 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
988			_aEBOOK, asignarmaterias, EBSPRINGER_2017C
998			_b02/2018 _dz _e- _zSI
999			_c95828 _d95828 _x1