東華大學圖書館 |

Software and system development using virtual platforms = full-system simulation with wind river simics /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Software and system development using virtual platforms/ Daniel Aarno, Jakob Engblom.
其他題名:	full-system simulation with wind river simics /
作者:	Aarno, Daniel.
其他作者:	Engblom, Jakob.
出版者:	Waltham :Morgan Kaufmann, : 2015.,
面頁冊數:	1 online resource (366 p.).
附註:	Network Simulation in Simics.
內容註:	Front Cover; Software and System Development using Virtual Platforms; Copyright Page; Contents; Foreword; Acknowledgments; 1 Introduction; Virtual Platforms; Terminology; Simulation and the System Development Lifecycle; Hardware Development and Design; Pre-Silicon; Platform Development; Application Development; Debugging; Testing and Integration; Deployment; Maintenance; Training; Longevity Support; Certifiable and Safety-Critical Systems; Model-Driven Development; Processor-in-the-Loop Testing; Hardware-in-the-Loop Testing; Integration Testing; Book Outline; Trademark Information.
內容註:	2 Simics fundamentalsSimics Architecture and Terminology; Running Real Software Stacks; Interacting with Simics; Software Debugging; Scripting; Configurations and the Simics Object Model; Attributes; Interfaces; Haps; Ports; Documentation and Metadata; Call Chain and Locality; Changing the Configuration; Components; Time in Simics; Abstraction Levels; Event-Based Simulation; Multiprocessor Scheduling; Cycle-Accurate Simulation; Memory Maps; Hierarchical Memory Maps; RAM, ROM, and Flash; PCI and Other Memory-Mapped Interfaces; Multiprocessor Memory Maps; Memory Images; Checkpointing.
內容註:	Portability and Implementation IndependenceDifferential Checkpoints; Session State and Simulation State; Determinism and Repeatability; Reverse Execution; Recorders; Simics Performance Technology; Simulation Speed Measures; Multiprocessor Simulation Speed Measurement; Speed Variability; Temporal Decoupling; Performance Effects of Changing Target Timing; Models and Extensions; 3 Develop and debug software on Simics; Development Means Testing; Agent-Based Debugger; Debugging Using Simics; System-Level Debugger; OS Awareness; Simics Breakpoints; Reverse Debugging; Navigating in Time.
內容註:	Debugging Hard-to-Talk-to TargetsMulticore Debugging; Low-Level Debug; UEFI BIOS Debugging; User-Level Debugging; Performance Analysis; Profiling Instruction Counts; Cache and Memory; Impact of Hardware Accelerators; Inspecting the Hardware State; Counting Hardware Events; Device Registers; Memory Mappings; System Panel; Fault-Injection and Boundary Conditions; Configuration Changes; Changing the Software State; Hardware Fault Injection; Test Result Check; Using Checkpoints; Save the Boot Time; Save Work and Continue Later; Positioning for Analysis; Share Setups; Nightly Boot; Adding Actions.
內容註:	AnnotationsBug Transportation; Cloning Setups; Record-Replay Debugging; Differential Checkpoint Saving; Gear Shift; Loading Software; Continuous Integration; Software Test Automation on Simics; Shortcuts in the Software Stack; Incomplete Software; Simulator-Aware Software; Backdoor Outputs; 4 System configuration in Simics; Simics Component System; Preconfiguration Objects; Component Connectors; System Metadata; Setup Scripts; Hardware Setup Scripts; Software Setup Scripts; Script Parameters; Script Branches; System Panel; Automating Target Configuration and Boot; 5 Networking.
標題:	Computer science. -
電子資源:	https://www.sciencedirect.com/science/book/9780128007259
ISBN:	9780128008133 (electronic bk.)

Software and system development using virtual platforms = full-system simulation with wind river simics /
Aarno, Daniel.

Software and system development using virtual platformsfull-system simulation with wind river simics /[electronic resource] :Daniel Aarno, Jakob Engblom. - Waltham :Morgan Kaufmann,2015. - 1 online resource (366 p.).

Network Simulation in Simics.

Includes bibliographical references and index.

Front Cover; Software and System Development using Virtual Platforms; Copyright Page; Contents; Foreword; Acknowledgments; 1 Introduction; Virtual Platforms; Terminology; Simulation and the System Development Lifecycle; Hardware Development and Design; Pre-Silicon; Platform Development; Application Development; Debugging; Testing and Integration; Deployment; Maintenance; Training; Longevity Support; Certifiable and Safety-Critical Systems; Model-Driven Development; Processor-in-the-Loop Testing; Hardware-in-the-Loop Testing; Integration Testing; Book Outline; Trademark Information.

Virtual platforms are finding widespread use in both pre- and post-silicon computer software and system development. They reduce time to market, improve system quality, make development more efficient, and enable truly concurrent hardware/software design and bring-up. Virtual platforms increase productivity with unparalleled inspection, configuration, and injection capabilities. In combination with other types of simulators, they provide full-system simulations where computer systems can be tested together with the environment in which they operate. This book is not only about what simulat.

ISBN: 9780128008133 (electronic bk.)

LCCN: 2014027622Subjects--Topical Terms:

523869
Computer science.
Index Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: QA76.76.D47

Dewey Class. No.: 005.1

Software and system development using virtual platforms = full-system simulation with wind river simics /
LDR:04771cmm a2200349 a 4500 001 2223399
006 o d
007 cnu|unuuu||
008 210114s2015 mau ob 001 0 eng d
010 $a 2014027622
020 $a 9780128008133 (electronic bk.)
020 $a 012800813X (electronic bk.)
020 $a 9780128007259
020 $a 0128007257
035 $a (OCoLC)890983859
035 $a EL2020129
040 $a EBLCP $b eng $c EBLCP $d N$T $d E7B $d UMI $d VRC $d OPELS $d YDXCP $d COO $d UIU $d B24X7 $d OCLCF $d DEBBG $d DEBSZ $d OCLCQ $d LIV $d OCLCQ $d MERUC $d KNOVL $d U3W $d D6H $d CEF $d INT $d OCLCQ $d UAB $d AU@ $d OCLCQ $d OCL $d OCLCQ $d BRF $d VT2
041 0 $a eng
050 4 $a QA76.76.D47
082 0 4 $a 005.1 $2 23
100 1 $a Aarno, Daniel. $3 3462800
245 1 0 $a Software and system development using virtual platforms $h [electronic resource] : $b full-system simulation with wind river simics / $c Daniel Aarno, Jakob Engblom.
260 $a Waltham : $b Morgan Kaufmann, $c 2015.
300 $a 1 online resource (366 p.).
500 $a Network Simulation in Simics.
504 $a Includes bibliographical references and index.
505 0 $a Front Cover; Software and System Development using Virtual Platforms; Copyright Page; Contents; Foreword; Acknowledgments; 1 Introduction; Virtual Platforms; Terminology; Simulation and the System Development Lifecycle; Hardware Development and Design; Pre-Silicon; Platform Development; Application Development; Debugging; Testing and Integration; Deployment; Maintenance; Training; Longevity Support; Certifiable and Safety-Critical Systems; Model-Driven Development; Processor-in-the-Loop Testing; Hardware-in-the-Loop Testing; Integration Testing; Book Outline; Trademark Information.
505 8 $a 2 Simics fundamentalsSimics Architecture and Terminology; Running Real Software Stacks; Interacting with Simics; Software Debugging; Scripting; Configurations and the Simics Object Model; Attributes; Interfaces; Haps; Ports; Documentation and Metadata; Call Chain and Locality; Changing the Configuration; Components; Time in Simics; Abstraction Levels; Event-Based Simulation; Multiprocessor Scheduling; Cycle-Accurate Simulation; Memory Maps; Hierarchical Memory Maps; RAM, ROM, and Flash; PCI and Other Memory-Mapped Interfaces; Multiprocessor Memory Maps; Memory Images; Checkpointing.
505 8 $a Portability and Implementation IndependenceDifferential Checkpoints; Session State and Simulation State; Determinism and Repeatability; Reverse Execution; Recorders; Simics Performance Technology; Simulation Speed Measures; Multiprocessor Simulation Speed Measurement; Speed Variability; Temporal Decoupling; Performance Effects of Changing Target Timing; Models and Extensions; 3 Develop and debug software on Simics; Development Means Testing; Agent-Based Debugger; Debugging Using Simics; System-Level Debugger; OS Awareness; Simics Breakpoints; Reverse Debugging; Navigating in Time.
505 8 $a Debugging Hard-to-Talk-to TargetsMulticore Debugging; Low-Level Debug; UEFI BIOS Debugging; User-Level Debugging; Performance Analysis; Profiling Instruction Counts; Cache and Memory; Impact of Hardware Accelerators; Inspecting the Hardware State; Counting Hardware Events; Device Registers; Memory Mappings; System Panel; Fault-Injection and Boundary Conditions; Configuration Changes; Changing the Software State; Hardware Fault Injection; Test Result Check; Using Checkpoints; Save the Boot Time; Save Work and Continue Later; Positioning for Analysis; Share Setups; Nightly Boot; Adding Actions.
505 8 $a AnnotationsBug Transportation; Cloning Setups; Record-Replay Debugging; Differential Checkpoint Saving; Gear Shift; Loading Software; Continuous Integration; Software Test Automation on Simics; Shortcuts in the Software Stack; Incomplete Software; Simulator-Aware Software; Backdoor Outputs; 4 System configuration in Simics; Simics Component System; Preconfiguration Objects; Component Connectors; System Metadata; Setup Scripts; Hardware Setup Scripts; Software Setup Scripts; Script Parameters; Script Branches; System Panel; Automating Target Configuration and Boot; 5 Networking.
520 $a Virtual platforms are finding widespread use in both pre- and post-silicon computer software and system development. They reduce time to market, improve system quality, make development more efficient, and enable truly concurrent hardware/software design and bring-up. Virtual platforms increase productivity with unparalleled inspection, configuration, and injection capabilities. In combination with other types of simulators, they provide full-system simulations where computer systems can be tested together with the environment in which they operate. This book is not only about what simulat.
588 0 $a Print version record.
650 0 $a Computer science. $3 523869
650 0 $a Computer software $x Development. $3 542671
650 0 $a Computer software $x Specifications. $3 3462802
650 0 $a Computer software $x Testing. $3 570748
655 4 $a Electronic books. $2 lcsh $3 542853
700 1 $a Engblom, Jakob. $3 3462801
856 4 0 $u https://www.sciencedirect.com/science/book/9780128007259