Using Breach for data generation

[nikos-kekatos]

Add an extra option to use Breach as an input generation technique for Simulink. Currently, three options are supported:

1. Random inputs (uniformly distributed random signals). The user has to define the max, min, sampling time, and seed; done programmatically.

2. Constant inputs (defined in the workspace)

3. Coverage method (tested for Piecewise Constant Inputs)

Question: Which tool should perform the simulations?

1. Using Breach requires (i) identifying how the results will be saved and mapped back the simulation traces to ref, u, y so that the Neural Net training is done,
2. Use Breach to define the reference traces and store the values (reference traces for most examples). Then, load (use from workspace block) to Simulink for each scenario and simulation trace.
   Probably, option 1 is easier but it involves linking the tools beforehand and fixing all naming, variables, connectivity issues.

To DO

• Adding a new inport block in Simulink model files

• Select the input stimulus, e.g. fixed constant, varying time steps, various interpolation methods, etc.

• Do the linking among the tools.

• Are the variables names correctly found by Breach? How to manually select the variables for Breach?

• Write a new function which calls Breach, selects the variable names from the Simulink diagram, and most importantly chooses the input stimulus.