000780917 000__ 04964cam\a2200529Ii\4500
000780917 001__ 780917
000780917 005__ 20230306143207.0
000780917 006__ m\\\\\o\\d\\\\\\\\
000780917 007__ cr\nn\nnnunnun
000780917 008__ 170419s2017\\\\nyu\\\\\ob\\\\001\0\eng\d
000780917 019__ $$a983565628$$a983964788
000780917 020__ $$a9781461422662$$q(electronic book)
000780917 020__ $$a1461422663$$q(electronic book)
000780917 020__ $$z9781461422655
000780917 035__ $$aSP(OCoLC)ocn982957879
000780917 035__ $$aSP(OCoLC)982957879$$z(OCoLC)983565628$$z(OCoLC)983964788
000780917 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dEBLCP$$dN$T$$dGW5XE$$dOCLCF$$dYDX$$dUAB
000780917 049__ $$aISEA
000780917 050_4 $$aQA76.76.V47
000780917 08204 $$a005.1/4$$223
000780917 08204 $$a620
000780917 24500 $$aEmbedded software verification and debugging /$$cDjones Lettnin, Markus Winterholer, editors.
000780917 264_1 $$aNew York, NY :$$bSpringer,$$c2017.
000780917 300__ $$a1 online resource.
000780917 336__ $$atext$$btxt$$2rdacontent
000780917 337__ $$acomputer$$bc$$2rdamedia
000780917 338__ $$aonline resource$$bcr$$2rdacarrier
000780917 4901_ $$aEmbedded systems
000780917 504__ $$aIncludes bibliographical references and index.
000780917 5050_ $$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
000780917 5058_ $$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
000780917 5058_ $$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
000780917 5058_ $$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
000780917 5058_ $$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
000780917 506__ $$aAccess limited to authorized users.
000780917 520__ $$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.
000780917 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 1, 2017).
000780917 650_0 $$aComputer software$$xVerification.
000780917 650_0 $$aDebugging in computer science.
000780917 650_0 $$aEmbedded computer systems.
000780917 7001_ $$aLettnin, Djones,$$eeditor.
000780917 7001_ $$aWinterholer, Markus,$$eeditor.
000780917 830_0 $$aEmbedded systems (Springer (Firm))
000780917 852__ $$bebk
000780917 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-1-4614-2266-2$$zOnline Access$$91397441.1
000780917 909CO $$ooai:library.usi.edu:780917$$pGLOBAL_SET
000780917 980__ $$aEBOOK
000780917 980__ $$aBIB
000780917 982__ $$aEbook
000780917 983__ $$aOnline
000780917 994__ $$a92$$bISE