担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：QFD Institut Deutschland  

ソフトウェア2.0の品質を確保するために必要な品質特性を明らかにした。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：QFD Institut Deutschland  

代表的なリスク分析手法であるHAZOP（Hazard and Operability Study）を用いて、ソフトウェアで制御された工業製品の異常動作を調査するHSCT（Hardware and Software Combined Test）のテストケースを計画する手法を提案した。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：The Society of Instrument and Control Engineers of Japan  

望ましくない事象を分析する手法であるHAZOPを用いて、ソフトウェアで制御される工業製品のハードウェアとソフトウェアの組合せテスト仕様の包括的な作成手法を提案した。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Multidisciplinary Digital Publishing Institute  

DOI： 10.3390/info12020079

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Multidisciplinary Digital Publishing Institute  

組込み制御ソフトウェアにFTAを適用してトラブルの原因を明らかにする解析手法を提案した。提案手法の特徴は、組込み制御ソフトウェアの命令に対応したフォルト木(FT)テンプレート(FTT)を作成し、命令実行プロセスのバックトレースに応じてFTTを組み合わせてFT開発ルールを定義した。

DOI： 10.3390/info11090402

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Asian Network for Quality  

階層分析法(AHP)を使って、国勢調査官の作業成績を評価するシステムを提案した。評価担当者が使用できるWebベースのアプリケーションを構築し、説明可能な評価インジケーターを使用して、データの数え上げとデータ処理のパフォーマンスを評価することができた。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：The Society of Instrument and Control Engineers  

システム理論プロセス分析（STPA）を用いた組み込み制御ソフトウェアによるハザード分析手法を提案した。

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

STAMPモデルの考え方を品質機能展開の信頼性展開に適用した方法を提案した。旧来のQFDの信頼性展開とは異なるポジティブな信頼性を作り込む方法を提案したことにより、より安全なシステムを提案できるようになった。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：IRSET  

Smith-Watermanアルゴリズムを用いたプログラムラインベースのGCC検出法を提案した。この検出法に基づいたGCC検出ツールを開発した。実験結果より、許容範囲内で高精度にGCCを検出するために使用できることを明らかにした。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：The Society of Instrument and Control Engineers Annual Conference 2018  

組込み制御ソフトウェア向けの故障の木解析の方法を提案した。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：The 24th International Symposium on Quality Function Deployment  

品質機能展開を利用した製品開発において、狩野モデルの品質要素の考え方を導入し、顧客満足度を向上させるための方法論を提案した。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Digital Library of Academic Research  

プログラムの制御フローの複雑さ、他のプログラムの部分からの独立性、プログラミング言語仕様の非依存性に関するメトリクスを用いた、コードクローンとコピー＆ペースト後に文の変更、追加および削除が行われたコードクローンを効果的に検出する方法を提案した。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Asia Network for Quality  

テスト駆動型開発(TDD)を実践すれば、結合度が低くテスト容易性の高いコードを生成できるが、複雑で資源を多く利用するデータベースに頻繁にアクセスする場合には、必ずしもTDDを容易に実践できない。本稿では、業務システムにおいてTDDを実践するための効果的なアプローチを提案した。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：JUSE  

高い保守性を備えたソフトウェアを開発するために、受入れテスト駆動開発に品質機能展開を導入する方法を提案した。

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：The Society of Instrument and Control Engineers  

This paper proposes a method that aggregates similar portions (code clones) in the developed program and
redesigns the current program structure to an adequate program structure. The procedure of the proposed method is
the following: Code clones are detected, and their characteristics are extracted, the design methods that code clones are
aggregated are proposed, the program is modified, and the affected portions in the program are clarified and retested.
Furthermore, a tool that supports the proposed method is created. As a result of applying the proposed method and the
tool, it is found that 45% CCs are aggregated and 13% instructions of the program are deleted. Additionally, it is found
that an adequate program structure is realized by using the proposed method and the tool.

DOI： 10.9746/jcmsi.10.184

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

Impact Factor 0.835

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：IEEE  

Many industrial products are controlled by software. Errors in the control software make the products and users danger. To avoid this situation, it is necessary that inexpected behaviors and operations do not make the products unsafe state. This paper proposes a method that the control software makes safe by conducting "Failure Mode and Effects Analysis (FMEA)" and "Fault Tree Analysis (FTA)" repeatedly. The outline of the proposed method is as follows. In the upper phase, risks of control software are analyzed by using FMEA exhaustively, and the measures are reflected to the specifications. In the lower phase, risks that cannot be taken the measures are clarified, and the measures are reflected to the specifications and software. FMEA and FTA are conducted repeatedly, until the control software does not contain risk.

Web of Science