プロパティに基づく自動車組込み 協調制御ソフトウェアアーキテクチャ