Formalising flash memory: First steps

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2007, Pages 251-260

  Butterfield, Andrew ^a   Woodcock, Jim ^b  

^a TRINITY COLLEGE DUBLIN   (Ireland)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODELING; HARDWARE DEVICES; INTERNAL ARCHITECTURE; NAND FLASH MEMORY; OPEN STANDARDS;

FLASH MEMORY;

EID: 46749128169     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2007.23     Document Type: Conference Paper

References (20)

1. Seiichi Aritome et al. Reliability issues of flash memory cells (invited paper). Proc. of the IEEE, 81(5):776-788, May 1993.
2. Konstantine Arkoudas, Karen Zee, Viktor Kuncak, and Martin C. Rinard. Verifying a file system implementation. In Jim Davies, Wolfram Schulte, and Michael Barnett, editors, ICFEM, volume 3308 of Lecture Notes in Computer Science, pages 373-390. Springer, 2004.
3. Maritta Heisel. Specification of the unix file system: A comparative case study. In Algebraic Methodology and Software Technology, pages 475-488, 1995.
4. Tony Hoare. The verifying compiler: A grand challenge for computing research. Journal of the ACM, 50(1):63-69, 2003.
5. Hynix Semiconductor et al. Open NAND Flash Interface Specification. Technical Report Revision 1.0, ONFI, www.onfi.org, 28th December 2006.
6. Han joon Kim and Sang goo Lee. A new flash memory management for flash storage system. In COMPSAC, page 284. IEEE Computer Society, 1999.
7. Rajeev Joshi and Gerard J. Holzmann. A mini challenge: Build a verifiable filesystem. In Proc. Verified Software: Theories, Tools, Experiments (VSTTE), Zürich, 2005.
8. Taeho Kgil and Trevor Mudge. Flashcache: a nand flash memory file cache for low power web servers. In CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, pages 103-112, New York, NY, USA, 2006. ACM Press.
9. Seung-Ho Lim and Kyu-Ho Park. An efficient NAND flash file system for flash memory storage. IEEE Transactions on Computers, 55(7):906-912, July 2006.
10. Charles Manning. Introducing YAFFS, the first NANDspecific flash file system. LinuxDevices.com, Sep 2002.
11. B. Marsh, F. Douglis, and P. Krishnan. Flash memory file caching for mobile computers. In Trevor N. Mudge and Bruce D. Shriver, editors, Proceedings of the 27th Annual Hawaii International Conference on System Sciences, Vol. I: Architecture, HICSS'94 (Maui, Hawaii, January 4-7, 1994), volume 1, pages 451-460, Los Alamitos-Washington-Brussels-Tokyo, 1994. IEEE Computer Society Press.
12. Silvio Lemos Meira, Ana Lúcia C. Cavalcanti, and Cassio Souza Santos. The Unix filing system: A MooZ specification. In Kevin Lano and Howard Haughton, editors, Object-Oriented Specification Case Studies, The Object-Oriented Series, chapter 4, pages 80-109. Prentice-Hall, New York, NY, 1994.
13. Carrol Morgan and Bernard Sufrin. Specification case studies, chapter Specification of the UNIX filing system, pages 91-140. Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK, 1987.
14. Axel Sikora, Frank-Peter Pesl, Walter Unger, and Uwe Paschen. Technologies and reliability of modern embedded flash cells. Microelectronics Reliability, 46(12):1980-2005, 2006.
15. J. M. Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, 2nd edition, 1992.
16. Gregory G. Williams et al. NAND flash memory management. US Patent Application Publication, US2006/0239075 Al, Oct 2006.
17. Jim Woodcock. First steps in the verified software grand challenge. IEEE Computer, 39(10):57-64, 2006.
18. Jim Woodcock and Jim Davies. Using Z. Intl. Series in Computer Science. Prentice Hall, 1996.
19. David Woodhouse. JFFS: The Journalling Flash File System. Ottawa Linux Symposium 2001, Oct 2001.
20. Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Using model checking to find serious file system errors. ACM Trans. Comput. Syst, 24(4):393-423, 2006.