WEKO3
アイテム
{"_buckets": {"deposit": "b31d511a-cca1-4e36-8715-1ef4088b3f4e"}, "_deposit": {"created_by": 1, "id": "6229", "owners": [1], "pid": {"revision_id": 0, "type": "depid", "value": "6229"}, "status": "published"}, "_oai": {"id": "oai:jaxa.repo.nii.ac.jp:00006229", "sets": ["1057", "1893"]}, "author_link": ["31258", "31259", "31256", "31255", "31261", "31257", "31262", "31260"], "item_3_alternative_title_2": {"attribute_name": "その他のタイトル(英)", "attribute_value_mlt": [{"subitem_alternative_title": "Research and empirical study on software independent verification and validation (4\u00265)"}]}, "item_3_biblio_info_10": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006-01-20", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "90", "bibliographicPageStart": "89", "bibliographicVolumeNumber": "JAXA-SP-05-011", "bibliographic_titles": [{"bibliographic_title": "宇宙航空研究開発機構特別資料: 平成16年度総合技術研究本部宇宙領域宇宙科学研究本部合同研究成果報告書:先行研究等"}, {"bibliographic_title": "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", "bibliographic_titleLang": "en"}]}]}, "item_3_description_17": {"attribute_name": "抄録(英)", "attribute_value_mlt": [{"subitem_description": "Software 4\u00265 (Independent Verification and Validation) technology has been studied after the space shuttle Challenger accident was occurred. JAXA is also applying new methodologies of 4\u00265 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\u0027s software development. As a result of this study, the applicability and effectiveness are confirmed.", "subitem_description_type": "Other"}]}, "item_3_description_32": {"attribute_name": "資料番号", "attribute_value_mlt": [{"subitem_description": "資料番号: AA0049057020", "subitem_description_type": "Other"}]}, "item_3_description_33": {"attribute_name": "レポート番号", "attribute_value_mlt": [{"subitem_description": "レポート番号: JAXA-SP-05-011", "subitem_description_type": "Other"}]}, "item_3_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "宇宙航空研究開発機構"}]}, "item_3_publisher_9": {"attribute_name": "出版者(英)", "attribute_value_mlt": [{"subitem_publisher": "Japan Aerospace Exploration Agency (JAXA)"}]}, "item_3_source_id_21": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1349-113X", "subitem_source_identifier_type": "ISSN"}]}, "item_3_source_id_24": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA11984031", "subitem_source_identifier_type": "NCID"}]}, "item_3_text_20": {"attribute_name": "その他キーワード", "attribute_value_mlt": [{"subitem_text_value": "コンピュータプログラミング及びソフトウェア"}]}, "item_3_text_35": {"attribute_name": "JAXAカテゴリ", "attribute_value_mlt": [{"subitem_text_value": "JAXAカテゴリ: 特別資料"}]}, "item_3_text_40": {"attribute_name": "jaxa出版物種類", "attribute_value_mlt": [{"subitem_text_value": "jaxa出版物種類: SP"}]}, "item_3_text_43": {"attribute_name": "DSpaceコレクション番号", "attribute_value_mlt": [{"subitem_text_value": "DSpaceコレクション番号: 7"}]}, "item_3_text_6": {"attribute_name": "著者所属", "attribute_value_mlt": [{"subitem_text_value": "宇宙航空研究開発機構 総合技術研究本部"}, {"subitem_text_value": "宇宙航空研究開発機構 総合技術研究本部"}, {"subitem_text_value": "宇宙航空研究開発機構 総合技術研究本部"}, {"subitem_text_value": "宇宙航空研究開発機構 総合技術研究本部"}]}, "item_3_text_7": {"attribute_name": "著者所属(英)", "attribute_value_mlt": [{"subitem_text_language": "en", "subitem_text_value": "Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics"}, {"subitem_text_language": "en", "subitem_text_value": "Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics"}, {"subitem_text_language": "en", "subitem_text_value": "Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics"}, {"subitem_text_language": "en", "subitem_text_value": "Japan Aerospace Exploration Agency Institute of Space Technology and Aeronautics"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "奥田, 一実"}], "nameIdentifiers": [{"nameIdentifier": "31255", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "片平, 真史"}], "nameIdentifiers": [{"nameIdentifier": "31256", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "宮本, 祐子"}], "nameIdentifiers": [{"nameIdentifier": "31257", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "石濱, 直樹"}], "nameIdentifiers": [{"nameIdentifier": "31258", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Okuda, Kazumi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "31259", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Katahira, Masafumi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "31260", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Miyamoto, Yuko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "31261", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Ishihama, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "31262", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-01-16"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "49057020.pdf", "filesize": [{"value": "1.2 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1200000.0, "url": {"label": "49057020.pdf", "url": "https://jaxa.repo.nii.ac.jp/record/6229/files/49057020.pdf"}, "version_id": "dbaf965a-1ad7-4cc9-a41f-6420e66083fa"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "計算機プログラム", "subitem_subject_scheme": "Other"}, {"subitem_subject": "宇宙機搭載計算機", "subitem_subject_scheme": "Other"}, {"subitem_subject": "スペースシャトル", "subitem_subject_scheme": "Other"}, {"subitem_subject": "ソフトウェア信頼性", "subitem_subject_scheme": "Other"}, {"subitem_subject": "宇宙航行", "subitem_subject_scheme": "Other"}, {"subitem_subject": "宇宙機誘導", "subitem_subject_scheme": "Other"}, {"subitem_subject": "トレーサビリティ", "subitem_subject_scheme": "Other"}, {"subitem_subject": "リバースエンジニアリング", "subitem_subject_scheme": "Other"}, {"subitem_subject": "独立検証", "subitem_subject_scheme": "Other"}, {"subitem_subject": "実証", "subitem_subject_scheme": "Other"}, {"subitem_subject": "computer program", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "spaceborne computer", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "space shuttle", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "software reliability", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "space navigation", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "spacecraft guidance", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "traceability", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "reverse engineering", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "independent verification", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "validation", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "technical report", "resourceuri": "http://purl.org/coar/resource_type/c_18gh"}]}, "item_title": "ソフトウエア4\u00265(独立検証及び妥当性確認)の研究と実証", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "ソフトウエア4\u00265(独立検証及び妥当性確認)の研究と実証"}]}, "item_type_id": "3", "owner": "1", "path": ["1057", "1893"], "permalink_uri": "https://jaxa.repo.nii.ac.jp/records/6229", "pubdate": {"attribute_name": "公開日", "attribute_value": "2015-03-26"}, "publish_date": "2015-03-26", "publish_status": "0", "recid": "6229", "relation": {}, "relation_version_is_last": true, "title": ["ソフトウエア4\u00265(独立検証及び妥当性確認)の研究と実証"], "weko_shared_id": -1}
ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証
https://jaxa.repo.nii.ac.jp/records/6229
https://jaxa.repo.nii.ac.jp/records/6229ea4bd7f3-e251-4373-86eb-6eb6db6d6c11
名前 / ファイル | ライセンス | アクション |
---|---|---|
49057020.pdf (1.2 MB)
|
|
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 |