Using symbolic evaluation to validate models that have...

Data processing: structural design – modeling – simulation – and em – Simulating nonelectrical device or system

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C716S104000, C714S038100, C706S046000

Reexamination Certificate

active

08065125

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, 5th International 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, pp. 1-7.
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. 8, No. 3, Aug. 2002, pp. 233-261.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

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

     

Profile ID: LFUS-PAI-O-4299077

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.