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

FAUmachine is a virtual machine for the highly detailed simulation of standard PC hardware together with an environment. FAUmachine comes with fault injection capabilities and an automatic experiment controller facility. Due to its use of just-in-time compiler techniques, it offers good performance. This tool description introduces the new feature of FAUmachine to simulate systems deterministically. This will enable developers to design and test complex systems for fault tolerance by running identically reproducible automated tests in reasonable time and thus even allow testing for real time constraints.

[1]  Peter E. Strazdins,et al.  Cycle accurate memory modeling a case-study in validation , 2005, 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

[2]  Yu Liu,et al.  Parallel network simulation under distributed Genesis , 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

[3]  Murat Yuksel,et al.  Simulation of large scale networks III: ROSS.Net: optimistic parallel simulation framework for large-scale internet models , 2003, WSC '03.

[4]  S. Altmann,et al.  Using ModelSim, Matlab/Simulink and NS for Simulation of Distributed Systems , 2004 .

[5]  Volkmar Sieh,et al.  Fast Simulation of Stuck-At and Coupling Memory Faults Using FAUmachine , 2005 .

[6]  Fabrice Bellard,et al.  QEMU, a Fast and Portable Dynamic Translator , 2005, USENIX Annual Technical Conference, FREENIX Track.

[7]  Uwe Hatnik,et al.  Using ModelSim, Matlab/Simulink and NS for Simulation of Distributed Systems , 2004, Parallel Computing in Electrical Engineering, 2004. International Conference on.

[8]  Christopher D. Carothers,et al.  Large-scale TCP models using optimistic parallel simulation , 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

[9]  Mario Dal Cin,et al.  Evaluating fault-tolerant system designs using FAUmachine , 2007, EFTS '07.

[10]  Oliver Tschäche.  Dependability Benchmarking of Linux based Systems , 2004 .

[11]  Ahmed E. Kamal.  Discrete-time modeling of TCP Reno under background traffic interference with extension to RED-based routers , 2004, Perform. Evaluation.

[12]  Volkmar Sieh,et al.  Advanced virtualization techniques for FAUmachine , 2004 .

[13]  Ravi R. Iyer.  On modeling and analyzing cache hierarchies using CASPER , 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..

[14]  Peter Strazdins,et al.  Cycle Accurate Memory Modelling: A Case-Study Variation , 2005 .

[15]  Luís Ferreira Pires,et al.  Specification and validation of a real-time parallel kernel using LOTOS , 2001, MASCOTS 2001, Proceedings Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[16]  Mario Dal Cin,et al.  Reproducible dependability benchmarking experiments based on unambiguous benchmark setup descriptions , 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..