Data processing: structural design – modeling – simulation – and em – Simulating nonelectrical device or system
Reexamination Certificate
2008-09-09
2010-11-02
Frejd, Russell (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Simulating nonelectrical device or system
C716S030000, C714S038110, C706S046000
Reexamination Certificate
active
07827013
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: 5247651 (1993-09-01), Clarisse
patent: 6591400 (2003-07-01), Yang
patent: 2003/0208732 (2003-11-01), Yang
Atamna, Definition of the Model “Stochastic Timed Well Formed Coloured Nets”, IEEE, Petri Nets and Performance Models, 5thInternational Workshop on Digital Object Identifier, 1993, pp. 24-33.
Hall, “Open Modeling in Multi-Stakeholder Distribution Systems: Model-based Requirements Engineering for the 21st Century,” Proceedings of the 2002 Workshop on the State of the Art in Automated Software Engineering,ISR Technical Report #UCI-ISR-02-1, Institute for Software Research, Jul. 2002.
Hall, “Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design,” Automated Software Engineering Kluwer Academic Publishers, Netherlands, vol. 9, No. 3, Aug. 2002, pp. 233-261.
AT&T Intellectual Property II L.P.
Frejd Russell
LandOfFree
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.
Profile ID: LFUS-PAI-O-4231093