• DocumentCode
    2900532
  • Title

    Verification-Based Multi-backup Firmware Architecture, an Assurance of Trusted Boot Process for the Embedded Systems

  • Author

    Yin, Hongfei ; Dai, Hongjun ; Jia, Zhiping

  • Author_Institution
    Dept. of Comput. Sci. & Technol., Shandong Univ., Jinan, China
  • fYear
    2011
  • fDate
    16-18 Nov. 2011
  • Firstpage
    1188
  • Lastpage
    1195
  • Abstract
    NAND flash has been widely used as the only non-volatile storage device in the embedded systems. However, it has high rates of bad block, which may lead the stored programs damaged. Especially for the firmware including bootloader and OS, this will lead the system crash immediately. This paper proposes a novel verification-based multi-backup firmware architecture (VMFA) to improve the reliability with the multiple copies of firmware in NAND flash. According to the theory of chain of trust, during the boot process, the integrity of one program should be checked before it gets the right to execute, and the program can be executed only on condition that its integrity is valid. Meanwhile, the system can automatically load and measure the backup copies and verify the integrity when the original program is damaged. Some experiments are taken on a real development platform and the VMFA is measured with time module to analyze the boot time. The results show that the system can work well with VMFA and the boot process can be ensured with the suitable verifications.
  • Keywords
    NAND circuits; embedded systems; firmware; flash memories; formal verification; NAND flash; OS; VMFA; bootloader; embedded systems; nonvolatile storage device; trusted boot process; verification-based multibackup firmware architecture; Ash; Computer architecture; Embedded systems; Hardware; Kernel; Registers; SDRAM; Multi-backup Firmware; Preboot; Reliability of Embedded System; Trusted Boot Process;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Trust, Security and Privacy in Computing and Communications (TrustCom), 2011 IEEE 10th International Conference on
  • Conference_Location
    Changsha
  • Print_ISBN
    978-1-4577-2135-9
  • Type

    conf

  • DOI
    10.1109/TrustCom.2011.160
  • Filename
    6120953