@inproceedings{oai:jaxa.repo.nii.ac.jp:00039550,
 author = {Ujiie, Ryo and Hemek, Maria and Rubio, Pablo  Abad and Katahira, Masafumi},
 month = {Aug},
 note = {The 32nd International System Safety Training Symposium (August 4-8, 2014. St. Louis Union Station DoubleTree Hotel), St. Louis, Missouri, USA, 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., 資料番号: PA1510084000},
 publisher = {The International System Safety Society},
 title = {Study of a Method for Early Interface Verification with Hierarchical Executable Software Model},
 year = {2014}
}