000 | 03833nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-1-4614-2266-2 | ||
003 | DE-He213 | ||
005 | 20220801214216.0 | ||
007 | cr nn 008mamaa | ||
008 | 170418s2017 xxu| s |||| 0|eng d | ||
020 |
_a9781461422662 _9978-1-4614-2266-2 |
||
024 | 7 |
_a10.1007/978-1-4614-2266-2 _2doi |
|
050 | 4 | _aTK7867-7867.5 | |
072 | 7 |
_aTJFC _2bicssc |
|
072 | 7 |
_aTEC008010 _2bisacsh |
|
072 | 7 |
_aTJFC _2thema |
|
082 | 0 | 4 |
_a621.3815 _223 |
245 | 1 | 0 |
_aEmbedded Software Verification and Debugging _h[electronic resource] / _cedited by Djones Lettnin, Markus Winterholer. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aNew York, NY : _bSpringer New York : _bImprint: Springer, _c2017. |
|
300 |
_aXVI, 208 p. 80 illus., 62 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aEmbedded Systems, _x2193-0163 |
|
505 | 0 | _aAn Overview about Debugging and Verification Techniques for Embedded Software -- Embedded Software Debug in Simulation and Emulation Environments for Interface IP -- The Use of Dynamic Temporal Assertions for Debugging -- Automated Reproduction and Analysis of Bugs in Embedded Software -- Model-Based Debugging of Embedded Software Systems -- A Mechanism for Monitoring Driver-Device Communication -- Model Checking Embedded C Software using k-Induction and Invariants -- Scalable and Optimized Hybrid Verification of Embedded Software -- . | |
520 | _aThis book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches. Includes in a single source the entire flow of design, verification and debugging of embedded software; Addresses the main techniques that are currently being used in the industry for assuring the quality of embedded software; Includes in-depth coverage of debugging, dynamic, formal and hybrid verification; Discusses emerging trends which focus on formal and hybrid verification and debugging approaches. | ||
650 | 0 |
_aElectronic circuits. _919581 |
|
650 | 0 |
_aMicroprocessors. _936983 |
|
650 | 0 |
_aComputer architecture. _93513 |
|
650 | 0 |
_aElectronics. _93425 |
|
650 | 1 | 4 |
_aElectronic Circuits and Systems. _936984 |
650 | 2 | 4 |
_aProcessor Architectures. _936985 |
650 | 2 | 4 |
_aElectronics and Microelectronics, Instrumentation. _932249 |
700 | 1 |
_aLettnin, Djones. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _936986 |
|
700 | 1 |
_aWinterholer, Markus. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _936987 |
|
710 | 2 |
_aSpringerLink (Online service) _936988 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9781461422655 |
776 | 0 | 8 |
_iPrinted edition: _z9781461422679 |
776 | 0 | 8 |
_iPrinted edition: _z9781493979318 |
830 | 0 |
_aEmbedded Systems, _x2193-0163 _936989 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-1-4614-2266-2 |
912 | _aZDB-2-ENG | ||
912 | _aZDB-2-SXE | ||
942 | _cEBK | ||
999 |
_c76082 _d76082 |