安全・信頼性ノウハウ・ツールの紹介

JAXAでは多くのプロジェクトで採用されている実績のある方法です。複数コンポ―ネントにまたがる信号の流れは主にソフトウェアで実現されることが多いため、リスクを分析しその対策を施すことで、より確実な動作を行うソフトウェアを設計・検証する目的で使われてきました。この方法はボトムアップの網羅的なアプローチとは異なる手法であり、またリスクを可視化し、なぜそれがリスクとなるのか説明可能なアウトプットを端的に示すことができます。