Presentation | 2022-03-29 Verification of spacecraft operational scenario using Little-JIL Kazunori Someya, Kunihiko Hiraishi, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Inadequate operational scenario leads to satellite loss in the case of the operational accident of the X-ray astronomy satellite "Hitomi". In order to solve this problem, Model-Based Systems Engineering (MBSE) method is used to represent the operational scenario as a SysML activity diagram, which is then visualized and confirmed, but an exhaustive verification has not been established. We study a method to verify the operation scenario with Little-JIL. The feasibility is confirmed using Hitomi's actual problems, and the verification method by Little-JIL is considered for generalization. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Little-JIL / Operational Scenario / Model-Based Systems Engineering / Spacecraft System / Model Verification |
Paper # | MSS2021-78,NLP2021-149 |
Date of Issue | 2022-03-21 (MSS, NLP) |
Conference Information | |
Committee | MSS / NLP |
---|---|
Conference Date | 2022/3/28(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Online |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | MSS, NLP, Work In Progress (MSS only), and etc. |
Chair | Atsuo Ozaki(Osaka Inst. of Tech.) / Takuji Kosaka(Chukyo Univ.) |
Vice Chair | Shingo Yamaguchi(Yamaguchi Univ.) / Akio Tsuneda(Kumamoto Univ.) |
Secretary | Shingo Yamaguchi(Hokkaido Univ.) / Akio Tsuneda(NEC) |
Assistant | Masato Shirai(Shimane Univ.) / Hideyuki Kato(Oita Univ.) / Yuichi Yokoi(Nagasaki Univ.) |
Paper Information | |
Registration To | Technical Committee on Mathematical Systems Science and its Applications / Technical Committee on Nonlinear Problems |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Verification of spacecraft operational scenario using Little-JIL |
Sub Title (in English) | |
Keyword(1) | Little-JIL |
Keyword(2) | Operational Scenario |
Keyword(3) | Model-Based Systems Engineering |
Keyword(4) | Spacecraft System |
Keyword(5) | Model Verification |
1st Author's Name | Kazunori Someya |
1st Author's Affiliation | Japan Aerospace Exploration Agency(JAXA) |
2nd Author's Name | Kunihiko Hiraishi |
2nd Author's Affiliation | Japan Advanced Institute of Science and Technology(JAIST) |
Date | 2022-03-29 |
Paper # | MSS2021-78,NLP2021-149 |
Volume (vol) | vol.121 |
Number (no) | MSS-443,NLP-444 |
Page | pp.pp.121-126(MSS), pp.121-126(NLP), |
#Pages | 6 |
Date of Issue | 2022-03-21 (MSS, NLP) |