Embedded Systems and Software Validation