Mercurial > hg > Document > Growi

changeset 127:252d26ac7623

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
backup 2023-06-06
author autobackup
date Tue, 06 Jun 2023 00:10:03 +0900
parents 314fd9757b8f
children 8dfc12dd7740
files user/matac42/notes/2023/06/05.md
diffstat 1 files changed, 43 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/matac42/notes/2023/06/05.md	Tue Jun 06 00:10:03 2023 +0900
@@ -0,0 +1,43 @@
+# 研究目的
+
+## システム全体の信頼性を上げたい
+
+- システムの構成要素全体の信頼性を上げる必要がある
+  - アプリケーション
+  - OS
+  - ファイルシステム
+  - DB
+  - メモリとSSD
+  - 分散ノード
+  - ネットワーク
+
+---
+
+## Gears OSを使って実現する
+
+- CodeGear
+  - 処理の単位
+- DataGear
+  - データの単位
+- metaGear
+  - データの整合性
+  - 資源管理
+
+---
+
+## 信頼性を上げる方法
+
+- 証明
+  - GearsAgdaを使ってinvariantを証明する
+- テスト
+- モデル検査
+- システムの構成要素全体にこれらの方法を適用したい
+- 既存システムの信頼性における問題点の解決
+
+---
+
+## 進捗など
+
+- 中間報告書、中間報告書に対するフィードバック、研究計画書が完了
+- 就活中
+    - 早くて6月には完了予定
\ No newline at end of file