Logical Development And Validation Of The Soft-Carbon Battery Management System