Scheduling of real-time embedded systems under reliability and power constraints