2023年度
国際会議
Requirement Optimization of Proximity Operations for Active Debris Removal Missions Considering Both GNC and Capture System Constraints
| 著者： | Takahiro Sasaki, Hiroki Umeda, Shoma Takatsuki, Tsutomu Kobayashi |
|---|---|
The 34th International Symposium on Space Technology and Science |
Hazard Scenarios Analysis Method Using STAMP/STPA and Sequence Diagrams in a Collision Avoidance System with Multiple Controllers
| 著者： | Shoma Takatsuki, Hiroki Umeda, Tsutomu Kobayashi, Takahiro Sasaki, Yasushi Ueda, Masafumi Katahira, Shuji Morisaki |
|---|---|
12th IAASS Conference |
Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery Function
| 著者： | Naoko Okubo, Shoma Takatsuki, Yasushi Ueda |
|---|---|
12th IAASS Conference |
国内会議
軌道上エッジコンピュータを想定したコンテナAIアプリケーションの性能に関する実験
| 著者： | 大久保 梨思子 |
|---|---|
第67回宇宙科学技術連合講演会 |
STAMP/STPAとイベントシーケンス図を用いた複数コントローラが協調するシステムにおけるハザード対策の検討支援手法の提案
| 著者： | �睇� 翔馬、梅田 浩貴、植田 泰士、片平 真史、森崎 修司（名古屋大） |
|---|---|
SQiP2023 |
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
| 著者： | Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa |
|---|---|
SES2023 |