发明名称 |
制御システムのブロック線図モデルからの時相要求を抽出するための方法、システム及びコンピュータ装置 |
摘要 |
Systems and methods for mining a temporal requirement from a block diagram model of a closed loop control system are disclosed. One embodiment of a method includes simulating the closed loop control system of a vehicle to obtain simulation traces and determining a candidate requirement by instantiating a template requirement with values of the simulation traces to locate parameter values that suggest that the template requirement is fulfilled. Some embodiments of the method include determining whether a counterexample to the candidate requirement exists; and in response to determining that the counterexample to the candidate requirement exists, obtaining the counterexample to the candidate requirement and adding the counterexample to the simulation traces for inspection. |
申请公布号 |
JP6046586(B2) |
申请公布日期 |
2016.12.21 |
申请号 |
JP20130214568 |
申请日期 |
2013.10.15 |
申请人 |
トヨタ モーター エンジニアリング アンド マニュファクチャリング ノース アメリカ,インコーポレイティド;ザ リージェンツ オブ ザ ユニバーシティ オブ カリフォルニア |
发明人 |
ジョターモイ ブイ.デシュムハ;ジン シャオチン;アレクサンドレ ドンジ;サンジット エー.セシア |
分类号 |
G05B19/042;G05B17/02 |
主分类号 |
G05B19/042 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|