FAUmachine - A Configurable Virtual Machine |
Links Related to FAUmachine
Emulators/Simulators and Virtualization Tools
- User Mode Linux (UML) from Jeff Dike
-
User Mode Linux runs a complete Linux Kernel as a user mode process on top of a Linux Kernel running on real hardware. Lists a number of related projects (more than I do here).
Jeff Dike's UML is not the same as our FAUmachine, although they evolved round about at the same time and based on the same principles. Since then the two have diverged quite a lot.
- QEMU from Fabrice Bellard
-
QEMU is a fast processor emulator. Using dynamic translation it achieves a reasonable speed while being easy to port to new host CPUs. In its user mode emulation mode, it can launch Linux processes compiled for one CPU on another CPU. In its full system emulation mode, it emulates a full system, including a processor and various peripherials.
- VMWare[tm]
-
VMWare[tm] is a virtual machine which runs as usermode process in Linux (or MS Windows). A number of OS built for x86 can be installed on this virtual machine.
- Virtual PC[tm]
-
Virtual machine originally implementated by Connectix and bought by Microsoft. It runs on a variety of Microsoft OS and runs a number of different OS including Linux.
- Plex86
-
Formerly named FreeMware, an open source project to implement a virtual machine, onto which different OS built for x86 can be installed.
- Simics[tm]
-
Simics simulates a processor at instruction set level. It is capable of simulating high-end target systems with sufficient speed to boot and run operating systems and commercial workloads. According to information from Simics people, it is also capable of fault injection into the simulated hardware.
- Bochs
-
Open source IA-32 processor & hardware simulator.
- SimOS
-
Stanford University mips and alpha hardware simulator.
Tools to Test/Benchmark Software Reliability
- Ballista
-
Ballista tests a number of Posix-Functions as to their reaction to a number of (according to the standard legal and illegal) input parameters. Information about POSIX Standards may be found at http://standards.ieee.org/ or with these Posix Links, including information about Checking Applications for POSIX Conformance.
- Fuzz
-
Fuzz tests commandline and GUI applications by feeding them random input (character streams, keyboard and mouse events). Crash or hang of application is interpreted as failing the test, anything else passes. Tool is automated to a high degree.
- CrashMe
-
CrashMe also uses random input to test applications.
Fault Injection Tools
- VERIFY
-
Extended VHDL-Based fault injection (some papers).
- MAFALDA
-
MAFALDA is a fault injection tool to evaluate commercial micro-kernels. It was designed in a project by Dependable Computing and Fault Tolerance Department (from Laas - Research).
Conferences on Related Topics
(including Fault Injection, Dependability)