Implementation and verification of energy efficient software for ADCS