MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア工学研究会と組込みシステム研究会では,2004年より3年間にわたって,コンテスト形式で組込み開発におけるモデル駆動/中心型のソフトウェアシステム開発を競うMDDロボットチャレンジを開催してきた.本稿では,組込みシステム開発におけるモデル駆動開発や周辺のソフトウェア/システム工学技術の役割や可能性,および,それらの実践的な教育方法を,2006年を中心とした過去の開催結果より分析して報告する.また,分析結果を踏まえて今後の同種のチャレンジのあり方や組込み開発一般におけるモデル駆動開発の可能性を考察する.
- 2007-05-28
著者
-
久保秋 真
サイバービーンズ
-
渡辺 晴美
立命館大学理工学部情報学科
-
渡辺 晴美
東海大学情報通信学部
-
渡辺 晴美
東海大学
-
鷲崎 弘宣
国立情報学研究所
-
小林 靖英
アフレル
-
小倉 信彦
武蔵工業大学
-
飯田 周作
専修大学
-
飯田 周作
専修大学文学部・社会知性開発研究センター
-
小倉 信彦
東京工業大学精密工学研究所認知機構研究分野
-
小倉 信彦
武蔵工業大学環境情報学部
-
小倉 信彦
東工大精研
-
鷲崎 弘宜
早稲田大学基幹理工学部情報理工学科
関連論文
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- ウインターワークショップ2008・イン・道後開催報告
- リニアアレイ振動子の放射音場の位相特性
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- MDDロボットチャレンジ2006開催報告(MDDロボットチャレンジ)
- 6Q-7 要求仕様とモデルの共通性・可変性分析によるソフトウェアプロダクトライン構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 文書間類似度によるソフトウェアパターン間関連分析と複合関連の導出
- ロボットソフトウェアデザインコンテストにおける組込みソフトウェアの品質評価
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- B-052 ソフトウェアパターン文書の解析および体系化(B.ソフトウェア)
- 文書中のパターン間の文書類似度による関連分析
- 中世英文学資料の認識および解析 : 意義・問題点および予備検討結果(テーマセッション6,文字・文書の認識・理解)
- ユースケース間の関係を考慮した網羅的な受け入れテストの支援
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- 第28回ソフトウェア工学国際会議(ICSE2006)参加報告
- ウインターワークショップ2010・イン・倉敷開催報告
- ウインターワークショップ2008・イン・道後開催報告
- ウィンターワークショップ2006・イン・鴨川参加報告
- REST形式Webサービスのテスト実行に基づく高精度な検索
- ウインターワークショップ2010・イン・倉敷開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- MDDロボットチャレンジ2006開催報告(MDDロボットチャレンジ)
- 4C-1 アプリケーション部品についてのMVCパターンの適用
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 組込みシステムのためのカラーペトリネットを利用した実装に基づくモデル化とテスト法(オブジェクト指向とWeb技術)
- (形式的仕様)オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術(オブジェクト指向技術)
- 歯磨き指導を支援するロボットの開発
- 複数の凸制約条件付き適応信号処理問題の解法と応用 : そのII: 収束定理の証明(適応信号処理・音響信号処理, 信号処理, LSI, 及び一般)
- 複数の凸制約条件付き適応信号処理問題の解法と応用 : そのII: 収束定理の証明(適応信号処理・音響信号処理, 信号処理, LSI, 及び一般)
- 複数の凸制約条件付き適応信号処理問題の解法と応用 : そのII: 収束定理の証明(適応信号処理・音響信号処理, 信号処理, LSI, 及び一般)
- 複数の凸制約条件付き適応信号処理問題の解法と応用(その2)収束定理の証明
- Two Generalizations of the Projected Gradient Method for Convexly Constrained Inverse Problems : Hybrid steepest descent method, Adaptive projected subgradient method (Numerical Analysis and New Information Technology)
- SA-3-2 適応外近似射影法のための最適外近似構成法(SA-3. エコーキャンセラとその実現)
- 非拡大作用素に関する不動点定理の一拡張と多目的最適信号推定問題への応用
- ニューラルネットワークを利用した能動的な視覚系の制御
- 独立成分解析に基づく画像情報量の抽出法
- 10年目に大幅見直しを図った情報リテラシー演習 (小特集 情報リテラシー教育10年の取組みと今後)
- 多目的最適信号推定のための制約付き同時凸射影法の提案
- 多目的最適信号推定・設計のための制約付き同時凸射影法の提案
- ロボットコンテストを利用した組込み教育の実践
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 4 プロダクトライン開発技術(組み込みソフトウェア開発技術)
- シソーラス情報に基づく音声話題認識システム
- シソーラス情報に基づく音声話題認識システム
- 組み込みソフトウェア開発のための仕様シミュレーション環境
- 組み込みシステム設計のためのObTSに基づく記述支援環境に関する研究
- 組込みソフトウェアのためのテスト・検証可能な状態モデル (第21回 回路とシステム軽井沢ワークショップ論文集)
- ステレオタイプによるUMLモデル間の整合性検証支援手法(オブジェクト指向技術)
- 組み込みシステムにおける優先度付きタスクの抽出方法
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- 基本ブロックを用いたオブジェクト指向リアルタイムシステムの開発
- シェルシーゲル(著), 古宮 誠一, 廣田 豊彦(監訳), オブジェクト指向ソフトウェアテスト技法 : リスク管理への技術的アプローチ, 共立出版, 1998年, 5714円, (税別), ISBN 07608-9901
- 状態遷移言語による組込みソフトウェア開発 (ディペンダブルコンピューティング)
- 状態遷移言語による組込みソフトウェア開発 (コンピュータシステム)
- 隠れマルコフモデルによる混合動作の認識
- 非定常時系列予測のための学習データの選択法
- 大学学部における組込みソフトウェア教育事例
- 大学学部における組込みソフトウェア教育事例
- 状態遷移言語による組込みソフトウェア開発
- 状態遷移言語による組込みソフトウェア開発
- マルチエージェント環境におけるコミュニケーションの発生とその分析
- 超音波顕微鏡における局所生体組織の厚み, 表面反射を考慮した音速, 減衰の推定法
- 漸近縮小型非拡大写像とハイブリッド最急降下法 : 凸制約条件付き逆問題のための逐次アルゴリズム
- 漸近縮小型非拡大写像とハイブリッド最急降下法 : 凸制約条件付き逆問題のための逐次アルゴリズム
- 支持超平面への同時射影を用いた適応外近似射影法(音響信号処理及び一般)
- 支持超平面への同時射影を用いた適応外近似射影法(音響信号処理及び一般)
- データの重要度推定に基づくサポートベクタマシンの逐次学習
- NEアカデミー ETロボコンの事例で学ぶモデル活用の効能(最終回)参加チームの事例(3)モデルで定義不足の部分が、ソースの安定性を下げる
- ETロボットコンテストを題材としたプロセスが不明瞭な開発におけるパターンマイニングの提案
- コンピュータプレイヤーのプログラム作成を通して競い合うゲームプラットホームの開発を支援するフレームワーク(ソフトウェア工学,学生論文)
- 派生プロダクト群における要求・実装間のトレーサピリテイリンク抽出
- アスペクト指向遷移状態言語の非正常系の問題への適用
- アスペクト指向遷移状態言語の非正常系の問題への適用
- C#における冗長なイベントハンドラ統合手法の提案
- C#における冗長なイベントハンドラ統合手法の提案
- 特集「ソフトウェア工学」の編集にあたって
- 『ソフトウェアの要求と設計の科学』シリーズについて
- UNICOEN:複数プログラミング言語対応のソースコード処理フレームワーク
- インタラクションに着目したステートマシン抽出によるRich Internet Applicationsの欠陥発見の支援
- プログラムの構造に着目したFault-Localizationとデバッグ支援
- 開発における不確定性と時間変化を考慮した一般化信頼性モデル
- 開発における不確定性と時間変化を考慮した一般化信頼性モデル
- ウィンターワークショップ2013・イン・那須報告
- 上流工程のUMLクラス図を入力としたソフトウェアの保守性測定メトリクススイート
- ゲーミフィケーションを用いたバグパターンによる欠陥除去を促進する手法の提案
- テスト貢献度に基づくゲーミフィケーションを用いた教育用ソフトウェアテストツールの提案
- オブジェクトおよびアスペクト指向プログラミング言語との比較実験を通した新しいコンテキスト指向プログラミング言語の提案
- ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
- Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般)
- Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般)
- 派生プロダクト群における要求・実装間のトレーサビリティリンク抽出(開発支援とマネジメント,ソフトウェアサイエンス、理論)