# 研究目的

## GearsOSにおけるinodeを用いたFileSystemの構築

- アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
- 当研究室では，信頼性の保証を目的としたGearsOSを開発している
- GearsOSで未実装の機能である分散ファイルシステムの実装を行う

要件

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

取り入れたい要素

- transaction
- backup & logging
- unix like

## 研究会

タイトル (研究目的のそのまま)

「GearsOSにおけるinodeを用いたFileSystemの構築」

## 研究計画書

4/20までに提出

指導教員と副指導教員のコメントをもらう必要がある。

[研究計画書テンプレ](https://www.tec.u-ryukyu.ac.jp/e-student/student/)

## 履修登録

確認依頼を出したので、確認お願いします。

## ログルーレット

誰か直して欲しい。一緒にやるので。

dragonflyから取り出して、daruに移す。

↓場所

```
+dragonfly+one pwd
/Users/one/src/Members/anatofuz/logroulette
```