SDK4ED: a platform for building energy efficient, dependable, and maintainable embedded software