Cargando…
Software and System Development using Virtual Platforms : Full-System Simulation with Wind River Simics.
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 prod...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Waltham :
Morgan Kaufmann,
2015.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn890983859 | ||
| 003 | OCoLC | ||
| 005 | 20231120111728.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140920s2015 mau ob 001 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |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 |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 019 | |a 893919832 |a 895336135 |a 1153035784 | ||
| 020 | |a 9780128008133 |q (electronic bk.) | ||
| 020 | |a 012800813X |q (electronic bk.) | ||
| 020 | |z 9780128007259 | ||
| 020 | |z 0128007257 | ||
| 035 | |a (OCoLC)890983859 |z (OCoLC)893919832 |z (OCoLC)895336135 |z (OCoLC)1153035784 | ||
| 050 | 4 | |a QA76.76.D47 | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 100 | 1 | |a Aarno, Daniel. | |
| 245 | 1 | 0 | |a Software and System Development using Virtual Platforms : |b Full-System Simulation with Wind River Simics. |
| 260 | |a Waltham : |b Morgan Kaufmann, |c 2015. | ||
| 300 | |a 1 online resource (366 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Print version record. | |
| 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. | |
| 500 | |a Network Simulation in Simics. | ||
| 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. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 0 | |a Computer software |x Specifications. | |
| 650 | 0 | |a Computer software |x Testing. | |
| 650 | 0 | |a Electronic data processing. | |
| 650 | 6 | |a Informatique. |0 (CaQQLa)201-0063036 | |
| 650 | 7 | |a data processing. |2 aat |0 (CStmoGRI)aat300054636 | |
| 650 | 7 | |a computer science. |2 aat |0 (CStmoGRI)aat300054575 | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Electronic data processing |2 fast |0 (OCoLC)fst00906956 | |
| 650 | 7 | |a Computer science |2 fast |0 (OCoLC)fst00872451 | |
| 650 | 7 | |a Computer software |2 fast |0 (OCoLC)fst00872527 | |
| 650 | 7 | |a Computer software |x Development |2 fast |0 (OCoLC)fst00872537 | |
| 650 | 7 | |a Computer software |x Testing |2 fast |0 (OCoLC)fst00872601 | |
| 655 | 7 | |a Specifications |2 fast |0 (OCoLC)fst01423860 | |
| 700 | 1 | |a Engblom, Jakob. | |
| 776 | 0 | 8 | |i Print version: |a Aarno, Daniel. |t Software and System Development using Virtual Platforms : Full-System Simulation with Wind River Simics. |d Burlington : Elsevier Science, �2014 |z 9780128007259 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780128007259 |z Texto completo |