Title :
Verifying properties of Resilient File System
Author :
Horalek, J. ; Sobeslav, V. ; Cimler, R.
Author_Institution :
Fac. of Inf. & Manage., Univ. Hradec Kralove, Hradec Kralove, Czech Republic
Abstract :
This article introduces a new file system based on the NTFS file system. Resilient File System (ReFS) is intended for server use and contains new data structure features and access. The goal of the paper is to introduce principles of these new features, perform their verification by the selected test and present their evaluation.
Keywords :
authorisation; data structures; file servers; program verification; NTFS file system; ReFS verification; data access; data structure feature; resilient file system; server use; Aerospace electronics; Benchmark testing; File systems; Operating systems; Power capacitors; Servers; Writing;
Conference_Titel :
Radioelektronika (RADIOELEKTRONIKA), 2015 25th International Conference
Conference_Location :
Pardubice
Print_ISBN :
978-1-4799-8117-5
DOI :
10.1109/RADIOELEK.2015.7128971
