ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証

奥田 一実; 片平 真史; 宮本 祐子; 石濱 直樹

ログイン

JAXA Repository

トップニュース

【JAXA Repository リニューアルのお知らせ】

JAXA Repositoryは2020年4月10日より、JAIRO Cloudへ移行いたしました。

移行前のURLでブックマークされていた方は、新しいURLで新たにブックマークをお願いいたします。

なお、AIREXは以前と同じURLにて公開しております。

WEKO


	トップ


	ランキング

Language

インデックスツリー

インデックス

JAXA出版物（種類別）

特別資料 Special Publication（略称：SP）

2005年度

JAXA-SP-05-011　平成16年度総合技術研究本部宇宙領域宇宙科学研究本部合同研究成果報告書:先行研究等
コンテンツタイプ (Contents Type)

テクニカルレポート (Technical Report)

Permalink : http://id.nii.ac.jp/1696/00006223/

ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証利用統計を見る

File / Name	License
49057020.pdf
49057020.pdf (1.19MB) [ 6 downloads ]

アイテムタイプ	テクニカルレポート / Technical Report
言語	日本語
キーワード	計算機プログラム, 宇宙機搭載計算機, スペースシャトル, ソフトウェア信頼性, 宇宙航行, 宇宙機誘導, トレーサビリティ, リバースエンジニアリング, 独立検証, 実証
キーワード(英)	computer program, spaceborne computer, space shuttle, software reliability, space navigation, spacecraft guidance, traceability, reverse engineering, independent verification, validation
その他のタイトル（英）	Research and empirical study on software independent verification and validation (4&5)
著者	奥田一実片平真史宮本祐子石濱直樹
著者（英）	Okuda Kazumi Katahira Masafumi Miyamoto Yuko Ishihama Naoki
著者所属	宇宙航空研究開発機構総合技術研究本部宇宙航空研究開発機構総合技術研究本部宇宙航空研究開発機構総合技術研究本部宇宙航空研究開発機構総合技術研究本部
著者所属（英）	Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics
出版者	宇宙航空研究開発機構
出版者（英）	Japan Aerospace Exploration Agency (JAXA)
雑誌名	宇宙航空研究開発機構特別資料: 平成16年度総合技術研究本部宇宙領域宇宙科学研究本部合同研究成果報告書:先行研究等
雑誌名(英)	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
ページ	89 - 90
発行年	2006-01-20
抄録（英）	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	1349-113X
書誌レコードID	AA11984031
資料番号	資料番号: AA0049057020
レポート番号	レポート番号: JAXA-SP-05-011

Language

お知らせ

★2020年12月2日

システムメンテナンスのお知らせ

12月10日（木）15:00-18:00の作業時間中、1～1時間半程度、サイトを閉鎖させていただきます。ご利用の皆様にはご迷惑をおかけいたしますが、よろしくお願いします。

★2020年4月10日
【JAXA Repository リニューアルのお知らせ】
JAXA Repositoryは2020年4月10日より、JAIRO Cloudへ移行いたしました。

移行前のURLでブックマークされていた方は、新しいURLで新たにブックマークをお願いいたします。

なお、AIREXは以前と同じURLにて公開しております。

リンク

検索

JAXA

リポジトリ関連

著作権関連

カウンタ

COUNTER

トップニュース

WEKO

Language

インデックスツリー

ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証 利用統計を見る

Language

お知らせ

リンク

カウンタ

ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証利用統計を見る