  Cyber-Physical Systems (CPSs) are systems with both physical and software
components, for example cars and industrial robots. Since these systems exhibit
both discrete and continuous dynamics, they are complex and it is thus
difficult to verify that they behave as expected. Falsification of temporal
logic properties is an approach to find counterexamples to CPSs by means of
simulation. In this paper, we propose two additions to enhance the capability
of falsification and make it more viable in a large-scale industrial setting.
The first addition is a framework for transforming specifications from a
signal-based model into Signal Temporal Logic. The second addition is the use
of Valued Booleans and an additive robust semantics in the falsification
process. We evaluate the performance of the additive robust semantics on a set
of benchmark models, and we can see that which semantics are preferable depend
both on the model and on the specification.
