1. A method of designing a validation environment for a service implemented by an embedded electrical system, the method including: a) assigning to said service one or more user requests and system responses thereto; b) assigning to said service a behavioral automata, said behavioral automata fixing the allowed sequencing of said user requests and system responses; c) generating automatically a skeleton validation environment for said service, in the form of a program executable on a simulation tool, said skeleton validation environment comprising a testing automata produced from a traversal of said behavioral automata, a model of initial conditions, models of user requests, models of system response accuracy, an environmental model and the dataflow and control flow assembling these models together, said skeleton validation environment covering all user requests and resultant system responses of said service, and d) recording said skeleton validation environment in a computer readable memory device for use by a design validation tool.