Patent Document ID: 7895025
Application ID: 10591816
Patent Flag: 1

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