Data processing: structural design – modeling – simulation – and em – Simulating nonelectrical device or system – Mechanical
Reexamination Certificate
2011-07-05
2011-07-05
Thangavelu, Kandasamy (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Simulating nonelectrical device or system
Mechanical
C716S106000
Reexamination Certificate
active
07974823
ABSTRACT:
In one embodiment, a design is verified by creating a graphical model with a graphical modeling tool executing on a computing device. The graphical model may include a plurality of model elements. A postcondition element is coupled to a selected model element of the plurality of model elements. The postcondition element is associated with a desired result. The graphical model is employed to generate an executable form of the design. The executable form of the design and an indication of the desired result are provided to a verification tool, to instruct the verification tool to implement one or more verification scenarios.
REFERENCES:
patent: 6058253 (2000-05-01), Lowe
patent: 7680632 (2010-03-01), Aldrich
patent: 2002/0128809 (2002-09-01), Roesner et al.
patent: 2004/0133914 (2004-07-01), Smith et al.
patent: 2004/0181441 (2004-09-01), Fung et al.
patent: 2005/0187745 (2005-08-01), Lurie et al.
patent: 2005/0187746 (2005-08-01), Hicklin et al.
patent: 2005/0187747 (2005-08-01), Paxson et al.
patent: 2005/0193269 (2005-09-01), Haswell et al.
patent: 2006/0003303 (2006-01-01), Almond et al.
patent: 2006/0037037 (2006-02-01), Miranz
patent: 2006/0107158 (2006-05-01), Mishra et al.
patent: 2006/0117274 (2006-06-01), Tseng et al.
patent: 2006/0136138 (2006-06-01), Hicklin et al.
patent: 2006/0212540 (2006-09-01), Chon et al.
patent: 2007/0156420 (2007-07-01), Meier et al.
patent: 2007/0250299 (2007-10-01), Paxson et al.
Alyokhin et al., “Coverage metrics for continuous functioncharts”, IEEE 2004.
Co-pending U.S. Appl. No. 11/842,135, filed Aug. 21, 2007 entitled “Test Postcondition Items for Automated Analysis and Test Generation” by William J. Aldrich, 65 pages.
Co-pending U.S. Appl. No. 11/433,611, filed May 12, 2006 entitled “Test Postcondition Items for Automated Analysis and Test Generation” by William J. Aldrich, 65 pages.
Harrity & Harrity LLP
Thangavelu Kandasamy
The MathWorks, Inc.
LandOfFree
Test postcondition items for automated analysis and test... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Test postcondition items for automated analysis and test..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Test postcondition items for automated analysis and test... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2686827