# 研究目的

## GearsOSにおけるメモリ管理とそれに対応する分散FS

- アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
- 当研究室では，信頼性の保証を目的としたGearsOSを開発している
- GearsOSで未実装の機能であるメモリ管理システムを構築、考察しそれに対応する分散FSを考察する

要件

- モデル検査による信頼性の保証
  - CbCによるノーマルレベル、メタレベルの切り分け

取り入れたい要素

- transaction
- backup & logging
- unix like

# 研究会

## 発表スライド

- ほとんど卒検と変わらないが，メモリの話を入れた．