研究者詳細

教職員基本情報
氏名
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
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) 張漢明,野呂昌満,沢田篤史(共著) 

2017  Design of Common Software Architecture as Base for Application Generator and Meta-Generator for Interactive Systems  共著   
Proceedings of the IEEE 41st Annual Computer Software and Applications Conference (The 5th IEEE International COMPSAC Workshop on Consumer Devices and Systems)  , IEEE Computer Society  , pp. 323-328  , 2017/07   

概要(Abstract) Nowadays, any kind of user-side applications such as enterprise, banking, game, and so forth are almost parts of or invoked through web and/or smart-device native applications. Each vender of the application has its own development environment to keep up with the market needs. The development environment is usually for a specific environment, which consists of platform (operating systems and/or middleware) dependent tools, representation, and languages. The variety of the environment is vast and is a cause of delayed delivery
of a product. The software architecture choice is important for high-quality application development but is depend on the platforms. The architecture has many variations because of vast variety of platforms. The purpose of this research is to design the universal architecture for the application. Based on the architecture, we designed generator and meta-generator
for development of the application. We have developed a large application in a practical use, and developed several generators for that application based on the universal architecture we designed. The outcomes of the research are:
– The universal architecture eases to port a specific
environment-dependent techniques and knowledge to another.
– We could design and implemented generators and meta generators for the development based on the architecture. 

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

2017  複数事象の発生を含意した区間振る舞い記述法とその検証法の提案  共著   
コンピュータソフトウェア  , 岩波書店  , 34/2  , pp. 3-15  , 2017/05   

概要(Abstract) 並行システム開発において,特に組み込みシステムでは並列に動作する複数のハードウェア装置のもとで複数の事象が並列に発生するので,同時に発生する事象を考慮する必要がある.我々はCSPに代表されるプロセス代数を用いて,同時の事象を含んだ振る舞いを形式的に記述して分析する方法を提案する.プロセス計算ではプロセスは事象の列としてモデル化されるので,同時の事象は複雑な記述になる.本稿では,複数事象の同時性の概念を明確にしCSPを用いてその記述法と検証法を提示する.自動販売機制御の事例を用いて提案する記述方法の有用性について議論する.  

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

2016  コンテキストアウェアネスを考慮した組込みシステムのためのアスペクト指向アーキテクチャの適用と実現  共著   
ソフトウェア工学の基礎XXIII-日本ソフトウェア科学会FOSE2016  , 近代科学社  , pp. 175-180  , 2016/12   

概要(Abstract) 一般に組込みシステムは,それを取り巻く環境に応じてその振舞いを変化させる.これを実現するプログラムには,外部環境を反映する内部状態をコンテキストとし,コンテキストに応じた振舞いが記述される.一般にこのコンテキストと振舞いの関係は複雑である.実際に長年利用されてきた組込みシステムのプログラムでは,何度も改版を重ねた結果,この関係がより複雑になり,保守の阻害要因となっている.一方,組込みシステムでは並行性,実時間性,耐故障性などの非機能特性が重視される.本研究の目的は,コンテキストおよび非機能特性の横断的関心事をアスペクトとして分離したアスペクト指向アーキテクチャを設計することである.コンテキストとこれに応じた振舞いや非機能特性に関連する処理を明示的にモジュール化して扱う組込みシステムのアーキテクチャを定義する.このアーキテクチャに基づいて実現されるプログラムの変更に対する柔軟性を確保する.提案するアーキテクチャに基づく実現と,特定のプライマリコンサーンに基づく安直な実現を比較することで,我々のアスペクト指向アーキテクチャの有用性について考察する. 

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

2015  Assessing the Differences of Clone Detection Methods Used in the Fault-prone Module Prediction  共著   
Proceedings of the 10th International Workshop on Software Clones  , IEEE Computer Society  , pp. 15-16  , 2016/03   

概要(Abstract) We have investigated through several experiments the differences in the fault-prone module prediction accuracy caused by the differences in the constituent code clone metrics of the prediction model. In the previous studies, they use one or more code clone metrics as independent variables to build an accurate prediction model. While they often use the clone detection method proposed by Kamiya et al. to calculate these metrics, the effect of the detection method on the prediction accuracy is not clear. In the experiment, we built prediction models using a dataset collected from an open source software project. The result suggests that the prediction accuracy is improved, when clone metrics derived from the various clone detection tool are used. 

備考(Remarks) Masateru Tsunoda, Yasutaka Kamei, Atsushi Sawada (共著) 

2015  Software Architecture and Specification Model for Customizable Code Inspection Tools  共著   
Proceedings of the 22nd Asia-Pacific Software Engineering Conference  , IEEE Computer Society  , pp. 230-237  , 2015/12   

概要(Abstract) This paper describes the aspect-oriented software
architecture and the finite automaton based specification model for building customizable code inspection tools. Through the development of a production quality code inspection tool, five
crosscutting concerns are identified: internal data model, language processing, data traverse, inspection logic, and decoupling control. We constructed an aspect-oriented software architecture manipulating the concerns. The architecture is flexible to various
changes to code inspection tools. With a combination of six design patterns: Composite, Interpreter, Visitor, Mediator, Command and State, an application framework based on the architecture is implemented. The usefulness of the architecture is discussed. The finite automaton model for the specification to the inspection
logic is introduced and its practicality is demonstrated with our inspection tool. We also show that the combination of our architecture and our specification model is a useful basis for test case generation for each inspection logic. Possibilities for
automatic generation of inspection codes are discussed as well. 

備考(Remarks) Masami Noro, Atsushi Sawada (共著) 

詳細表示
その他研究業績
年度
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
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.
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) 江坂 篤侍,野呂 昌満,沢田 篤史,繁田 雅信,谷口 弘一(共同) 

2015  オブジェクト間の相互作用の設計手法に関する考察  共同  2015/11/27 
第22回ソフトウェア工学の基礎ワークショップ(FOSE2015)  , 日本ソフトウェア科学会ソフトウェア工学の基礎研究会   

概要(Abstract) 並行システムにおけるコンポーネント間で,際どいタイミングにおける相互作用を考慮した設計手法について提案を行った.一定の区間において関心のあるイベントのみに着目した抽象化により,検証時のコストを削減する方法について検討を行った. 

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

2014  インタラクティブソフトウェアの共通アーキテクチャの提案  共同  2015/03/13 
情報処理学会第187回ソフトウェア工学研究発表会  , 情報処理学会ソフトウェア工学研究会  , 情報処理学会研究報告(ソフトウェア工学)  , 情報処理学会  , 2015-SE-187/32  , 1-8   

概要(Abstract) スマートデバイスなどのインタラクティブソフトウェアの開発環境と実行環境を統一的に説明することのできる共通アーキテクチャを提案した.参照アーキテクチャとアプリケーションアーキテクチャとの2レベルからなるアスペクト指向共通アーキテクチャを導入することで,多様な環境間でアプリケーションを相互に開発することを可能とする. 

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

2014  同時性を考慮した並行システムの振舞い検証に関する考察  共同  2015/03/06 
情報処理学会第36回組込みシステム研究発表会  , 情報処理学会  , 情報処理学会研究報告(組込みシステム)  , 情報処理学会  , 2015-EMB-36/13  , 1-6   

概要(Abstract) プロセス代数 CSP を用いて並行システムの同時性を定義し,同時性を考慮した振舞い検証の枠組みを提示した.同時性の仕様記述を一般化してモジュール化することにより,同時性に関する仕様と検証の記述を容易にした. 

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

2014  産学連携によるソフトウェア進化パターン収集の試み  共同  2014/05/19 
情報処理学会ソフトウェア工学研究会  , 情報処理学会  , 情報処理学会研究報告(ソフトウェア工学)  , 情報処理学会  , 2014-SE-183/1  , 1-8   

概要(Abstract) ソフトウェア進化を実践するうえでの指針や慣例がソフトウェア進化パターンである.我々は,Demeyerらのオブジェクト指向リエンジニアリングパターンを補完することを目的に,産学連携でパターンの収集を試みた.本稿では,その結果として,ソフトウェアプロダクトライン,コードクローン,ソフトウェア変更支援,プログラム理解支援,リファクタリングプロセスに関する進化パターンを提案する. 

備考(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.
2018 
2017 
2016 
2015 
2014 
2013 
2012 
2011 
2010 
2009 
詳細表示

2019/04/01 更新