2024年度

国際会議

Preliminary experiments for automatic software updates in software-defined satellites

著者：	Minoru Maeda, Takeshi Wakiya, Yasushi Ueda, Naoki Ishihama
	18th Annual Flight Software Workshop(FSW 2025)

On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS

著者：	Peter Riviere, Tsutomu Kobayashi, Neeraj Singh, Fuyuki Ishikawa, Yamine Ait Ameur, Guillaume Dupont
	The 25th International Conference on Formal Engineering Methods

Repairing Event-B Models through Quantifier Elimination

著者：	Tsutomu Kobayashi, Fuyuki Ishikawa
	The 25th International Conference on Formal Engineering Methods

Efficient validation process of architecture designs based on customer needs for earth observation satellite constellation systems

著者：	Hiroki Umeda, Tsutomu Kobayashi, Shoma Takatsuki, Yasushi Ueda, Shuji Morisaki
	2024 IEEE International Symposium on Systems Engineering

Modeling Process Proposal for Eliciting Customer Needs in Model-Based Systems Engineering

著者：	Hiroki Umeda, Yasushi Ueda
	Model-Based Space Systems and Software Engineering

国内会議

SDS（ソフトウェア定義衛星）を支えるアプリケーション基盤の構築

著者：	脇屋 剛史、前田 稔、植田 泰士、石濱 直樹
	第68回宇宙科学技術連合講演会

事業アーキテクチャモデルを用いた顧客期待に対するシステム設計の適合化

著者：	梅田 浩貴、植田 泰士
	第68回宇宙科学技術連合講演会