Using symbolic evaluation to validate models that have...

Details Using symbolic evaluation to validate models that have... Using symbolic evaluation to validate models that have...

2004-02-03

2009-02-03

Frejd, Russell (Department: 2128)

Data processing: structural design, modeling, simulation, and em

Simulating nonelectrical device or system

C716S030000, C714S038110, C706S046000

Reexamination Certificate

active

07487073

ABSTRACT:
An arrangement calculates a description of potential responses of a distributed system in response to at least one input stimulus. The distributed system including nodes whose operation is described by respective node behavior descriptions. The method involves applying symbolic evaluation to plural node behavior descriptions so as to produce plural response descriptions that describe responses of nodes, and combining at least the plural response descriptions so as to arrive at the description of potential responses of the distributed system.

REFERENCES:
patent: 6591400 (2003-07-01), Yang
patent: 2003/0208732 (2003-11-01), Yang
Hall, Robert J., “Open Modeling in Multi-stakeholder Distributed Systems: Modell- based Requirements Engineering for the 21st Century” XP007901308 (retrieved by EPO examiner on Nov. 3, 2006 from ftp://ftp.research.att .com/dist/hall/papers/openmodel/openmodel-asewshp02.pdf>).
Hall, Robert J., “Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design,” XP002407620,Automated Software Engineering. 9, 233-261 (Kluwer Academic Publishers, Netherlands, 2002).

Affiliated with

Also associated with

Rating

Using symbolic evaluation to validate models that have... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Using symbolic evaluation to validate models that have..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using symbolic evaluation to validate models that have... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4138434