Abstract
This tool presentation describes UMLinux, a versatile framework for testing the behavior of networked machines running the Linux operating system in the presence of faults. UMLinux can inject a variety of faults into the hardware of simulated machines, such as faults in the computing core or peripheral devices of a machine or faults in the network connecting the machines. The system under test, which may include several machines, as well as the fault- and workload run on this system are configurable.
UMLinux has a number of advantages over traditional SWIFI and simulation tools: speed, immunity of fault-injection and logging processes from the state of the machine into which the faults are injected and binary compatibility with real world data and programs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Barton, E. Czeck, Z. Segall, and D. Siewiorek. Fault injection experiments using FIAT. IEEE Transactions on Computers, 39(4):575–582, 1990.
K. Buchacker and V. Sieh. Framework for testing the fault-tolerance of systems including OS and network aspects. In Proceedings Sixth IEEE International High-Assurance Systems Engineering Symposium, pages 95–105, 2001.
J. Carreira, H. Madeira, and J. G. Silva. Xception: Software fault injection and monitoring in processor functional units. In 5th International Working Conference on Dependable Computing for Critical Applications, pages 135–149, 1995.
G. J. Carrette. Crashme. http://people.delphi.com/gjc/crashme.html, 1996.
Conntectix Corporation. Virtual PC. http://www.connectix.com/, 2001.
DBench-Dependability Benchmarking (Project IST-2000-25425). Coordinator: Laboratoire d’Analyse et d’Architecture des Systèmes du Centre National de la Recherche Scientifique, Toulouse, France; Partners: Chalmers University of Technology, Göteborg, Sweden; Critical Software, Coimbra, Portugal; Faculdade de Ciencias e Technologia da Universidade de Coimbra, Portugal; Friedrich-Alexander Universität, Erlangen-Nürnberg, Germany; Microsoft Research, Cambridge, UK; Universidad Politechnica de Valencia, Spain. http://www.laas.fr/DBench/, 2001.
J. Dike. A user-mode port of the Linux kernel. In 5th Annual Linux Showcase & Conference, Oakland, California, 2001.
H.-J. Höxer, K. Buchacker, and V. Sieh. Umlinux-a tool for testing a linux system’s fault tolerance. In LinuxTag 2002, Karlsruhe, Germany, June 6-9, 2002, 2002.
E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, and J. Karlsson. Fault injection into VHDL models: The MEFISTO tool. In Proceedings of the 24th IEEE International Symposium on Fault Tolerant Computing, pages 66–75, 1994.
G. Kanawati, N. Kanawati, and J. Abraham. FERRARI: A tool for the validation of system dependability properties. In Proceedings of the 22th IEEE International Symposium on Fault Tolerant Computing, pages 336–344, 1992.
N. Kropp, P. J. Koopman, and D.P. Siewiorek. Automated robustness testing of off-the-shelf software components. In Proceedings of the 28th IEEE International Symposium on Fault Tolerant Computing, pages 230–239, 1998.
K. Lawton. Plex86. http://www.plex86.org/, 2001.
B.P. Miller, D. Koski, C.P. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. Steidl. Fuzz revised: A re-examination of the reliability of UNIX utilities and services. Computer Science Technical Report 1268, University of Wisconsin-Madison, 1995.
M. Rodríguez, F. Salles, J. C. Fabre, and J. Arlat. MAFALDA: Microkernel assessment by fault injection and design aid. In 3rd European Dependable Computing Conference, pages 208–217, 1993.
M. Rosenblum, S.A. Herrod, E. Witchel, and A. Gupta. Complete computer simulation: The simos approach. IEEE Parallel and Distributed Technology, Fall, 1995.
V. Sieh. Fault-injector using UNIX ptrace interface. Internal Report 11/93, IMMD3, Universität Erlangen-Nürnberg, 1993.
V. Sieh and K. Buchacker. Testing the fault-tolerance of networked systems. In U. Brinkschulte, K.-E. Gröspietsch, C. Hochberger, and E. W. Mayr, editors, International Conference on Architecture of Computing Systems ARCS 2002, Workshop Proceedings, pages 37–46, 2002.
V. Sieh, O. Tschäche, and F. Balbach. VERIFY: Evaluation of reliability using VHDL-models with integrated fault descriptions. In Proceedings of the 27th IEEE International Symposium on Fault Tolerant Computing, pages 32–36, 1997.
Source Forge. Bochs IA-32 Emulator Project. http://bochs.sourceforge.org/, 2001.
Virtutech Inc. simics. http://www.simics.com/, 2001.
VMware Inc. VMware. http://www.vmware.com/, 2001.
W. Zhang. Linux virtual server for scalable network services. In Ottawa Linux Symposium 2000, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sieh, V., Buchacker, K. (2002). UMLinux - A Versatile SWIFI Tool. In: Bondavalli, A., Thevenod-Fosse, P. (eds) Dependable Computing EDCC-4. EDCC 2002. Lecture Notes in Computer Science, vol 2485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36080-8_16
Download citation
DOI: https://doi.org/10.1007/3-540-36080-8_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00012-9
Online ISBN: 978-3-540-36080-3
eBook Packages: Springer Book Archive