发明名称 |
PARAMETRIC ANALYSIS OF REAL TIME RESPONSE GUARANTEES ON INTERACTING SOFTWARE COMPONENTS |
摘要 |
<p>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.</p> |
申请公布号 |
WO2009129089(A1) |
申请公布日期 |
2009.10.22 |
申请号 |
WO2009US39837 |
申请日期 |
2009.04.08 |
申请人 |
GM GLOBAL TECHNOLOGY OPERATIONS, INC. |
发明人 |
DIXIT, MANOJ, G.;SETHU, RAMESH;DASGUPTA, PALLAB |
分类号 |
B60R16/02;B60R16/00;B62D6/00;G06F9/00 |
主分类号 |
B60R16/02 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|