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

Material type: 文書・図像類

Author: 奥田, 一実ほか

Publisher: 宇宙航空研究開発機構

Publication date: 2006-01-20

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: Software 4&5 (Independent Verification and Validation) technology has been studied after the space shuttle Challenger accident was occurred. JAXA is a...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

JAXA Repository
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
JAXA Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証
Author/Editor: 奥田, 一実
片平, 真史
宮本, 祐子
石濱, 直樹
Okuda, Kazumi
Katahira, Masafumi
Miyamoto, Yuko
Ishihama, Naoki
Author Heading: 奥田, 一実
片平, 真史
宮本, 祐子
石濱, 直樹
Okuda, Kazumi
Katahira, Masafumi
Miyamoto, Yuko
Ishihama, Naoki
Publication, Distribution, etc.: 宇宙航空研究開発機構
Publication Date: 2006-01-20
Publication Date (W3CDTF): 2006-01-20
Alternative Title: Research and empirical study on software independent verification and validation (4&5)
Periodical title: 宇宙航空研究開発機構特別資料: 平成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
No. or year of volume/issue: JAXA-SP-05-011
Volume: JAXA-SP-05-011
Pages: 89-90
ISSN (Periodical Title): ISSN : 1349-113X
Text Language Code: jpn
Subject Heading: 計算機プログラム
宇宙機搭載計算機
スペースシャトル
ソフトウェア信頼性
宇宙航行
宇宙機誘導
トレーサビリティ
リバースエンジニアリング
独立検証
実証
computer program
spaceborne computer
space shuttle
software reliability
space navigation
spacecraft guidance
traceability
reverse engineering
independent verification
validation
Target Audience: 一般
Note (General): 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.
資料番号: AA0049057020
レポート番号: JAXA-SP-05-011
Access Restrictions: 限定公開
Periodical Title (NCID): AA11984031
https://ci.nii.ac.jp/ncid/AA11984031
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 宇宙航空研究開発機構 : 宇宙航空研究開発機構リポジトリ