サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
スポンサーリンク
概要
- 論文の詳細を見る
組込みソフトウェア開発ではモデルベース開発が注目されており,システムのモデル化とシミュレーションのためにMATLAB/Simulinkが広く用いられている.Simulinkでは,システムは階層化ブロック線図の一種であるSimulinkモデルで表現される.Simulinkモデルはサブシステムによる階層構造の作成基準が設計者に依存するために,大規模なモデルでは可読性や再利用性が低下する場合がある.本研究では,サブシステム構造の境界に置かれる入出力ブロックとその他のブロックとの間の接続情報を集計し,ブロックの利用傾向を求めることによってSimulinkモデルの構造評価を行う手法を提案する.複数の企業の実モデルを利用した適用実験により提案手法の有用性を議論する.
- 2012-07-20
著者
-
小林 隆志
名古屋大学大学院情報科学研究科
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学工学部電気工学第二
-
小林 隆志
名古屋大学
-
久保 孝行
アイシン・エィ・ダブリュ株式会社 解析技術部
-
阿草 清澄
京都大学学術情報メディアセンター
-
久保 孝行
アイシン・エイ・ダブリュ株式会社
-
阿草 清滋
名古屋大学情報科学研究科
-
小林 孝壽
名古屋大学大学院情報科学研究科
関連論文
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- BoFセッション「クラウドって正直どう?」実施報告(BoFセッション)
- ガスケットの非石綿化とシーリング技術の動向
- Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
- Recognizability of Redexes for Higher-Order Rewrite Systems
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向 (特集 ソフトウェア工学)
- 講義講演シーン検索におけるレーザポインタ情報の活用法(コンテンツ技術,データ工学論文)
- RFIDを用いた学会参加者ネットワーク表示システムとその利用
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
- プログラムの正規化に基づいた差分抽出法の提案
- 意味を考慮した差分抽出ツール
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向
- 音声情報を統合したプレゼンテーションコンテンツ検索(情報検索,データ工学論文)
- ユースケース記述に対するフレームワーク利用法の導出(アーキテクチャ・フレームワーク(学生セッション))
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- アクセスログに基づくWebページ推薦におけるLCSの利用とその解析(情報融合)
- WebアクセスログのLCSを用いたWebページの推薦手法(履歴応用,夏のデータベースワークショップDBWS 2006)
- WebアクセスログのLCSを用いたWebページの推薦手法(履歴応用)
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 第6回アジア太平洋ソフトウェア工学国際会議(APSEC'99)報告
- ソフトウェアの大局的可視化のための組織化メトリクス
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- ファイル検索におけるアクセスログから抽出した関連度の利用(夏のデータベースワークショップ2007(データ工学,一般))
- ファイル検索におけるアクセスログから抽出した関連度の利用(情報抽出,夏のデータベースワークショップ2007(データ工学,一般))
- ファイル検索に向けたアクセスログからのファイル間関連度の導出
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング(e-Learning,夏のデータベースワークショップDBWS 2006)
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング(e-Learning)
- 講演シーン検索における検索語出現状況に基づくレーザーポインタ情報のフィルタリング
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング (夏のデータベースワークショップDBWS 2006)
- 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- 要求フレームに基づいたソフトウェア要求仕様化技法
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- メタ情報とコンテキスト情報を用いた入力補完機能と XPath 入力への応用
- バリエーション並行開発のための版管理ツールと統合開発環境
- 細粒度リポジトリに基づいたCASEツール・プラットフォームSapid(並列処理)
- 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
- OXTHAS : Webサービスベースのワークフロー管理における障害を考慮した負荷分散手法(データ工学研究専門委員会推薦論文,コンテンツ技術,Web情報システム)
- 5ZK-9 キーワード非含有ファイルを検索可能とするファイル間関連度を用いた検索手法(情報爆発時代におけるマルチメディアデータと位置依存情報処理,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ(クエリ,夏のデータベースワークショップDBWS 2006)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ(クエリ)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ
- Webサービスベースのワークフロー管理における信頼性と負荷を考慮したスケジューリングパラメタ調整法
- 柔軟なコンテンツ管理のためのルール処理への弁別ネットワークの適用
- 生活習慣によってもたらされる酸化ストレス定量化に関する検討
- ウインターワークショップ2009・イン・宮崎 開催報告
- PVP 2007/CREEP8出席報告
- ASME PVP 2006/ICPVT-11 Conference に出席して
- ベイジアンネットワークを用いた実装プラットフォームの選択支援
- 第15回アジア太平洋ソフトウェア工学国際会議(APSEC 2008)参加報告
- 機械工学科演習室のシンクライアントシステム移行 と設計教育での活用法
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- 2010 ASME Pressure Vessels and Piping Conference に出席して
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- 変更支援のための成果物アクセス履歴マイニング
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- Preliminary Assessment of Software Metrics based on Coding Standards Violations
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- 2011 ASME Pressure Vessels and Piping Conference に出席して
- IT好き放題:面白さは突然に
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- A Session Type System with Subject Reduction
- ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
- データ依存の伝播確率に基づく欠陥箇所特定支援
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
- データ依存の伝播確率に基づく欠陥箇所特定支援
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル