An MBSE approach for early validation of safety‐critical software: Lessons learned from the cross-organizational development of the HTV‐X automated docking system
Indexed from repository: NASA Technical Reports Server
(
ntrs.nasa.gov)
Document Information
| Document Title | An MBSE approach for early validation of safety‐critical software: Lessons learned from the cross-organizational development of the HTV‐X automated docking system |
|---|---|
| Author / Organization | Yuki Tomita, Hiroki Umeda, Ryo Mikoshiba, Hiroshi Kozawa, Ryosuke Fujimura, Yuri Hachiya, Tsutomu Kobayashi, Takashi Uchiyama |
| Subject & Discipline | REPRINT |
| Categories | Aerospace & Aviation |
| Publication Year | 2026 |
| License / Rights | Public Domain / NASA STI Open Access |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
NASA Technical Reports Server
(ntrs.nasa.gov)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-32008 |
| Original Source Link | Visit Source Page on ntrs.nasa.gov » |