Design Space Exploration
AutoFOCUS 3 supports an approach for supporting the system designer by generating a deployment efficiently that is th allocation
of logical components to a plattform architecture components.
This can be done according to certain criteria like timing, safety constraints and memory consumption.
Right-click on the project and open DSE (Design Space Exploration) for both: Deployment and Scheduling Synthesis
An Design Space Exploration (DSE) item opens in the Navigator View, containing already the manual deployment (from above). As we can use
the DSE also for Scheduling Synthesis later on, the (Manual) Deployment is already there (if existing).
By double-click on the DSE in the Navigator a DSE Editor opens (see below). From this point on we can start doing either Scheduling Synthesis
(left section) or Deployment Synthesis (right section).
Scheduling Synthesis (left section)
Generation
Select the Deployments (there can be more than one, namely a manuell deployment and previously generated ones) and hit
Schedule Generation Wizard.
DSE Scheduling Gernation allows for enabling/disabling various Constraints and Solvers.
You can choose the solver to be used, depending on which one you have installed. For Yices SMT solver a max. end-to-end latency
needs to be entered.
Furthermore you can find for a single valid solution or and optimzied solution w.r.t (for now) the optimization criteria of timing.
Select a Timeout for the SMT Solver and hit Generate Deployments. When finished the "Next" button is enabled to go for the next
Wizard page.
This next wizard page page (above) illustrates given results. Select all ("select all"-button) or select the ones you may be
interested in. Hit "Save Selected Elements" and then "Finish".
All selected results are displayed in the Navigator View below the deployment for which the schedules have been generated. In our
example the "Generated Deployment #2"
Double-click on a schedule would oben a new editor, where a "apply to system" button enables for adding the chosen schedule (incl.
(generated) deployment to the system model.
