空調制御仕様書

SysMLを使って空調制御仕様書を作成する際に、要求、状態、データ、フェイルセーフ、検証条件をどのように整理すべきかを解説します。