Faculty Profiles - MORISAKI Shuji

Papers - MORISAKI Shuji

Division display 21 - 40 of about 82 ／ All the affair displays >>

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

佐々木方規, 森崎修司

情報処理学会研究報告ソフトウェア工学 Vol. 2021-SE-207 ( 38 ) page： 1 - 6 2021.3

A Goal-Oriented Approach to Requirements Development and Quantitative Security Assurance Reviewed International coauthorship

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

International Journal of Systems and Software Security and Protection Vol. 12 ( 1 ) page： 46 - 62 2021.1

A Composite Safety Assurance Method for Developing System Architecture Using Model Checking Reviewed International coauthorship

Q. Zhi, Z. Zhou, S. Morisaki

International Journal of Systems and Software Security and Protection Vol. 12 ( 1 ) page： 78 - 93 2021.1

An assurance case approach for software code security

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

CEUR Workshop Proceedings Vol. 2809 page： 5 - 9 2021

Language：Japanese Publisher：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 Reviewed

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

67TH ANNUAL RELIABILITY & MAINTAINABILITY SYMPOSIUM (RAMS 2021) Vol. 2021-May page： 1 - 7 2021

Language：Japanese Publishing type：Research paper (international conference proceedings) Publisher：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

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

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

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

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

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

ソフトウェアエンジニアリングシンポジウム2020論文集 page： 32 - 41 2020.9

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

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

ソフトウェアエンジニアリングシンポジウム2020論文集 page： 88 - 96 2020.9

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

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

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

An Investigation on Maintainability of Update Methods in Game Loops Reviewed

K. Kanamori, S. Morisaki, S. Yamamoto

Vol. 12 ( 1 ) page： 1 - 12 2020.7

A Systematic Literature Review on Enterprise Architecture Visualization Methodologies Reviewed International coauthorship

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

IEEE Access Vol. 8 page： 96404 - 96427 2020.5

A Method to Remove Extraneous Words in Defect Log by Using Common Vocabulary Reviewed

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

page： 1-7 2020.4

An Evaluation of Quantitative Non-Functional Requirements Assurance Using ArchiMate Reviewed International coauthorship

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

IEEE Access Vol. 8 page： 72395 - 72410 2020.4

Tool Supported Detection of Omissions by Comparing Words between Requirements and Design Document Reviewed

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

Journal of Information Processing Vol. 28 page： 136-149 2020.2

IMAF: A Visual Innovation Methodology Based on ArchiMate Framework Reviewed

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

International Journal of Enterprise Information Systems Vol. 16 ( 1 ) page： 31-52 2020.1

Assurance case review using System Theory Reviewed

S. Yamamoto, S. Morisaki

International Journal of Japan Association for Management Systems Vol. 11 ( 1 ) page： 35-40 2019.12

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

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

ソフトウェア工学の基礎XXVI page： 133-138 2019.11

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

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

コンピュータソフトウェア Vol. 36 ( 3 ) page： 47-53 2019.9

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

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

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

ARM Analysis Case Study: Digital Indian Health Care System Business Model and Review Reviewed

N. Olayan, S. Morisaki, S. Yamamoto

ACTA Scientific Medical Sciences Vol. 3 ( 9 ) page： 77-85 2019.8

　 PREV - NEXT 　

<MORISAKI Shuji>

Papers - MORISAKI Shuji