ロケット電子制御システムへのモデルベース開発手法の適用