分散ストレージの安全性検証
スポンサーリンク
概要
- 論文の詳細を見る
組込みソフトウェア開発において,品質向上を目的としたモデルベース開発の採用事例が増えつつある.しかし,モデルベース開発の上流工程への適用拡大は,要求の曖昧さがモデルの厳密性を損なうという問題がある.本稿では,開発の初期段階において,ドメイン固有言語を用いたモデル記述を行なう手法のネットワークを含むストレージシステムへの適用について報告する.ドメイン固有言語の定義には,機能とふるまいのそれぞれに適したフォーマルメソッドを用い,より厳密な記述および検証を行なう手法を検討する.このとき,組み合わせるフォーマルメソッドを互いにもう一方の制約とみなして一貫性を保証しなければならない.
- 2009-07-17
著者
関連論文
- 周期性を持つ非同期通信システムのモデリングに関する研究(モデリング(学生セッション))
- 自己タイミング型パイプラインシステムの性能見積りモデル(VLSI設計技術とCAD)
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- 測定可能な個人プロセスを対象とした形式手法導入に関する提案(形式手法(学生セッション))
- 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- 状態遷移図の同期モデルへの詳細化および検証手法
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- ロボット制御ソフトウェアの形式的モデル検証
- 背表紙画像を用いたネットワーク透過な仮想書架
- 形式仕様記述における階層アーキテクチャ
- Ｗｅｂサービスを用いた読書録サービスの設計と実装
- 仮想書架における背表紙画像生成の自動化
- 自己タイミング型パイプラインシステムのオンチップ・マクロシミュレーション手法(ARC-8:シミュレーション技法,2006年並列/分散/強調処理に関する『高知』サマー・ワークショップ(SWoPP 高知2006))
- 自己タイミング型パイプラインシステムのマクロシミュレーションモデル
- 自己同期型パイプラインシステムのマクロフローモデル(ARC-3:専用プロセッサと時刻管理)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- Web 上における仮想書架の試作と評価 （「ディジタル図書館」ワークショップ 第28回）
- 分散ストレージの安全性検証
- VDM記述からのPromela記述生成における変換手法の提案
- オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
- オブジェクト指向の枠組によるループ並列化記述
- OMT法による並列化コンパイラ中間言語フレームワークの構築
- 規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告-OpenFlowコントローラ開発への形式手法導入-
- ツールによる形式モデルの成熟度測定法の提案
- 設計時の決定における依存関係の表記法