首页>
外国专利>
PARAMETRIC ANALYSIS OF REAL TIME RESPONSE GUARANTEES ON INTERACTING SOFTWARE COMPONENTS
PARAMETRIC ANALYSIS OF REAL TIME RESPONSE GUARANTEES ON INTERACTING SOFTWARE COMPONENTS
展开▼
机译:交互软件组件实时响应保证的参数分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼