Framework of File System Robustness Test
![]() |
Kim, Young-Jin
(한양대학교 전자통신컴퓨터공학과)
Won, You-Jip (한양대학교 전자통신컴퓨터공학과) Kim, Ra-Kie (한양대학교 전자통신컴퓨터공학과) Lee, Mo-Won (한양대학교 전자통신컴퓨터공학과) Park, Jae-Seok (한양대학교 전자통신컴퓨터공학과) Lee, Joo-Wheun (한양대학교 전자통신컴퓨터공학과) |
1 | V. Prabhakaran, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau, 'Model-Based Failure Analysis of Journaling File Systems,' presented at Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN'05) Brighton, United Kingdom, 2005 |
2 | 'The Data Clinic, Hard Disk Failure, http://www.dataclinic.co.uk/hard-disk-failures.htm,' 2004 |
3 | K. Hannu, S. Heikki, and L. Fabrizio, 'Detection of Defective Media in Disks,' presented at Defect and Fault Tolerance in VLSI Systems, 1993., TheIEEE International Workshop on, Venice, Italy, 1993 |
4 | K. Hannu, S. Heikki, and L. Fabrizio, 'Detecting Latent Sector Faults in Modern SCSI Disks,' presented at Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1994., MASCOTS '94., Proceedings of the Second International Workshop on, Durham, NC, USA, 1994 |
5 | hard disk device drive, 'http://www.storagereview.com/guide2000/ref/hdd' |
6 | Hard disk register & ide, 'http://hem.passagen.se/communication/ide.html' |
7 | Tripwire Inc. Tripwire Software. 'http://www.tripwire.com' |
8 | EXT3 File system harddisk register value. '/usr/src/linux/include/linux/hdreg.h' |
9 | hard disk constitution, 'http://www.pcguide.com/ref/hdd/op/index.htm' |
10 | Jake Adriaens, Dan Gibson, 'A Software Layer for IDE Disk Fault Injection', System Lacking Originality Workshop 2005 |
11 | Linux Test Project, 'http://ltp.sourceforge.net' |
12 | Intel reporting data. Serial e05133r0 'Serial ATA ICRC Reporting' |
13 | Mkfs-build a linux file system, 'http://linux.about.com/od/commands/l/blcmdl8_mkfs.htm' |
14 | Sector remapping, 'http://www.storagereview.com/guide2000/ref/hdd/perf/qual/featuresRemap.html' |
15 | J. H. Barton, E. W. Czeck, Z. Z. Segall, and D. P. Siewiorek, 'Fault Injection Experiments Using FIAT,' IEEE Trans. Comput. 39, 4 (Apr. 1990), vol. 39, pp. 575-582, 1990 DOI ScienceOn |
16 | T. J. Kowalski, 'Fsck : the UNIX file system check program,' in UNIX Vol. II: research system (10th ed.): W. B. Saunders Company, 1990, pp. 581-592 |
17 | H. K. Gene and H. S. Eugene, 'The design and implementation of tripwire: a file system integrity checker,' presented at Proceedings of the 2nd ACM Conference on Computer and communications security, Fairfax, Virginia, United States, 1994 |
18 | The Guide to ATA/ATAPI documentation. 'http://www.stanford.edu/~csapuntz/ide.html' |
19 | J. Yang, P. Twohey, D. Engler, and M. Musuvathi, 'Using Model Checking to Find Serious File System Errors,' presented at Sixth Symposium on Operating Systems Design and Implementation, 2004 |
20 | P. Vijayan, N. B. Lakshmi, A. Nitin, S. G. Haryadi, C. A.-D.Andrea, and H. A.-D. Remzi, 'IRON file systems,' presented at Proceedings of the twentieth ACM symposium on Operating systems principles (Brighton, United Kingdom, October 23 - 26, 2005), Brighton, United Kingdom, 2005 |
21 | S. Gopalan, P. W. Charles, and Z. Erez, 'Ensuring data integrity in storage: techniques and applications,' presented at Proceedings of the 2005 ACM workshop on Storage security and survivability, Fairfax, VA, USA, 2005 |
22 | Freelist Data Structure. 'http://www.graphviz.org/pub/graphviz/CURRENT/doxygen/html/structfreelist.html' |
23 | S.M.A.R.T., 'http://www.die.net/doc/linux/man/man8/smartd.8.html' |
24 | A. Jean, A. Martine, A. Louis, C. Yves, F. Jean-Charles, L. Jean-Claude, M. Eliane, and P. David, 'Fault Injection for Dependability Validation: A Methodology and Some Applications,' IEEE Trans. Softw. Eng. 0098-5589, vol. 16, pp. 166-182, 1990 DOI ScienceOn |
![]() |