モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
モデルベース開発において,UMLで記述されたモデルを対象とした解析法について考察した.モデルの満たす性質,モデルどうしの整合性,等価性などを解析するためには,ペトリネットの解析法が有効であることを,UMLで記述されたモデルのペトリネットへの変換,ペトリネット上での解析を試みることで明らかにした.これにより,モデルベース開発の上流工程における設計の品質が確保され,下流工程からの手戻りなどを減らすことができると期待される.
- 2012-10-25
著者
-
今井 信太郎
岩手県立大学ソフトウェア情報学部
-
新井 義和
岩手県立大
-
猪股 俊光
岩手県立大学ソフトウェア情報学部
-
猪股 俊光
岩手県立大学
-
今井 信太郎
岩手県立大学ソフトウェア情報学研究科
-
猪股 俊光
岩手県立大学大学院ソフトウエア情報学研究科
-
千葉 裕介
岩手県立大学大学院ソフトウェア情報学研究科
関連論文
- 非接触ICカード用セキュアプロセッサSEP-6の開発(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 1N-3 接触型ICカード用セキュアプロセッサSEP-7の開発(組込みとセキュリティ,学生セッション,アーキテクチャ)
- マルチ移動ロボット環境における衝突回避のための局所的な通信を利用したセンサシステムの開発 (ロボットの知能化)
- 3ZD-9 制動力保持機構を持つブレーキシステムにおける学習手法を用いた保持制御(センシング・複雑系・その他,学生セッション,人工知能と認知科学)
- 2ZH-7 アーキテクチャ学習のためのCPUシミュレータの設計と評価(プログラム教育,学生セッション,コンピュータと人間社会)
- 5ZB-2 サイドチャネル攻撃に対するセキュアプロセッサSEP-6の耐タンパ性の評価(セキュリティ(5),学生セッション,セキュリティ)
- 1ZB-8 ホームページ改ざん検知システムにおけるコンテンツ更新状況に基づく更新作業効率化(セキュリティ(1),学生セッション,セキュリティ)
- 4ZA-3 制動力保持機構を持つブレーキ制御システムのための自動起動手法の実車試験による評価(ITS運転支援・画像処理,学生セッション,ネットワーク)
- 1X-4 枝打ロボットのための切断機動作計画アルゴリズム : 実環境に向けた評価と改良(ロボット,学生セッション,人工知能と認知科学)
- 2Q-6 ソフトウェアの不具合箇所のパターン群を用いた検出法(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 6P-5 予防接種支援システムにおける接種計画作成法に関する研究(数理モデルの応用,学生セッション,ソフトウェア科学・工学)
- D-3-8 ソフトウェア製品の不具合原因コードパターン検出のための静的解析法(D-3. ソフトウェアサイエンス,一般セッション)
- 枝認識システムを有する枝打ロボットのための小型な切断機構の開発
- 非接触ICカード用セキュアプロセッサSEP-6の開発(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 再利用可能なコード設計によるクロックレベルシミュレータの開発
- 携帯電話を用いた予防接種支援システムの開発
- 1P1-N-031 枝検出システムを有する枝打ちロボットのための枝マップ構築(非接触センシング,生活を支援するロボメカ技術のメガインテグレーション)
- D-6-6 セキュアプロセッサSEP-5用シミュレータの開発(D-6. コンピュータシステム, 情報・システム1)
- A-9-2 相互監視による障害検知システムにおけるハートビート自動挿入(A-9. 信頼性, 基礎・境界)
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- ユーザ生成情報を利用したホームページ改竄検知システム
- インターネットにおける動的データ改竄検知方式
- 分散システムにおける障害検知方式(安全性,信頼性国際規格,保全性,信頼性一般)
- セキュアプロセッサの開発(アーキテクチャ全般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- RSA暗号の秘密鍵保護機能と暗号計算機能をもつICカード用汎用プロセッサの設計
- A-9-1 相互監視による高信頼度分散システム(ハートビート発生方式)
- ディジタル署名とパトロールを用いた電子情報改ざん検知方式とWWWへの応用(ネットワークセキュリティ)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- コードパターンの検出に適したC言語前処理系解析器の開発
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- 環境の差異を考慮したセンサデータ処理手法の一検討
- コードパターンの検出に適したC言語前処理系解析器の開発
- 1X-1 専門学部を含む学部混成クラスを対象とした一般情報処理教育の実践(1)(情報処理教育,一般講演,コンピュータと人間社会)
- 線形論理によるペトリネット設計の一手法とその実装(システムと制御)
- 2ZA-1 制動力保持機構を持つブレーキ制御システムにおける可視光通信を用いた保持制御(ITS応用,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- プログラミング学習のためのロボット制御システムの開発
- WWW 環境を用いたプログラミング教育に関する考察
- 記号処理教育用言語 Scheme の開発と弓削丸への応用
- 3ZA-2 利用者の操作負荷を軽減した駐車場における車両探索システム(ナビゲーションシステム,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1ZB-2 ネットワーク負荷を考慮したセンサデータ処理の一手法(ユビキタスデータ管理,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 環境埋め込み情報に基づく自律移動ロボットの自己位置同定
- 2P1-D03 群ロボット環境における距離情報に基づくナビゲーション
- 2P1-F1 時分割スケジューリングに基づく複数移動ロボットの環境地図獲得(30. マルチエージェントロボットシステムII)
- 群ロボット環境における局所的通信に基づく衝突回避
- 1P1-I11 赤外光入射角の検出に基づいた移動ロボットの絶対位置計測
- 2P2-N10 半自律移動ロボットの遠隔操作システム : 適応性と信頼性を両立するインターフェースの開発(33. VRとインターフェース)
- 1P2-N-112 視覚弱者のための触覚による環境知覚支援システムに関する基礎研究(医療福祉ロボティクス・メカトロニクス2,生活を支援するロボメカ技術のメガインテグレーション)
- 2P1-44-065 実世界作業ロボットのナビゲーション : オプティカル・フローによるアプローチ
- 剰余群を表現するペトリネットの可達性について
- A-12-3 線形論理により構成されるペトリネットを用いた仕様検証の一手法
- 動作推定のための個人適応性を考慮したセンサデータ処理手法の一検討
- 群ロボット環境における自律的ナビゲーションに関する研究
- 1P1-H06 枝打ロボットのための枝マップ構築システムの評価と改良(非接触センシング)
- モデルベース開発におけるモデリングと解析に関する考察 (システム数理と応用)
- 動作の類似性を利用した動作推定基準構築手法の一検討
- A-9-1 パターン照合を用いた対話型静的検査ツールの開発(A-9.信頼性,一般セッション)
- コードレピュー支援システムのための関数・変数関係の可視化実現法
- プログラムの関数・変数関係の一表現法
- C-024 組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般)
- モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般)
- コードレビュー支援システムのための関数・変数関係の可視化実現法
- プログラムの関数・変数関係の表現法