The performance and energy consumption of three embedded real-time operating systems