Deterministic high-speed simulation of complex systems including fault-injection

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2009, Pages 211-216

  Sand, Matthias ^a   Potyra, Stefan ^a   Sieh, Volkmar ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TEST; COMPLEX SYSTEMS; FAULT INJECTION CAPABILITY; HIGH-SPEED; JUST IN TIME COMPILERS; PC HARDWARE; REAL TIME CONSTRAINTS; VIRTUAL MACHINES;

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; QUALITY ASSURANCE; SOFTWARE TESTING; VIRTUAL REALITY;

REAL TIME SYSTEMS;

EID: 70450092348     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2009.5270335     Document Type: Conference Paper

References (24)

1. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. L. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In SOSP, pages 164-177, 2003.
2. D. Bauer, G. Yaun, C. D. Carothers, M. Yuksel, and S. Kalyanaraman. Simulation of large scale networks III: ROSS.Net: optimistic parallel simulation framework for large-scale internet models. In WSC '03: Proceedings of the 35th conference on Winter simulation, pages 703-711. Winter Simulation Conference, 2003.
3. F. Bellard. QEMU, a fast and portable dynamic translator. In ATEC'05: Proceedings of the USENIX Annual Technical Conference 2005 on USENIX Annual Technical Conference, pages 41-46, Berkeley, CA, USA, 2005. USENIX Association.
4. K. Buchacker, M. Dal Cin, H. Höxer, R. Karch, V. Sieh, and O. Tschäche. Reproducible dependability benchmarking experiments based on unambiguous benchmark setup descriptions. In Proceedings of the International Conference on Dependable Systems and Networks, pages 469-478, 2003.
5. C. R. G. de Farias, L. F. Pires, W. L. de Souza, and C. E. Morón. Specification and validation of a real-time parallel kernel using LOTOS. In MASCOTS, pages 7-14. IEEE Computer Society, 2001.
6. S. Demeulemeester. memtest86+. URL: http://www.memtest.org/, 2008.
7. FAUmachine Team. FAUmachine. URL: http://www.FAUmachine.org/, 2003-2008.
8. U. Hatnik and S. Altmann. Using ModelSim, Matlab/ Simulink and NS for simulation of distributed systems. In PARELEC '04: Proceedings of the international conference on Parallel Computing in Electrical Engineering, pages 114-119, Washington, DC, USA, 2004. IEEE Computer Society.
9. H. Höxer, M. Waitz, and V. Sieh. Advanced virtualization techniques for FAUmachine. In R. Spenneberg, editor, 11th International Linux System Technology Conference, Erlangen, Germany, September 7-10, 2004, pages 1-12, 2004.
10. H. Höxer, M.Waitz, and V. Sieh. Fast simulation of stuck-at and coupling memory faults using FAUmachine. In Supplement to Proc. HASE 2005: International Symposium on High Assurance Systems Engineering (Ninth IEEE International Symposium on High Assurance Systems Engineering Heidelberg, Germany 12-14 October 2005), pages 1-2, Oct. 2005.
11. innotek GmbH. VirtualBox. URL: http://www.virtualbox.org/, 2008.
12. R. R. Iyer. On Modeling and Analyzing Cache Hierarchies using CASPER. In MASCOTS, pages 182-187. IEEE Computer Society, 2003.
13. A. E. Kamal. Discrete-time modeling of TCP Reno under background traffic interference with extension to RED-based routers. Perform. Eval., 58(2-3):109-142, 2004.
14. K. Knopper. Knoppix. URL: http://www.knoppix.org/, 2000-2008.
15. Mentor Graphics Corp. ModelSim - a comprehensive simulation and debug environment for ASIC and FPGA design. URL: http://www.model.com, 2007.
16. A. Over, P. Strazdins, and B. Clarke. Cycle accurate memory modelling: A case-study in validation. In MASCOTS '05: Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pages 85-96, Washington, DC, USA, 2005. IEEE Computer Society.
17. S. Potyra and V. Sieh. High-speed hardware/software cosimulation of complex systems including fault-injection of detailed VHDL-models for PC-components. In Supplement to Proc. Seventh European Dependable Computing Conference, Kaunas, Lithuania, May 7-9, 2008, pages 59-62. Vytautas Magnus University, 2008.
18. S. Potyra, V. Sieh, and M. Dal Cin. Evaluating fault-tolerant system designs using FAUmachine. In EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems, page 9, New York, NY, USA, 2007. ACM.
19. V. Sieh and K. Buchacker. Testing the fault-tolerance of networked systems. In U. Brinkschulte, K.-E. Grosspietsch, C. Hochberger, and E. W. Mayr, editors, International Conference on Architecture of Computing Systems ARCS 2002, Workshop Proceedings, pages 37-46, 2002.
20. Source Forge. Bochs IA-32 emulator project. URL: http://bochs. sourceforge.org/, 2001.
21. B. K. Szymanski, Y. Liu, and R. Gupta. Parallel network simulation under distributed genesis. In PADS '03: Proceedings of the seventeenth workshop on Parallel and distributed simulation, pages 61-68, Washington, DC, USA, 2003. IEEE Computer Society.
22. O. Tschäche. Dependability benchmarking of linux based systems. In Proceedings Informatik 2003, Beiträge des Schwerpunkts Sicherheit - Schutz und Zuverlässigkeit, english, pages 237-248, 2003.
23. VMware Inc. VMware. URL: http://www.vmware.com/, 2001.
24. G. Yaun, C. D. Carothers, and S. Kalyanaraman. Large-scale TCP models using optimistic parallel simulation. In PADS '03: Proceedings of the seventeenth workshop on Parallel and distributed simulation, pages 153-162, Washington, DC, USA, 2003. IEEE Computer Society.