Approach for modeling embedded operating systems energy characterization,