研究者詳細 - 森崎　修司

論文 - 森崎　修司

分割表示 82 件中 21 - 40 件目／全件表示 >>

テスト項目作成時のテストベース理解戦略の分析

佐々木方規, 森崎修司

情報処理学会研究報告ソフトウェア工学 2021-SE-207 巻 ( 38 ) 頁： 1 - 6 2021年3月

A Goal-Oriented Approach to Requirements Development and Quantitative Security Assurance 査読有り国際共著

Z. Zhou, Q. Zhi, Z. Liang, S. Morisaki

International Journal of Systems and Software Security and Protection 12 巻 ( 1 ) 頁： 46 - 62 2021年1月

A Composite Safety Assurance Method for Developing System Architecture Using Model Checking 査読有り国際共著

Q. Zhi, Z. Zhou, S. Morisaki

International Journal of Systems and Software Security and Protection 12 巻 ( 1 ) 頁： 78 - 93 2021年1月

An assurance case approach for software code security

Miyabayashi R., Atsumi N., Morisaki S., Yamamoto S.

CEUR Workshop Proceedings 2809 巻頁： 5 - 9 2021年

記述言語：日本語出版者・発行元：CEUR Workshop Proceedings

The vulnerability of the security of the software codes has often caused by invalid input. Therefore, software security greatly depends on the safety of module inputs. In this paper, we propose a method to ensure the code security by building Assurance cases based on the relationship between input specifications and code portions of each module. In addition, a case study is accomplished to apply the proposed method for the published vulnerability of an OSS. The result shows that the method can detect the vulnerability of the OSS by the absence of necessary evidence in the developed assurance case based on the input specifications and portions of the OSS code.

Scopus

FMEA Focusing on the Interaction Between Physical and Computational Elements in Cyber-Physical Systems 査読有り

Umeda, H; Namihira, K; Okubo, N; Ueda, Y; Morisaki, S; Katahira, M

67TH ANNUAL RELIABILITY & MAINTAINABILITY SYMPOSIUM (RAMS 2021) 2021-May 巻頁： 1 - 7 2021年

記述言語：日本語掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Proceedings - Annual Reliability and Maintainability Symposium

This paper proposes an extended Failure Mode and Effect Analysis (FMEA) method to capture the interaction between physical and computational elements. Autonomous control of Cyber-Physical Systems (CPS), such as launch vehicle and spacecraft, has the interaction of physical and computational elements. Therefore, it is important to analyze failure scenarios caused by the interaction between physical and computational elements. When analysts accurately capture and analyze dynamic behaviors such as state changes and interaction during and after a failure as a failure scenario, the failure scenario promotes an accurate understanding of system failure and effects, helps appropriate design improvements. However, it is not easy to analyze CPS's failure scenarios involving many factors using conventional FMEA, which is because FMEA focuses on each element. The proposed method sequentially identifies failure modes and failure scenarios for combinations of elements using three models. The first model is the input-output Structural Model (SM), which identifies specifications that have interaction between physical and computational elements. The second model is Tree Model extended from Goal Structuring Notation (GSN), which supports analysis in guiding combinations of conditions from the perspective of a system's hierarchy. The third is a sequence model that shows failure scenarios, and Event Sequence Diagram (ESD) visualizes the state transitions of elements, including the passage of time. As a result of applying the proposed method to four CPS spacecraft systems, the number of failure modes, including the interaction between physical and computational elements, increased 2 to 8 times that when using conventional FMEA worksheets and guidewords about Hazard and Operability Study (HAZOP).

DOI： 10.1109/RAMS48097.2021.9605746

Web of Science

Scopus

自然言語処理による情報検索を用いた故障発想支援の提案査読有り

梅田浩貴,波平晃佑,植田泰士,片平真史,森崎修司

ソフトウェア品質シンポジウム2020発表報文集頁： B2-1_1-8 2020年9月

システムロバスト性向上のためのモデル検査による検証手法の提案と宇宙機搭載FPGAへの適用事例招待有り査読有り

梅田浩貴,倉林翔,小口一浩,植田泰士,片平真史,早水公二,森崎修司

ソフトウェアエンジニアリングシンポジウム2020論文集頁： 32 - 41 2020年9月

アジャイル開発に適した品質チェック項目の作成手法査読有り

谷崎浩一, 田上諭,森龍二, 蛭田恭章,森崎修司

ソフトウェアエンジニアリングシンポジウム2020論文集頁： 88 - 96 2020年9月

アジャイル開発に適した品質チェック項目の構造化査読有り

谷崎浩一, 田上諭,森龍二, 蛭田恭章,森崎修司

ソフトウェア品質シンポジウム2020発表報文集頁： B1-1_1-8 2020年9月

An Investigation on Maintainability of Update Methods in Game Loops 査読有り

K. Kanamori, S. Morisaki, S. Yamamoto

12 巻 ( 1 ) 頁： 1 - 12 2020年7月

A Systematic Literature Review on Enterprise Architecture Visualization Methodologies 査読有り国際共著

Z. Zhou, Q. Zhi, S. Morisaki, S. Yamamoto

IEEE Access 8 巻頁： 96404 - 96427 2020年5月

A Method to Remove Extraneous Words in Defect Log by Using Common Vocabulary 査読有り

S. Morisaki, M. Nishiguchi, T. Yonemitsu, A. Motoyama

頁： 1-7 2020年4月

An Evaluation of Quantitative Non-Functional Requirements Assurance Using ArchiMate 査読有り国際共著

Z. Zhou, Q. Zhi, S. Morisaki, S. Yamamoto

IEEE Access 8 巻頁： 72395 - 72410 2020年4月

Tool Supported Detection of Omissions by Comparing Words between Requirements and Design Document 査読有り

T. Wakabayashi, S. Morisaki, N. Kasai, N. Atsumi, S. Yamamoto

Journal of Information Processing 28 巻頁： 136-149 2020年2月

IMAF: A Visual Innovation Methodology Based on ArchiMate Framework 査読有り

Z. Zhou, Q. Zhi, S. Morisaki, S. Yamamoto

International Journal of Enterprise Information Systems 16 巻 ( 1 ) 頁： 31-52 2020年1月

Assurance case review using System Theory 査読有り

S. Yamamoto, S. Morisaki

International Journal of Japan Association for Management Systems 11 巻 ( 1 ) 頁： 35-40 2019年12月

ネストの深さと繰り返し回数に着目したゲームループの実装ソースコードの検出査読有り

金森公洋,森崎修司,山本修一郎

ソフトウェア工学の基礎XXVI 頁： 133-138 2019年11月

相関関数を扱うアソシエーションルールの提案とソフトウェア開発データへの適用査読有り

齊藤英和, 門田暁人, Z. Yucel, 森崎修司

コンピュータソフトウェア 36 巻 ( 3 ) 頁： 47-53 2019年9月

リスクシナリオに繋がるコンテキスト情報を抽出するレビューメタモデルの提案査読有り

梅田浩貴,波平晃佑,植田泰士,片平真史,森崎修司

ソフトウェア品質シンポジウム2019発表報文集頁： A1-1_1-8 2019年9月

ARM Analysis Case Study: Digital Indian Health Care System Business Model and Review 査読有り

N. Olayan, S. Morisaki, S. Yamamoto

ACTA Scientific Medical Sciences 3 巻 ( 9 ) 頁： 77-85 2019年8月

　前のページ - 次のページ　

<森崎 修司>

論文 - 森崎 修司

<森崎　修司>

論文 - 森崎　修司