Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Timing
Reexamination Certificate
2008-04-16
2011-12-20
Jones, Hugh (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Timing
Reexamination Certificate
active
08082140
ABSTRACT:
A system and method for providing control timing for a vehicle system at the design level. The method includes defining component timing specifications in a parametric form at a system level and at a sub-system level; mathematically representing the timing specifications in a system model; providing a constraint extraction algorithm that extracts timing constraints from the mathematical representations; using the constraint extraction algorithm to generate a plurality of linear equations that define the constraints; solving for real time constraint ranges from parameters in the linear equations; and selecting values from the real time constraint ranges to be used in the mathematical representations. In non-limiting embodiments, the constraint extraction algorithm can be a boundary discovery algorithm or a proof-tree.
REFERENCES:
patent: 2007/0010901 (2007-01-01), Fukui
patent: 0 474 359 (1992-03-01), None
patent: 0 463 729 (1998-07-01), None
Chaiwat Sathawornwichit, Takuya Katayama, “A Parametric Model Checking Approach for Real-Time Systems Design,” 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005, pp. 584-594.
Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled, Parametric temporal logic for “model measuring”, ACM Transactions on Computational Logic (TOCL), v. 2 n. 3, p. 388-407, Jul. 2001.
Dasgupta Pallab
Dixit Manoj G.
Sethu Ramesh
GM Global Technology Operations LLC
Jones Hugh
Miller John A.
Miller IP Group, PLC
LandOfFree
Parametric analysis of real time response guarantees on... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Parametric analysis of real time response guarantees on..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parametric analysis of real time response guarantees on... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4310647