• DocumentCode
    713949
  • 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
  • fYear
    2015
  • fDate
    21-22 April 2015
  • Firstpage
    389
  • Lastpage
    394
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Radioelektronika (RADIOELEKTRONIKA), 2015 25th International Conference
  • Conference_Location
    Pardubice
  • Print_ISBN
    978-1-4799-8117-5
  • Type

    conf

  • DOI
    10.1109/RADIOELEK.2015.7128971
  • Filename
    7128971
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=713949