Commits · 1f76bb1cc64b8da78ada501eb9c73571e5ce820c · Alexander Diewald / AF3-new

09 Oct, 2020 2 commits

GREEN · 1f76bb1c

Simon Barner authored Oct 09, 2020

Issue-Ref: 4067
Issue-Url: https://af3-developer.fortiss.org/issues/4067

Signed-off-by: Simon Barner <barner@fortiss.org>

1f76bb1c

GREEN · d8598fb5

Simon Barner authored Oct 09, 2020

Issue-Ref: 4064
Issue-Url: https://af3-developer.fortiss.org/issues/4064

Signed-off-by: Simon Barner <barner@fortiss.org>

d8598fb5

08 Oct, 2020 2 commits

DSE-CLI: Skip Validation if no Solution is Present · 0df6f54b

Alexander Diewald authored Oct 08, 2020

Issue-Ref: 4067
Issue-Url: https://af3-developer.fortiss.org/issues/4067

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

0df6f54b

DSE: Use the SolverSetting Class for Storage, not the Instance... · 5759588d

Alexander Diewald authored Oct 08, 2020

Issue-Ref: 4064
Issue-Url: https://af3-developer.fortiss.org/issues/4064

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

5759588d

14 Sep, 2020 1 commit

GREEN · e56fb20f

Simon Barner authored Sep 14, 2020

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>

e56fb20f

11 Sep, 2020 2 commits

DSE.Validation: Dump Results in a JSON File · e6959da7

Alexander Diewald authored Sep 11, 2020

Issue-Ref: 4058
Issue-Url: https://af3-developer.fortiss.org/issues/4058

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

e6959da7

DSE-CLI: Avoid exceptions in the validator · ed9768f4

Alexander Diewald authored Sep 11, 2020

Issue-Ref: 4058
Issue-Url: https://af3-developer.fortiss.org/issues/4058

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

ed9768f4

10 Sep, 2020 4 commits

GREEN · 41ad2075

Simon Barner authored Sep 10, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Simon Barner <barner@fortiss.org>

41ad2075

DSE.UI JFX: YELLOW · 10f73d0f

Alexander Diewald authored Sep 10, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

10f73d0f

RED · 507328d0

Simon Barner authored Sep 09, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Simon Barner <barner@fortiss.org>

507328d0

GREEN · 1e8b4cd6

Simon Barner authored Sep 09, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Simon Barner <barner@fortiss.org>

1e8b4cd6

11 Aug, 2020 1 commit

DSE.UI JFX: Dialog to edit Backend-specific Settings · 3aa3be97

Alexander Diewald authored Aug 11, 2020

* Eclasses for the SolverSettings hosting a list of BackendSettings.
  Also, the SolverSettings contain information about the termination
  criteria such as timeouts.
* Add a JFX dialog to display a TreeTableView that allows to edit
  SolverSettings.
* Each IDSEBackend implementation must define its default
  SolverSettings.

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

3aa3be97

04 Aug, 2020 1 commit

DSE.UI JFX: Enable Schedule Exploration · 20ff5fd6

Alexander Diewald authored Aug 03, 2020

* Store backend-generated IExplorationTargets in the returned
  ExplorationScolution.
* Generate a schedule skeleton during the creation of the model
  snapshot of a Timing Specification.
* Add the ability to add system constraints to model snapshots.
* Generate Timing constraints during the creation of the timing
  specification model snapshot.

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

20ff5fd6

28 Jul, 2020 1 commit

Redo the synthesis categories as classes · 7b42bf31

Alexander Diewald authored Jul 28, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

7b42bf31

27 Jul, 2020 2 commits

DSE(.UI JFX): Introduce settings container, start code for the DSE · 943eef68

Alexander Diewald authored Jul 27, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

943eef68

DSE: ExplorationType Support and UI solver selection · cb7a85ce

Alexander Diewald authored Jul 27, 2020

* Enable specifying the exploration type for each IDSEBackend:
  Feasiblity checking and optimization.
* Enable selecting the IDSEBackend in the UI subject to the exploration
  and synthesis type.

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

cb7a85ce

22 Jul, 2020 2 commits

DSE-UI: Enable the selection of a synthesis in the header · e905056a

Alexander Diewald authored Jul 22, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

e905056a

DSE: Simplify the DSE backend · 7e1f389b

Alexander Diewald authored Jul 22, 2020

Also, the new ISynthesisCategories are introduced.

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

7e1f389b

01 Jul, 2020 1 commit

GREEN · cd786509

Tiziano Munaro authored Jul 01, 2020

Issue-Ref: 4034
Issue-Url: https://af3-developer.fortiss.org/issues/4034

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

cd786509

30 Jun, 2020 3 commits

DSE-CLI: Increase the timeout to 1h · d6768601

Alexander Diewald authored Jun 30, 2020

*

Issue-Ref: 4034
Issue-Url: https://af3-developer.fortiss.org/issues/4034

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

d6768601

DSE-CLI: Add an ID to the selected solution · 70c81555

Alexander Diewald authored Jun 30, 2020

Issue-Ref: 4034
Issue-Url: https://af3-developer.fortiss.org/issues/4034

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

70c81555

DSE-CLI: Create a SolutionSelectionStep for saving exp. results · 553bff9e

Alexander Diewald authored Jun 30, 2020

Issue-Ref: 4034
Issue-Url: https://af3-developer.fortiss.org/issues/4034

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

553bff9e

04 Jun, 2020 1 commit

GREEN · b3cad7c6

Marco Volpe authored Jun 04, 2020

*

Issue-Ref: 4024
Issue-Url: https://af3-developer.fortiss.org/issues/4024

Signed-off-by: Marco Volpe <volpe@fortiss.org>

b3cad7c6

03 Jun, 2020 2 commits

DSE-TCgen/CLI: Create RuleSet with the TCgen · 5d1fad2a

Alexander Diewald authored Jun 03, 2020

Issue-Ref: 4024
Issue-Url: https://af3-developer.fortiss.org/issues/4024

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

5d1fad2a

DSE-CLI: Block exiting the exploration till it is finished · 0ce2b8de

Alexander Diewald authored Jun 03, 2020

Issue-Ref: 4024
Issue-Url: https://af3-developer.fortiss.org/issues/4024

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

0ce2b8de

02 Jun, 2020 2 commits

DSE-CLI: Add the explored rule sets to the correct list · ac48405b
Alexander Diewald authored Jun 02, 2020
```
Issue-Ref: 4024
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
ac48405b

Remove outdated TODOs · 892ceb04

Alexander Diewald authored Jun 02, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

892ceb04

29 May, 2020 3 commits

GREEN · ffab4b20

Marco Volpe authored May 29, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008

Signed-off-by: Marco Volpe <volpe@fortiss.org>

ffab4b20

YELLOW · 1896ea09

Alexander Diewald authored May 29, 2020



Issue-Ref: 4008
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

1896ea09

Cleanup wrong import · 37ec5a85

Alexander Diewald authored May 29, 2020



Issue-Ref: 3365
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

37ec5a85

19 May, 2020 1 commit

GREEN · 799a020b

Simon Barner authored May 19, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994

Signed-off-by: Simon Barner <barner@fortiss.org>

799a020b

27 Apr, 2020 2 commits

DSE-CLI: Refactor parts of the test case generation · 1d8f7808

Alexander Diewald authored Apr 27, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

1d8f7808

DSE-CLI: Add a handler to trigger the test case generation · 10ef4287

Alexander Diewald authored Apr 27, 2020

Also, add the resource folder to the binary plugin. Otherwise, the
template AF3 project to get the predefine PlatformArchitectures for the
test case generation is not available in the built products.

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

10ef4287

22 Apr, 2020 4 commits

DSE-CLI: Improve status reporing for validation · df74f987

Alexander Diewald authored Apr 22, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

df74f987

DSE-CLI: Add a validator for deployment exploration results · a03d861f

Alexander Diewald authored Apr 22, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

a03d861f

CLI: Enable specifying the exploration type · 33ade4e6

Alexander Diewald authored Apr 22, 2020

* Change the DSE Backend Service to ask for backends that are able to
  produce a whole set of solution artifacts, instead of single
  artifacts.
* Refine the DSE CLI code.
* Extend the execDSE argument with the exploration type.

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

33ade4e6

DSE-CLI: Set the correct artifact to launch the deployment exploration · df233703

Alexander Diewald authored Apr 22, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

df233703

20 Apr, 2020 1 commit

CLI: Initial version to execute a DSE · 8ed6b4c3

Alexander Diewald authored Apr 20, 2020

NOTE: The DSE is not actually executed yet, but all I/O handling is
there. A set of resource allocations is needed to perform a deployment
synth. now...

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

8ed6b4c3