| 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) |