MBSE用語集

システムを定義あるいは実現する際に用いられるすべての要素に対して適用され、それらが正しく作り上げているかどうかを調べること。それらの要素にエラーや不具合が存在しないことへの証明となる。