2022年度
国際会議
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
| 著者： | Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa |
|---|---|
| The 25th International Symposium on Formal Methods (FM 2023) |
Detecting Faulty Sequences of FDIR Functions on Spacecrafts Using Model Checking
| 著者： | Masatoshi Horikawa, Tsutomu Kobayashi, Shoma Takatsuki, Hiroki Umeda, Yasushi Ueda |
|---|---|
| 2023 IEEE Aerospace Conference |
The performance of containerized on-board AI application for satellites
| 著者： | Naoko Okubo, Tomohiro Ogawa |
|---|---|
| 16th Annual Flight Software Workshop（FSW2023） |
Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery Function
| 著者： | Naoko Okubo, Shoma Takatsuki, Yasushi Ueda |
|---|---|
| International Workshop on Combinatorial Testing 2022 |
System modeling process with SysML assuming the use of models
| 著者： | Hiroki Umeda, Shoma Takatsuki, Tsutomu Koboyashi, Yasushi Ueda, Atsushi Wada, Yutaka Komatsu, Naoki Ishihama, Takanori Iwata |
|---|---|
| 8th IEEE International Symposium on Systems Engineering |
国内会議
STAMP/STPAとシーケンス図を用いたコントローラ間の相互作用があるシステムにおける安全設計手法の提案
| 著者： | �睇� 翔馬、 梅田 浩貴、 植田 泰士、 片平 真史、 森崎 修司 |
|---|---|
| SQiP2022（ソフトウェア品質シンポジウム） |
特許
MBSEシステムモデルを用いたシナリオ作成方法
| 出願番号： | 特願2022-067699 |
|---|---|
| （システム分析装置、システム分析方法、及びプログラム） |