ハイアベイラビリティでのFMCのアップグレード