蓄電機器の詳細設計、ソフトウェア製造、設計検証