プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアのモジュール構造の設計には,シーケンス図が用いられる場合が多い.本論文では,プロセス代数CSPを利用して,複数のシーケンス図から並行システムを合成し,詳細化関係の正しさや設計が要求を満たすかを検証する手法を提案する.本手法では,シーケンス図の合成に適した新しい演算子をCSPに追加する.また,この手法を実現するツールを開発し,効果を確認したことを報告する.
- 2010-01-14
著者
-
鈴木 正人
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
北陸先端科学技術大学院大学
-
鈴木 正人
(株)ルネサステクノロジ
-
磯部 祥尚
産業技術総合研究所
-
磯部 祥尚
電子技術総合研究所
-
鈴木 正人
北陸先端科学技術大学院大
-
海津 智宏
北陸先端科学技術大学院大学
関連論文
- Promelaにおける割り込み制御処理の半自動モデル化 (コンカレント工学)
- Promelaにおける割り込み制御処理の半自動モデル化 (信号処理)
- Promelaにおける割り込み制御処理の半自動モデル化 (VLSI設計技術)
- Promelaにおける割り込み制御処理の半自動モデル化 (回路とシステム)
- 並行システムを解析するための逐次化と状態削減機能の実装--仕様の自動生成を目指して (信号処理)
- ウインターワークショップ・イン・金沢報告 : 総括
- レベルシフトつきΣΔ変調器(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- C-12-26 シリアルATA用低雑音VCO(C-12.集積回路C(アナログ),エレクトロニクス2)
- フラクショナルPLLを用いたスプレッドスペクトラムクロック発生器(VLSI一般(ISSCC2005特集))
- C-12-13 シリアルATA用スプレッドスペクトラムPLL(C-12. 集積回路B(ディジタル), エレクトロニクス2)
- プロセッサの仕様に適応可能なコンパイラのための汎用最適化器
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- CAS2010-25 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- CAS2010-24 Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- ソースコード理解支援機能を持つ開発環境(開発支援(学生セッション))
- レベルシフトつきΣΔ変調器(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- レベルシフトつきΣΔ変調器(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- メトリクスの測定によるリファクタリング支援の自動化(メトリクス(学生セッション))
- Java WEB アプリケーションにおける通信特性の解析と可視化
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- データドメインの詳細化に基づくプログラムの段階的構成法
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障ソフトウェアのための安定記憶の構成方法 : 並列関数型言語CMLによる実装
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (ソフトウェアプロセス)
- 共通例題 ソフトウェアプロセスモデリングのための例題(付録) (ソフトウェアプロセス)
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 履修管理システムにおけるソフトウェアアカウンタビリティ機能の実現法
- オープンソースソフトウェア開発に適したリポジトリ分散の支援機構(開発支援(1)(学生セッション))
- オープンソースソフトウェア開発に適したリポジトリ分散の支援機構
- 位置透過性をもつコンポーネント構成手法とフレームワーク
- リファクタリングとコンポーネント技術による既存ソフトウェアの拡張手法
- 可用性向上の為のソフトウェア再構成機構
- APSEC2000参加報告
- 分散環境における耐故障ソフトウェアの動的再配置
- 既存ソフトウェアのターゲットアーキテクチャ変更に関する研究
- 分散環境における耐故障ソフトウェアのためのフレームワーク : Java RMIによる実装
- プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
- CSP-Prover : スケーラブルな並行システムの検証のための証明器(エージェント)
- CSP-Prover:プロセス代数CSPのための定理証明器
- プロセス計算におけるセキュリティ
- ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- プロセス論理演算子をもつプロセス代数
- A Low-Jitter 1.5-GHz and Large-EMI reduction 10-dBm Spread-Spectrum Clock Generator for Serial-ATA (回路とシステム)
- A Low-Jitter 1.5-GHz and Large-EMI reduction 10-dBm Spread-Spectrum Clock Generator for Serial-ATA (信号処理)
- A Low-Jitter 1.5-GHz and Large-EMI reduction 10-dBm Spread-Spectrum Clock Generator for Serial-ATA (通信方式)
- 急性虫垂炎に対する治療戦略
- SV-1-1 胸腹部大動脈瘤に対するopen surgery(SV-1 特別ビデオセッション(1)心臓・血管-1,第112回日本外科学会定期学術集会)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- PS-146-8 当科での肝胆膵手術におけるSSIの減少を目指した術前immunonutntionの試み(PS-146 肝 基礎・その他,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-138-7 下部直腸癌に対する術後排便機能に着目した括約筋間切除術(PS-138 大腸 低侵襲,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-130-1 高度進行直腸癌に対する術前補助療法の比較検討(PS-130 大腸 集学的治療-1,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-015-8 治癒切除不能大腸癌に対するOPTIMOX1療法の治療成績(PS-015 大腸 化学療法-2,ポスターセッション,第112回日本外科学会定期学術集会)
- SF-119-6 ITを用いた乳癌手術 : いわゆるユビキタス環境への取り組み(SF-119 サージカルフォーラム(119)乳腺 画像診断,第112回日本外科学会定期学術集会)
- VSY-1-3 当科におけるMinimally invasive surgeryとしての腹腔鏡下膵切除の現況と問題点(VSY-1 ビデオシンポジウム(1)膵の縮小手術-その適応と問題点-,第112回日本外科学会定期学術集会)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 400ppmの送受信周波数偏差に対応可能なシリアルATA用PHY(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- VD-018-1 基部置換を伴わない大動脈弁形成術のコンセプトと手技(VD-018 ビデオセッション(18)心血管,第112回日本外科学会定期学術集会)