WEKO3
アイテム
{"_buckets": {"deposit": "d185f1c2-2f71-44ff-9893-41bd41580716"}, "_deposit": {"created_by": 1, "id": "39550", "owners": [1], "pid": {"revision_id": 0, "type": "depid", "value": "39550"}, "status": "published"}, "_oai": {"id": "oai:jaxa.repo.nii.ac.jp:00039550", "sets": ["1891"]}, "author_link": ["443134", "443133", "443136", "443135"], "item_5_biblio_info_10": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-08", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_5_description_15": {"attribute_name": "会議概要(会議名, 開催地, 会期, 主催者等)(英)", "attribute_value_mlt": [{"subitem_description": "The 32nd International System Safety Training Symposium (August 4-8, 2014. St. Louis Union Station DoubleTree Hotel), St. Louis, Missouri, USA", "subitem_description_type": "Other"}]}, "item_5_description_17": {"attribute_name": "抄録(英)", "attribute_value_mlt": [{"subitem_description": "The Japan Aerospace Exploration Agency (JAXA) has collaborated on certain international projects. In the projects, the interface among different organizations caused many problems, some of which were found late in the development phase, that negatively impacted the projects. Therefore, various organizations have attempted to define and verify adequate Interface Control Documents (ICDs) in order to find problems early in the development phase. For JAXA\u0027s software Independent Verification and Validation (IV\u0026V), engineers verify the interface early in the development phase to ensure successful projects. However, past verification consisted mainly on validating static consistency between ICDs and target software specifications; behavioral inconsistency among software causes problems late in the development phase. JAXA and the European Space Agency (ESA) IV\u0026V teams undertook a pilot project with the objective of studying an effective method for verifying interface related to software behavior early in the development phase. In this pilot project, we developed a verification method based on an executable hierarchical model, and applied it to an actual international spacecraft project. As a result, 92 ICD issues were identified before implementing the software; nevertheless, significant time was consumed. To improve efficiency, we suggest developing models based on the software component architecture framework.", "subitem_description_type": "Other"}]}, "item_5_description_32": {"attribute_name": "資料番号", "attribute_value_mlt": [{"subitem_description": "資料番号: PA1510084000", "subitem_description_type": "Other"}]}, "item_5_publisher_9": {"attribute_name": "出版者(英)", "attribute_value_mlt": [{"subitem_publisher": "The International System Safety Society"}]}, "item_5_text_35": {"attribute_name": "JAXAカテゴリ", "attribute_value_mlt": [{"subitem_text_value": "JAXAカテゴリ: 会議発表論文"}]}, "item_5_text_36": {"attribute_name": "JAXAカテゴリ2", "attribute_value_mlt": [{"subitem_text_value": "JAXAカテゴリ2: TP"}]}, "item_5_text_43": {"attribute_name": "DSpaceコレクション番号", "attribute_value_mlt": [{"subitem_text_value": "DSpaceコレクション番号: 12"}]}, "item_5_text_6": {"attribute_name": "著者所属", "attribute_value_mlt": [{"subitem_text_value": "-"}]}, "item_5_text_7": {"attribute_name": "著者所属(英)", "attribute_value_mlt": [{"subitem_text_language": "en", "subitem_text_value": "Japan Aerospace Exploration Agency (JAXA)"}, {"subitem_text_language": "en", "subitem_text_value": "-"}, {"subitem_text_language": "en", "subitem_text_value": "-"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "metadata only access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_14cb"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Ujiie, Ryo", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "443133", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Hemek, Maria", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "443134", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Rubio, Pablo Abad", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "443135", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Katahira, Masafumi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "443136", "nameIdentifierScheme": "WEKO"}]}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "Study of a Method for Early Interface Verification with Hierarchical Executable Software Model", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Study of a Method for Early Interface Verification with Hierarchical Executable Software Model", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["1891"], "permalink_uri": "https://jaxa.repo.nii.ac.jp/records/39550", "pubdate": {"attribute_name": "公開日", "attribute_value": "2015-09-07"}, "publish_date": "2015-09-07", "publish_status": "0", "recid": "39550", "relation": {}, "relation_version_is_last": true, "title": ["Study of a Method for Early Interface Verification with Hierarchical Executable Software Model"], "weko_shared_id": -1}
Study of a Method for Early Interface Verification with Hierarchical Executable Software Model
https://jaxa.repo.nii.ac.jp/records/39550
https://jaxa.repo.nii.ac.jp/records/395507540ba4c-a626-42e4-b4b6-c69c4891fbbd
Item type | 会議発表論文 / Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2015-09-07 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Study of a Method for Early Interface Verification with Hierarchical Executable Software Model | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
資源タイプ | conference paper | |||||
アクセス権 | ||||||
アクセス権 | metadata only access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
著者 |
Ujiie, Ryo
× Ujiie, Ryo× Hemek, Maria× Rubio, Pablo Abad× Katahira, Masafumi |
|||||
著者所属 | ||||||
- | ||||||
著者所属(英) | ||||||
en | ||||||
Japan Aerospace Exploration Agency (JAXA) | ||||||
著者所属(英) | ||||||
en | ||||||
- | ||||||
著者所属(英) | ||||||
en | ||||||
- | ||||||
出版者(英) | ||||||
出版者 | The International System Safety Society | |||||
書誌情報 | 発行日 2014-08 | |||||
会議概要(会議名, 開催地, 会期, 主催者等)(英) | ||||||
内容記述タイプ | Other | |||||
内容記述 | The 32nd International System Safety Training Symposium (August 4-8, 2014. St. Louis Union Station DoubleTree Hotel), St. Louis, Missouri, USA | |||||
抄録(英) | ||||||
内容記述タイプ | Other | |||||
内容記述 | The Japan Aerospace Exploration Agency (JAXA) has collaborated on certain international projects. In the projects, the interface among different organizations caused many problems, some of which were found late in the development phase, that negatively impacted the projects. Therefore, various organizations have attempted to define and verify adequate Interface Control Documents (ICDs) in order to find problems early in the development phase. For JAXA's software Independent Verification and Validation (IV&V), engineers verify the interface early in the development phase to ensure successful projects. However, past verification consisted mainly on validating static consistency between ICDs and target software specifications; behavioral inconsistency among software causes problems late in the development phase. JAXA and the European Space Agency (ESA) IV&V teams undertook a pilot project with the objective of studying an effective method for verifying interface related to software behavior early in the development phase. In this pilot project, we developed a verification method based on an executable hierarchical model, and applied it to an actual international spacecraft project. As a result, 92 ICD issues were identified before implementing the software; nevertheless, significant time was consumed. To improve efficiency, we suggest developing models based on the software component architecture framework. | |||||
資料番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 資料番号: PA1510084000 |