[图书][B] Test-based falsification and conformance testing for cyber-physical systems
HY Abbas - 2015 - search.proquest.com
In this dissertation, two problems are addressed in the verification and control of Cyber-
Physical Systems (CPS): 1) Falsification: given a CPS, and a property of interest that the
CPS must satisfy under all allowed operating conditions, does the CPS violate, ie falsify, the
property? 2) Conformance testing: given a model of a CPS, and an implementation of that
CPS on an embedded platform, how can we characterize the properties satisfied by the
implementation, given the properties satisfied by the model?
Physical Systems (CPS): 1) Falsification: given a CPS, and a property of interest that the
CPS must satisfy under all allowed operating conditions, does the CPS violate, ie falsify, the
property? 2) Conformance testing: given a model of a CPS, and an implementation of that
CPS on an embedded platform, how can we characterize the properties satisfied by the
implementation, given the properties satisfied by the model?
以上显示的是最相近的搜索结果。 查看全部搜索结果