Safety Assurance for Artificial Intelligence System
ISHIHAMA, Naoki, KATAHIRA, Masafumi
Published in The Journal of Reliability Engineering Association of Japan (2019)
Published in The Journal of Reliability Engineering Association of Japan (2019)
Get full text
Journal Article
Software Independent Verification and Validation for Spacecraft at JAXA
Kohtake, N., Katoh, A., Ishihama, N., Miyamoto, Y., Kawasaki, T., Katahira, M.
Published in 2008 IEEE Aerospace Conference (01.03.2008)
Published in 2008 IEEE Aerospace Conference (01.03.2008)
Get full text
Conference Proceeding
Journal Article
A Taxonomy to Classify Discrepancy Reports for Space Systems
Okubo, Naoko, Ueda, Yasushi, Tonoya, Noboru, Katahira, Masafumi
Published in 2022 Annual Reliability and Maintainability Symposium (RAMS) (24.01.2022)
Published in 2022 Annual Reliability and Maintainability Symposium (RAMS) (24.01.2022)
Get full text
Conference Proceeding
FMEA Focusing on the Interaction Between Physical and Computational Elements in Cyber-Physical Systems
Umeda, Hiroki, Namihira, Kohsuke, Okubo, Naoko, Ueda, Yasushi, Morisaki, Shuji, Katahira, Masafumi
Published in 2021 Annual Reliability and Maintainability Symposium (RAMS) (24.05.2021)
Published in 2021 Annual Reliability and Maintainability Symposium (RAMS) (24.05.2021)
Get full text
Conference Proceeding
Application of GQM+Strategies® in the Japanese Space Industry
Kaneko, T., Katahira, M., Miyamoto, Y., Kowalczyk, M.
Published in 2011 Joint Conference of the 21st International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (01.11.2011)
Published in 2011 Joint Conference of the 21st International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (01.11.2011)
Get full text
Conference Proceeding
A Novel Framework to Assist the Novice in Defining Failure Modes for System-level Software FMEA
Okubo, Naoko, Namihira, Kohsuke, Umeda, Hiroki, Ueda, Yasushi, Katahira, Masafumi, Morisaki, Shuji
Published in 2020 Annual Reliability and Maintainability Symposium (RAMS) (01.01.2020)
Published in 2020 Annual Reliability and Maintainability Symposium (RAMS) (01.01.2020)
Get full text
Conference Proceeding
Establishing and maintaining traceability between large aerospace process standards
Armbrust, Ove, Ocampo, Alexis, Munch, Jurgen, Katahira, Masafumi, Yumi Koishi, Miyamoto, Yuko
Published in 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering (18.05.2009)
Published in 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering (18.05.2009)
Get full text
Conference Proceeding
Journal Article
Supporting Viewpoints to Review the Lack of Requirements in Space Systems with Machine Learning
Mori, Kenji, Okubo, Naoko, Ueda, Yasushi, Katahira, Masafumi, Amagasa, Toshiyuki
Published in 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (01.05.2020)
Published in 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (01.05.2020)
Get full text
Conference Proceeding
Application of hierarchical accident model in independent verification and validation
Ujiie, Ryo, Katahira, Masafumi, Matsumoto, Tsutomu, Katoh, Atsushi, Ujihara, Shogo
Published in 2010 IEEE Aerospace Conference (01.03.2010)
Published in 2010 IEEE Aerospace Conference (01.03.2010)
Get full text
Conference Proceeding
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Tsuji, Mitsuaki, Takai, Toshinori, Kakimoto, Kazuki, Ishihama, Naoki, Katahira, Masafumi, Iida, Hajimu
Published in 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01.10.2020)
Published in 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01.10.2020)
Get full text
Conference Proceeding
Model-based independent verification and validation for dependable flight software
Kohtake, N., Katoh, A., Ishihama, N., Katahira, M.
Published in 2009 IEEE Aerospace conference (2009)
Published in 2009 IEEE Aerospace conference (2009)
Get full text
Conference Proceeding