研究者詳細

教職員基本情報
氏名
Name
沢田 篤史 ( サワダ アツシ , SAWADA Atsushi )
所属
Organization
理工学部ソフトウェア工学科
職名
Academic Title
教授
個人または研究室WebページURL
URL
http://www.seto.nanzan-u.ac.jp/~sawada/
専攻分野
Area of specialization

ソフトウェア工学,組込みシステム

学会活動
Academic societies

情報処理学会,日本ソフトウェア科学会,電子情報通信学会,システム制御情報学会,IEEE Computer Society,ACM,各会員

著書・学術論文数
No. of books/academic articles
総数 total number (39)
著書数 books (4)
学術論文数 articles (35)

出身学校
学校名
Univ.
卒業年月(日)
Date of Graduation
卒業区分
Graduation
   Classification2
京都大学工学部情報工学科 1990年03月  卒業 
詳細表示
出身大学院
大学院名
Grad. School
修了課程
Courses
   Completed
修了年月(日)
Date of Completion
修了区分
Completion
   Classification
京都大学大学院工学研究科情報工学専攻 博士後期課程  1995年03月  単位取得満期退学 
詳細表示
取得学位
     
学位区分
Degree
   Classification
取得学位名
Degree name
学位論文名
Title of Thesis
学位授与機関
Organization
   Conferring the Degree
取得年月(日)
Date of Acquisition
博士 博士(工学)  Studies on Constraint Management for Software Repositories  京都大学大学院工学研究科情報工学専攻博士後期課程  1997年03月24日 
修士 修士(工学)  文書添削の協調活動を支援するテキスト共有エディタ  京都大学大学院工学研究科情報工学専攻修士課程  1992年03月23日 
学士 学士(工学)    京都大学工学部情報工学科  1990年03月24日 
詳細表示
研究経歴
長期研究/短期研究
Long or Short
   Term research
研究課題名
Research Topic
長期研究  統合ソフトウェア開発環境の研究 

概要(Abstract) ソフトウェア開発を統合的に支援するツール環境の構築技術に関する研究 

長期研究  組込みソフトウェアの開発支援方式に関する研究 

概要(Abstract) 組込みシステムの持つ特徴や制約のもとに工学的にソフトウェアを開発する技術の研究 

短期研究  ソフトウェアアーキテクチャの文書化に関する研究 

概要(Abstract) プロダクトライン開発において重要なコア資産であるアーキテクチャを構造的に記述する方式の検討 

詳細表示
著書
年度
Year
著書名
Title of the books
著書形態
Form of Book
NeoCILIUS
   請求番号/資料ID
Request No
出版機関名 Publishing organization,判型 Book Size,頁数 No. of pp.,発行年月(日) Date
2010  組込みソフトウェア開発技術  共編著   
CQ出版社  , A5  , 352  , 2011/02   

概要(Abstract) 本書は,「組込みシステム基礎技術全集」の第3巻として執筆されたものである.組込みシステムのためのソフトウェア開発に焦点を当て,高品質な組込みソフトウェアを効率良く開発するための諸技術を,組込みシステムおよびソフトウェア工学の研究開発の先端で活躍している著者らが解説している. 

備考(Remarks) 沢田篤史,平山雅之(共編著)
三橋二彩子,丸山勝久,小野洋彦,岸知二,片山徹郎,青木利晃,片岡欣夫,小笠原秀人(共著)
組込みシステム基礎技術全集 vol.3 

2009  OJLハンドブック  共編著   
文部科学省先導的ITスペシャリスト育成推進プログラム名古屋大学拠点  , A4  , 54  , 2010/03   

概要(Abstract) OJLとは,PBLに代表される教育用の仮想プロジェクトを題材とする教育と,インターンシップやOJTのように実際の業務を体験することによる実務訓練を融合し,産学連携でより実践的な教育を行うことのできるプロジェクト参加型の教育手法である.本書では,OJLを実施するにあたって産学双方が留意すべき事項について解説している. 

備考(Remarks) 沢田篤史,小林隆志,蜂巣吉成,山本晋一郎,野呂昌満,阿草清滋(共編) 

2007  組込みシステム概論  共著   
CQ出版社  , A5  , 224  , 2008/03   

概要(Abstract) 本書は「組込みシステム基礎技術全集」の第1巻として執筆されたものである.組込みシステムとは何か,またそこで使われている技術にはどのようなものがあるかという観点から,第一線で活躍している組込みシステム技術者によって,現状の組込みシステムを解説している. 

備考(Remarks) 戸川望(編著)
高田広章,枝廣正人,沢田篤史,清水徹,中島達夫,平山雅之(共著) 

2006  「ソフトウェア工学の基礎, XIII : 日本ソフトウェア科学会FOSE2006」『レクチャーノート/ソフトウェア学, 32』  共編著   
近代科学社  , B5  , 157  , 2006/11   

概要(Abstract) 本書は,日本ソフトウェア科学会第13回ソフトウェア工学の基礎ワークショップ(FOSE2006)に投稿された論文を編集したものである. 

備考(Remarks) 沢田篤史,丸山勝久(共同編集) 

詳細表示
学術論文
年度
Year
論文題目名
Title of the articles
共著区分
Collaboration
   Classification
NeoCILIUS
   請求番号/資料ID
Request No
掲載誌名 Journal name,出版機関名 Publishing organization,巻/号 Vol./no.,頁数 Page nos.,発行年月(日) Date
2021  IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案  共著   
情報処理学会論文誌  , 情報処理学会  , 62/4  , 995-1007  , 2021/04   

概要(Abstract) IoT の利便性を向上させるためには,多様な環境においてアプリケーションを稼働させることのできる相互運用性が重要である.また,利用状況や嗜好に応じたサービスを提供する柔軟性も重要である.スマートホームなどIoT 環境にとっての相互運用性とは,利用者の所持する機器を最大限に活用してサービスを提供できることである.柔軟性とは,刻々と変化する利用者の状況(時間や位置など)と意思(目的や嗜好など)に合わせ,当初アプリケーションが想定していない方法によってサービスを提供できることである.IoT 製品や標準の乱立によって,相互運用性の確保は特定の製品群の中だけにとどまっているのが現状である.柔軟性に関しては,センシングや機械学習などの要素技術の利用がアプリケーションごとに行われている.これら相互運用性や柔軟性の確保が場あたり的に行われると,IoT アプリケーションソフトウェア開発の効率やできあがったソフトウェアの保守性に悪い影響が及ぶことが懸念される.本研究では,IoT における柔軟性と相互運用性の確保をソフトウェア構造の問題ととらえ,スマートホームでの動的適応を可能とするソフトウェアアーキテクチャを定義する.柔軟で相互運用可能なアプリケーションを保守しやすく構築する基盤としてこのアーキテクチャを提案することで,上述した問題の解決を図る. 

備考(Remarks) 横山史明,沢田篤史,野呂昌満,江坂篤侍(共著) 

2020  大学学部生を対象とした実践的IT人材育成プログラムenPiT2における教育効果の測定と評価  共著   
第7回実践的IT教育シンポジウム(rePiT2021)論文集  , 日本ソフトウェア科学会実践的IT教育研究会  , 2021/01   

概要(Abstract) enPiT評価WGは,課題解決に取り組むPBLを取り入れた実践的IT人材育成プログラムであるenPiTの教育効果の測定に取り組んでいる.私たちは,2012年度からの修士課程教育で培った評価手法を改訂して,2016年度からの学部生教育を3種の項目で評価している.すなわち,行動特性を測定するテストを用いた客観評価と,アンケートを用いた社会人と教員による評価の3項目である.本稿では,enPiT2における教育評価手法を概観し,enPiT2の通期にわたる評価結果を述べる. 

備考(Remarks) 山本雅基,小林隆志,宮地充子,沢田篤史,岡村耕二,佐藤和彦,奥野拓,粂野文洋,井上克郎(共著) 

2019  車載組込みシステム技術者の育成~enPiT-Pro Embでの教育実践~  共著   
デジタルプラクティス  , 情報処理学会  , 11/1  , pp. 99-118  , 2020/01   

概要(Abstract) 近年の組込みシステムの開発現場では,社会人が学生時代に学ばなかった新しい情報技術が用いられることがまれではなく,社会人の学びのニーズが高まっている.そこで,名古屋大学・静岡大学・広島大学・愛媛大学・南山大学の5大学は,社会人の組込みシステム技術者を育成するenPiT-Pro Embを提供して,社会のニーズに応えている.enPiT-Pro Embは,組込みシステムの中で車載とIoTに焦点を当てた教育を行っている.本稿では,特に車載組込みシステム技術者の育成に焦点を当てて,その取組み事例とそのプラクティスについて述べる. 

備考(Remarks) 山本雅基,塩見彰睦,岡村寛之,高橋寛,沢田篤史,高田広章(共著) 

2019  IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案  共著   
ソフトウェア工学の基礎XXVI(日本ソフトウェア科学会FOSE2019)  , 近代科学社  , pp. 93-102  , 2019/11   

概要(Abstract) IoT の利便性を向上させるためには,多様な環境においてアプ
リケーションを稼働させることのできる相互運用性が重要である.また,利用状況や嗜好に応じたサービスを提供する柔軟性も重要である.スマートホームなど IoT 環境にとっての相互運用性とは,利用者の所持する機器を最大限に活用してサービスを提供できることである.柔軟性とは,刻々と変化する利用者の状況(時間や位置など)と意思(目的や嗜好など)に合わせてサービスを提供できることである.IoT 製品や標準の乱立によって,相互運用性の確保は特定の製品群の中だけに留まっているのが現状である.柔軟性に関しては,センシングや機械学習などの要素技術の利用がアプリケーション毎に行われている.これら相互運用性や柔軟性の確保が場当たり的に行われると,IoT アプリケーションソフトウェアの保守性に対して悪い影響が懸念される.本研究では,IoT における柔軟性と相互運用性の確保をソフトウェア構造の問題と捉え,スマートホームでの動的適応を可能とするソフトウェアアーキテクチャを定義する.柔軟で相互運用可能なアプリケーションを保守しやすく構築する基盤としてこのアーキテクチャを提案することで,上述した問題の解決を図る. 

備考(Remarks) 横山史明,沢田篤史,野呂昌満,江坂篤侍(共著) 

2019  ソフトウェアアーキテクチャに基づく組込みシステムの設計法に関する研究  共著   
ソフトウェア工学の基礎XXVI(日本ソフトウェア科学会FOSE2019)  , 近代科学社  , pp. 151-156  , 2019/11   

概要(Abstract) 組込みシステムにおいて,アクチュエータ群の挙動は,センサの検知する値やシステムの状態に応じて変化し,この組み合わせが増えればシステム全体の挙動は複雑になる.複雑な挙動は,それを仕様化する際に誤りの混入を招き,デッドロックなどの問題の原因となる.本研究の目的は,このような複雑な挙動を持つ組込みシステムの開発を支援するために,ソフトウェアアーキテクチャに基づく設計法を提案することである.この設計法では,組込みシステムにおける関心事を明確に分離したアーキテクチャに基づいて,形式的に使用を記述するための手順を示す. 

備考(Remarks) 江坂篤侍,野呂昌満,繁田雅信,沢田篤史(共著) 

2018  コンテキスト協調を考慮したIoTシステムのためのソフトウェアアーキテクチャの設計  共著   
ソフトウェア工学の基礎XXV(日本ソフトウェア科学会FOSE2018)  , 近代科学社  , pp. 135-140  , 2018/11   

概要(Abstract) IoTシステムにおいて,コンテキストアウェアで実現された構成要素のコンテキスト間の協調の論理は,互いのコンテキストの影響を受けて変化する.我々は互いのコンテキストに影響を受けて変化するこの協調の論理をコンテキスト協調と呼ぶ.コンテキスト協調のための論理記述は,複数のコンテキストと振舞いの組み合わせとして記述され,複雑になりやすい.本研究の目的は,簡便なコンテキスト記述を可能とするために,コンテキストとメタコンテキストからなる階層構造を持つものとしてアーキテクチャを設計した.アーキテクチャに基づいて実現することで,コンテキストとコンテキスト協調論理の記述を分割統治的に整理することができる. 

備考(Remarks) 江坂篤侍,野呂昌満,沢田篤史(共著) 

2018  インタラクティブシステムのための共通アーキテクチャの設計  共著   
コンピュータソフトウェア  , 岩波書店  , 35/4  , pp. 3-15  , 2018/10   

概要(Abstract) インタラクティブシステムの開発支援のために,MVCやその派生のアーキテクチャスタイルが提案されてきた.これらのアーキテクチャスタイルは,オブジェクト指向によるモジュール分割に対していくつかの横断的コンサーンの分離を試みている.近年のインタラクティブシステムには,レスポンシブウェブデザインへの対応や移動体での利用を前提とした動作が求められる.すなわち,インタラクティブシステムの開発においては,システムがそれを取り巻く環境に応じて振舞いを変化させる動的再構成の機構を実現する必要がある.本稿では,インタラクティブシステムのためのアーキテクチャ中心開発基盤として,アスペクト指向アーキテクチャ CSA/I-Sys (Common Software Architecture for Interactive Systems) を設計し,その有用性について議論する.CSA/I-Sysを設計するにあたり,自己適応のためのアーキテクチャパターンであるPBR (Policy-Based Reconfiguration) パターンを定義した.PBRパターンを用いることで,システム開発において考慮すべき横断的コンサーンの分離と,環境に応じたシステムの振舞い変化を,動的なアスペクト付加の仕組みとして表現することができる.PBRパターンという1つの単純なパターンを用いてアーキテクチャを定義することで,アーキテクチャ自身の理解や,アプリケーションの設計,コードの理解と変更が容易になるだけでなく,ライブラリやミドルウェアを,大きな粒度で変更する枠組みを提供することができる. 

備考(Remarks) 江坂篤侍,野呂昌満,沢田篤史(共著) 

2017  コンテキストアウェアネスを考慮した組込みシステムのためのアスペクト指向アーキテクチャの設計  共著   
ソフトウェア工学の基礎XXIV(日本ソフトウェア科学会FOSE2017)  , 近代科学社  , pp. 3-12  , 2017/11   

概要(Abstract) モバイル計算の実用化にともない,組込みシステムは移動体として設計・実現されることが多くなってきた.このような組込みシステムはそれを取り巻く環境を反映する内部状態をコンテキストとし,コンテキストに応じてその振舞いを変化させる.一方,組込みシステムでは並行性,実時間性,耐故障性などの非機能特性についても適切なモジュール化が重要となる.本論文では,コンテキストおよび非機能特性を横断的コンサーンとして統一的に扱う組込みシステムのためのアーキテクチャを設計し,その有用性について議論する.自己適応のためのアーキテクチャパターンとしてPBR(Policy-Based Reconfiguration)パターンを定義し,このパターンを用いてコンテキストおよび非機能特性を統一的の扱うことを可能とした.アーキテクチャとコードの理解,変更が容易になるだけでなく,ライブラリ等を大きな粒度で再利用する枠組みが提供できた. 

備考(Remarks) 江坂篤侍,野呂昌満,沢田篤史,繁田雅信,谷口弘一(共著) 

2017  インタラクティブシステムのための共通アーキテクチャの設計  共著   
ソフトウェア工学の基礎XXIV(日本ソフトウェア科学会FOSE2017)  , 近代科学社  , pp. 129-134  , 2017/11   

概要(Abstract) インタラクティブシステムの開発支援のために,MVCやその派生のアーキテクチャスタイルが提案されてきた.これらのアーキテクチャスタイルはオブジェクト指向によるモジュール分割に対していくつかの横断的コンサーンの分離を試みている.本稿では,インタラクティブシステムのアーキテクチャ中心開発の基盤としてのアスペクト指向アーキテクチャを設計し,その有用性について議論する. 

備考(Remarks) 江坂篤侍,野呂昌満,沢田篤史(共著) 

2017  MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察  共著   
ソフトウェア工学の基礎XXIV(日本ソフトウェア科学会FOSE2017)  , 近代科学社  , pp. 183-188  , 2017/11   

概要(Abstract) ソフトウェア開発における形式仕様導入の障壁として,形式仕様の難解さと記述のための適切な指針がないことがあげられる.本稿では,可読性の高い統一仕様モデルとそのモデルに基づいた形式記述法について考察する.形式仕様記述のメタモデルをMVCアーキテクチャの概念に基づいて定義し,詳細化関係を考慮した構成要素および要素間の関係を整理する.形式仕様記述法として,形式仕様言語VDM-SLによる宣言的で簡潔な関数を用いたテンプレート記述を提示する. 

備考(Remarks) 張漢明,野呂昌満,沢田篤史(共著) 

詳細表示
その他研究業績
年度
Year
題名等
Titles
カテゴリ
Category
細目
Authorship
掲載雑誌名等 Publishing Magazine,発行所 Publisher,巻/号 Vol./no.,頁数 Page nos.,発行年月(日) Date
2010  On the Job Learning 〜 産学連携による新しいソフトウェア工学教育手法 〜  特別講演  その他 
情報システム学会第3回シンポジウム  , 情報システム学会  , 2010/06/26   

概要(Abstract)  

備考(Remarks)  

2009  Project OCEAN: 産学連携による実戦的ソフトウェア技術者教育  招待講演  その他 
第32回S-openホットセッション  , ソフトウェア技術者ネットワーク  , 2009/08/25   

概要(Abstract)  

備考(Remarks)  

2008  OCEAN: 産学連携による実プロジェクト指向IT教育の新しいスタイル  成果報告  その他 
第1回先導的ITスペシャリスト育成推進プログラム・シンポジウム  , 文部科学省  , 2009/06/23   

概要(Abstract)  

備考(Remarks)  

2008  Project OCEAN: OJLによる最先端技術適応能力を持つIT人材育成拠点の形成  成果報告  その他 
実戦的ソフトウェア工学教育に関する国際シンポジウム  , 大阪大学大学院情報科学研究科  , 2009/01/22   

概要(Abstract)  

備考(Remarks)  

2006  ゆかりプロジェクトー家庭ユビキタス環境でのネットワーク基盤:分散協調型サービス構築基盤  招待講演  その他 
第19回インターネット技術第163委員会研究会  , インターネット技術第163委員会  , 2006/05/25   

概要(Abstract)  

備考(Remarks)  

詳細表示
学術関係受賞
年度
Year
受賞学術賞名
Name of award
受賞対象となった研究/業績/活動等
Activity for which award given
受賞年月(日)
Date
授与機関
Award presenter
2020  日本ソフトウェア科学会第7回実践的IT教育シンポジウム最優秀論文賞  発表論文「大学学部生を対象とした実践的IT人材育成プログラムenPiT2における教育効果の測定と評価」に対して  2021年01月20日 
日本ソフトウェア科学会実践的IT教育研究会 

備考(Remarks) 山本雅基,小林隆志,宮地充子,沢田篤史,岡村耕二,佐藤和彦,奥野拓,粂野文洋,井上克郎(共同受賞) 

2012  日本e-Learning学会2012年度学術講演会大会審査員特別賞  論文発表”「学生主導型授業評価」支援システムの構築:LAMPとR言語によるクラウド型アプリケーションの試作”  2012年11月16日 
日本e-Learning学会 

備考(Remarks)  

詳細表示
研究発表
年度
Year
題目又はセッション名
Title or Name of Session
細目
Authorship
発表年月(日)
Date
発表学会等名称 Name, etc. of the conference at which the presentation is to be given, 主催者名称 Organizer, 掲載雑誌名等 Publishing Magazine,発行所 Publisher,巻/号 Vol./no.,頁数 Page nos.
2021  ゲームプレイヤーの習熟度に応じた対戦戦略の変更を可能とする機械学習器の設計  共同  2021/05/21 
知能ソフトウェア工学研究会  , 電子情報通信学会  , 電子情報通信学会技術研究報告(知能ソフトウェア工学)  , 電子情報通信学会  , 121/35  , 7-12   

概要(Abstract) ゲームAI の設計において,プレイヤーモデリングは重要な課題であり,今日までに多数の研究が行われている.プレイヤーの習熟度に応じて対戦戦略を柔軟に適応させる仕組みは,魅力的なゲームを構築するための鍵である.本研究では,時間経過に伴って変化するプレイヤーの習熟を予測する機械学習器をLSTM を用いて設計する.学習器の設計にあたり,プレイヤーの時間的な習熟の予測に用いるデータを定義し,LSTM の学習を行う.さらに,学習器によって予測される習熟度をもとに対戦戦略を変化させる仕組みを提案する.これはゲームエンジンアーキテクチャにおいて,戦略の柔軟な適応を可能にするための共通基盤となりうる.簡単なRPG を対象とした実験により,提案する機械学習器の有効性と妥当性を確認した. 

備考(Remarks) 竹内大輔,野呂昌満,沢田篤史(共同)
オンライン開催 

2020  同時に起こる事象を考慮した区間振る舞いモデルの提案  共同  2021/03/26 
第56回組込みシステム研究発表会  , 情報処理学会  , 情報処理学会研究報告  , 情報処理学会  , 2021-EMB-56/48  , 1-8   

概要(Abstract) 高い信頼性が求められる組込みシステムでは,際どいタイミングで起こる事象を適切に処理する必要がある.際どいタイミングで起こる事象を「同時事象」として扱い,事象の同時性を区間に局所化した区間振る舞いモデルを提案する.事象の同時性を考慮した並列システムの振る舞いを簡易に記述するための構造を解明し定式化する.我々がこれまでに提示した区間振る舞いモデルに対して,一般化および洗練化したモデルの構造を再定義し,その形式的な意味をプロセス代数CSP を用いて定義する.区間振る舞いモデルは,並列性の観点から分割統治の視点を与え,事象に関する抽象化写像の導入がモデル検査の実用化に寄与する. 

備考(Remarks) 張漢明,野呂昌満,沢田篤史(共同) 

2019  コンピテンシー能力を向上するPBLの解析  共同  2020/03/04 
電子情報通信学会ソフトウェアサイエンス研究会  , 電子情報通信学会  , 電子情報通信学会技術研究報告(ソフトウェアサイエンス)  , 電子情報通信学会  , SS2019-41  , pp. 1-6   

概要(Abstract) どのようなPBLを行うとどのようなコンピテンシーを育成できるのだろうか?大学学部生を対象にITの実践力を育成するenPiT2では,評価ワーキンググループの活動を通じ,実践力の構成要素であるコンピテンシーがPBLによって効果的に育成されていることを,データに基づいて客観的に確認してきた.一方で,enPiT2には複数のIT分野に複数の大学が参加しており,実施されているPBLの形態は多様である.これまでの分析でPBLの効果は示されたが,どういった教育手法がどのコンピテンシー育成に効果的なのかは必ずしも明らかになっていない.本研究では,PBLの教育手法を分類する4つの観点(競技会の有無,企業講師による指導の有無,開発プロセス準拠の有無,混成チーム開発の有無)を提案する.その上で,各観点による教育効果への影響をコンピテンシー分類ごとに分析する.結果として,他大学の学生と混成チームを作り実施したPBLでは幅広くコンピテンシー育成されるが,競技会の実施では主に対課題基礎力が育成されるなど,PBLの教育手法別に育成されるコンピテンシー分類が異なることが確認された.  

備考(Remarks) 山本雅基,沢田篤史,小林隆志,岡村耕二,宮地充子,佐藤和彦,奥野拓,粂野文洋(共同)
新型コロナウィルス感染症予防のために現地開催中止,既発表扱い 

2019  MVCに基づいた組み込みソフトウェアの形式仕様メタモデルに関する考察  共同  2020/02/28 
情報処理学会第53回組込みシステム研究会  , 情報処理学会  , 情報処理学会研究報告(組込みシステム)  , 情報処理学会  , 2020-EMB-53/43  , pp. 1-7   

概要(Abstract) 本研究の目的は,組み込みソフトウェアにおける形式仕様のメタモデルを提示することである.本研究の基本的なアイデアは,対象に対する機能と振る舞いの2 つの視点から,MVC アーキテクチャに基づいて仕様の構造を整理することである.形式仕様のメタモデルは,仕様のメタモデルにおける表現(ビュー)の構造に特徴づけられる.提案するメタモデルは,視点に応じた仕様記述のための,形式的な表現と非形式的な表現が混在する記法定義の基盤となる. 

備考(Remarks) 張漢明,野呂昌満,沢田篤史(共同) 

2018  MVCアーキテクチャに基づく形式仕様と仕様記述プロセスに関する考察  共同  2019/03/18 
情報処理学会第50回組込みシステム研究会  , 情報処理学会  , 情報処理学会研究報告(組込みシステム)  , 情報処理学会  , 2019-EMB-50/41  , pp. 1-7   

概要(Abstract) ソフトウェア開発における形式仕様導入の障壁として,形式仕様の難解さと記述のための適切な指針がないことがあげられる.本稿では,形式仕様のモデルを MVC アーキテクチャの概念に基づいて定義し,詳細化関係を考慮した構成要素および要素間の関係を整理する. 

備考(Remarks) 張漢明,野呂昌満,沢田篤史(共同) 

2018  大学学部生を対象とした実践的IT人材育成プログラムenPiT2と評価  共同  2019/03/05 
ソフトウェアサイエンス研究発表会  , 電子情報通信学会  , 電子情報通信学会技術研究報告(ソフトウェアサイエンス)  , 電子情報通信学会  , 118/471  , pp. 181-186   

概要(Abstract) 大学学部3年生を対象とした実践的IT人材育成プログラムであるenPiT2の教育が本格的に開始されてから間もなく2年を迎える.本稿では,各拠点におけるenPiT2教育の内容と,その実施を通じて得られた成果について,主に教育効果を評価する観点から概観する. 

備考(Remarks) 山本雅基,沢田篤史,小林隆志,岡村耕二,宮地充子,佐藤和彦,奥野 拓,粂野文洋(共同) 

2016  MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察  共同  2017/03/10 
第44回組込みシステム研究発表会  , 情報処理学会  , 情報処理学会研究報告(組込みシステム)  , 情報処理学会  , 2017-EMB-44/44  , pp. 1-6   

概要(Abstract) ソフトウェア開発における形式仕様導入の障壁として,形式仕様の難解さと記述のための適切な指針がないことがあげられる.本稿では,可読性の高い統一仕様モデルとそのモデルに基づいた形式記述法について考察する.形式仕様記述のメタモデルを MVC アーキテクチャの概念に基づいて定義し,詳細化関係を考慮した構成要素および要素間の関係を整理する.形式仕様記述法として,形式仕様言語 VDM-SLによる宣言的で簡潔な関数スタイルのテンプレートを提示する.自動販売機システムの事例を用いて仕様モデルの妥当性を議論する. 

備考(Remarks) 張 漢明,野呂 昌満,沢田 篤史(共同) 

2016  並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察  共同  2016/12/02 
第23回ソフトウェア工学の基礎ワークショップ(FOSE2016)  , 日本ソフトウェア科学会ソフトウェア工学の基礎研究会  , ソフトウェア工学の基礎XXIII-日本ソフトウェア科学会FOSE2016  , 近代科学社  , pp. 255-256   

概要(Abstract) 組み込みシステムの開発では,並列に動作する複数のハードウェア装置のもとで複数の事象が発生するので,同時に発生する事象を考慮する必要がある.我々はCSPに代表されるプロセス代数を用いて,同時の事象を含んだ振る舞い検証に関する研究を行っている.インターリーブを用いた並行計算モデルでは複数事象の同時生起という概念はない.本稿では,区間を導入して複数事象の同時生起を定義して,検証の基準となる振る舞い仕様をCSPを用いて記述する方法について議論する. 

備考(Remarks) 張 漢明,野呂 昌満,沢田 篤史(共同) 

2016  Design of Common Software Architecture as Base for Application Generator and Meta-Generator for Interactive Systems  共同  2016/11/14 
The 35th International Conference on Conceptual Modeling  , Information Processing Society of Japan and ER Institute   

概要(Abstract)  

備考(Remarks) Atsushi Esaka, Atsushi Sawada, and Masami Noro (共同) 

2016  組込みシステムへのコンテキスト指向プログラミング技術の適用  共同  2016/07/13 
第193回ソフトウェア工学研究発表会  , 情報処理学会  , 情報処理学会研究報告(ソフトウェア工学)  , 情報処理学会  , 2016-SE-193/11  , pp. 1-8   

概要(Abstract) 一般に組み込みシステムにおいては,センサの検知する値の組み合わせに応じたアクチュエータ群の協調動作を記述することは難しい.これはセンサの検知する値が同じでも,システムの一部または全体の状態によってアクチュエータ群が異なる動作をすることに起因する.実際に長年利用されてきた組込みシステムのプログラムでは,何度も改版を受けた結果,システムの状態に応じた動作を実現するために 1 つの条件式が何千行にも渡って記述され,またそれが幾つも散在するようなこともある.本研究の目的は,このような組込みシステムを整理するために,コンテキストアウェアネスプログラミング技術を適用することである.一方,組込みシステムにおいては実時間性,耐故障性,並行性などの非機能特性が重視され,これらはアスペクト指向計算においては横断的関心事とされる.我々は,コンテキストおよびその他の横断的関心事をアスペクトとして分離したアスペクト指向アプリケーションアーキテクチャを設計した.紙幣搬送システムを事例としてアスペクト指向アーキテクチャによる実現の妥当性を確認した.  

備考(Remarks) 江坂 篤侍,野呂 昌満,沢田 篤史,繁田 雅信,谷口 弘一(共同) 

詳細表示
研究助成
年度
Year
助成名称または科学研究費補助金研究種目名
Name of grant or research classification for scientific research funding
研究題目
Research Title
役割(代表/非代表)
Role
助成団体
Granting body
助成金額
Grant amount
2016  南山大学パッヘ研究奨励金I-A-2  アーキテクチャ指向ソフトウェア開発支援環境の研究(組込みシステムを事例として) 
代表    300千円 

研究内容(Research Content) 本研究の目的は,ロボットや家電,スマートデバイスなど,組込みシステムを対象とするアプリケーションソフトウェア開発のために,統合的な支援を提供する工学的基盤を確立することである.物理デバイスや周辺環境の構成を反映して設計されるソフトウェアアーキテクチャと,ソフトウェアの開発プロセスが互いに影響を与えるとの認識に基づき,プロセス統合型アーキテクチャモデルを定義する.このモデルを中心に据え,開発支援ツール統合方式を確立する. 

備考(Remarks)  

2016  科学研究費補助金  サイバーフィジカルシステムのためのアーキテクチャ指向ソフトウェア開発支援環境 
代表  日本学術振興会  3,500千円 

研究内容(Research Content) 本研究の目的は,ネットワーク接続された組込みデバイスからなるサイバーフィジカルシステム(Cyber Physical Systems: 以下,CPS)を対象とするアプリケーションソフトウェア(以下,CPSソフトウェア)開発のために,統合的な支援を提供する工学的基盤を確立することである.デバイスやネットワークの構成を反映して設計されるソフトウェアアーキテクチャと,CPSソフトウェアの開発プロセスが互いに影響を与えるとの認識に基づき,プロセス統合型アーキテクチャモデルを定義する.このモデルを中心に据え,開発支援ツール統合方式,および並列分散システムとして実現されるCPSソフトウェアの形式検証手法を確立する.この取り組みを通じ,IoTアプリケーションなど,CPSソフトウェアを開発するための系統的な支援基盤を提供する. 

備考(Remarks) 沢田 篤史(代表者),野呂 昌満,張 漢明(分担者)
助成期間 2016年度-2018年度 

2015  南山大学パッヘ研究奨励金I-A-2  プロセス統合型メタモデルに基づくソフトウェア設計判断支援の研究 
研究代表者    300千円 

研究内容(Research Content) ソフトウェア開発の局面に応じたツールを統合し,柔軟な支援を提供するための手法を確立する 

備考(Remarks)  

2015  共同研究  インタラクティブソフトウェアのアーキテクチャに関する研究 
研究代表者  富士電機(株)  1,500千円 

研究内容(Research Content) 多様化するスマートデバイスやWebブラウザのインタラクティブ
ソフトウェアにおけるアーキテクチャ設計技術に関する研究 

備考(Remarks) 沢田篤史(研究代表者),張漢明(研究分担者) 

2014  共同研究  大画面ディスプレイ搭載自販機向けUI開発のフレームワークに関する研究 
研究代表者  富士電機(株)  1,500千円 

研究内容(Research Content)  

備考(Remarks)  

2014  SSR産学戦略的研究フォーラム平成26年度調査研究  プロダクトライン進化に関する調査研究 
研究分担者  SSR産学戦略的研究フォーラム  1000千円 

研究内容(Research Content)  

備考(Remarks) 研究組織:丸山勝久(研究代表者:立命館大学),沢田篤史,他11名(研究分担者) 

2014  南山大学パッヘ研究奨励金I-A-2  ソフトウェアプロダクトの意味構造が開発プロセスに与える影響に関する研究 
研究代表者    300千円 

研究内容(Research Content)  

備考(Remarks)  

2013  南山大学パッヘ研究奨励金I-A-2  マルチタッチインタフェースを用いたソフトウェアモデリングツールの研究 
研究代表者    300千円 

研究内容(Research Content)  

備考(Remarks)  

2013  SSR産学戦略的研究フォーラム平成25年度調査研究  ソフトウェア進化技術の実践に関する調査研究 
研究分担者  SSR産学戦略的研究フォーラム  1300千円 

研究内容(Research Content)  

備考(Remarks) 研究組織:丸山勝久(研究代表者:立命館大学),沢田篤史,他11名(研究分担者) 

2013  共同研究  フォーマルメソッドと検証基準に関する研究(フェーズ1) 
研究代表者  (株)デンソー  200千円 

研究内容(Research Content)  

備考(Remarks) 研究組織:沢田篤史(研究代表者),張漢明(研究分担者) 

詳細表示
著書・学術論文に関する統計情報
年度
Academic Year
学術研究著書の件数
No. of Academic Books
学会誌・国際会議議事録等に掲載された学術論文の件数
No. of Academic Articles in Journals/Int'l Conference Papers
学内的な紀要等に掲載された学術論文の件数
No. of Academic Articles Pub'd in University Bulletins
学会受賞等の受賞件数
No. of Academic Awards Received
国際学会でのゲストスピーカーの件数
No. of Times as Guest Speaker at Int'l Academic Conferences
国際学会での研究発表の件数
No. of Presentations of Papers at Int'l Academic Conferences
国内学会でのゲストスピーカーの件数
No. of Times as Guest Speaker at National Academic Conf.
国内学会での研究発表の件数
No. of Papers Presented at National Academic Conf.
2020 
2019 
2018 
2017 
2016 
2015 
2014 
2013 
2012 
2011 
詳細表示

2021/05/21 更新