HOMELv010 モデルが現実世界の物理法則や論理に反していないかを確認するプロセスを何と呼ぶか。 2026年3月17日 検証は、モデルが仕様や要求(または定義されたルール)に従って正しく構築されているかを確認する。 複数のモデル要素を論理的に1つの単位として扱い、他のモデルから参照可能にするパッケージの種類はどれか。 ブロック定義図で、あるブロックが外部から隠蔽すべき内部変数を持つ場合、その可視性はどれか。