| Item type |
テクニカルレポート / Technical Report(1) |
| 公開日 |
2015-03-26 |
| タイトル |
|
|
タイトル |
ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証 |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
計算機プログラム |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
宇宙機搭載計算機 |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
スペースシャトル |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
ソフトウェア信頼性 |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
宇宙航行 |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
宇宙機誘導 |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
トレーサビリティ |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
リバースエンジニアリング |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
独立検証 |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
実証 |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
computer program |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
spaceborne computer |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
space shuttle |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
software reliability |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
space navigation |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
spacecraft guidance |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
traceability |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
reverse engineering |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
independent verification |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
validation |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| その他のタイトル（英） |
|
|
その他のタイトル |
Research and empirical study on software independent verification and validation (4&5) |
| 著者 |
奥田, 一実
片平, 真史
宮本, 祐子
石濱, 直樹
Okuda, Kazumi
Katahira, Masafumi
Miyamoto, Yuko
Ishihama, Naoki
|
| 著者所属 |
|
|
|
宇宙航空研究開発機構 総合技術研究本部 |
| 著者所属 |
|
|
|
宇宙航空研究開発機構 総合技術研究本部 |
| 著者所属 |
|
|
|
宇宙航空研究開発機構 総合技術研究本部 |
| 著者所属 |
|
|
|
宇宙航空研究開発機構 総合技術研究本部 |
| 著者所属（英） |
|
|
|
en |
|
|
Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics |
| 著者所属（英） |
|
|
|
en |
|
|
Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics |
| 著者所属（英） |
|
|
|
en |
|
|
Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics |
| 著者所属（英） |
|
|
|
en |
|
|
Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics |
| 出版者 |
|
|
出版者 |
宇宙航空研究開発機構 |
| 出版者（英） |
|
|
出版者 |
Japan Aerospace Exploration Agency (JAXA) |
| 書誌情報 |
宇宙航空研究開発機構特別資料: 平成16年度総合技術研究本部宇宙領域宇宙科学研究本部合同研究成果報告書:先行研究等
en : JAXA Special Publication: FY2004 Report of Joint Research Achievements of the Space Division of Institute of Aerospace Technology and Institute of Space and Astronautical Science: Pioneering Research
巻 JAXA-SP-05-011,
p. 89-90,
発行日 2006-01-20
|
| 抄録（英） |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Software 4&5 (Independent Verification and Validation) technology has been studied after the space shuttle Challenger accident was occurred. JAXA is also applying new methodologies of 4&5 to software in real space projects. Several techniques have been applied and known as effective approach to high reliability software development in JAXA. In this research, the new methodologies were studied and applied to support project team's software development. As a result of this study, the applicability and effectiveness are confirmed. |
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1349-113X |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11984031 |
| 資料番号 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
資料番号: AA0049057020 |
| レポート番号 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
レポート番号: JAXA-SP-05-011 |
49057020.pdf (1.2 MB)
