• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

The partitioning mechanism and RTOS for high reliability system

Research Project

Project/Area Number 26330062
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Computer system
Research InstitutionNagoya University

Principal Investigator

Shinya Honda  名古屋大学, 情報学研究科, 准教授 (20402406)

Project Period (FY) 2014-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Keywords組込みシステム / RTOS / 高信頼システム / パーティショニング / 機能安全 / 車載システム / リアルタイムOS
Outline of Final Research Achievements

To integration of different safety integrity level software in the single embedded computer, a partitioning mechanism such as memory and time protection is required for high reliability system.
In this work, the time partitioning mechanism for high reliability system is proposed. We realized the partitioning OS with proposed time protection mechanism. This partitioning OS is open to the public as open source software.

Report

(5 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (5 results)

All 2018 2017 Other

All Presentation (4 results) Remarks (1 results)

  • [Presentation] 車載システム向けのOS管理外割込みパーティ ショニング機構2018

    • Author(s)
      本田晋也,岡部亮,攝津敦
    • Organizer
      第47回組込みシステム合同研究発表会(ETNET2018)
    • Related Report
      2017 Annual Research Report
  • [Presentation] 車載システム向けの仮想マシンの割込み応答性向上手法2017

    • Author(s)
      本田晋也,岡部亮,攝津敦
    • Organizer
      情報処理学会研究報告
    • Place of Presentation
      沖縄
    • Year and Date
      2017-03-09
    • Related Report
      2016 Research-status Report
  • [Presentation] TrustZone for ARMv8-Mを利用した軽量メモリ保護RTOS2017

    • Author(s)
      河田 智明,本田 晋也
    • Organizer
      情報処理学会研究報告
    • Place of Presentation
      沖縄
    • Year and Date
      2017-03-09
    • Related Report
      2016 Research-status Report
  • [Presentation] 車載システム向けハードウェア仮想化支援機能によるRTOS一体型仮想マシンモニタ2017

    • Author(s)
      本田晋也, 鈴木均 , 樋口正雄, 福井昭也
    • Organizer
      情報処理学会研究報告
    • Place of Presentation
      福岡
    • Year and Date
      2017-03-01
    • Related Report
      2016 Research-status Report
  • [Remarks] ATK2-SC1-MCTP 1.0.0 RH850F1H(GHS)簡易パッケージ

    • URL

      https://www.toppers.jp/atk2-e-download.html#rh850f1h

    • Related Report
      2016 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi