Commits · d159f90ca1e6c07ce4843a7b2d81834709d6dc47 · af3 / AF3

09 Sep, 2019 1 commit

GREEN (with minor modifications) · d159f90c

Simon Barner authored Sep 09, 2019

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

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

d159f90c

06 Sep, 2019 3 commits

Addressed comments from review · 492952b7

Marco Volpe authored Sep 06, 2019

* Fixed the naming for (de)coupling
* Naming is now updated when clicking
* Code style suggestions implemented

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

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

492952b7

RED · bc58ca0b

Simon Barner authored Sep 06, 2019

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

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

bc58ca0b

Changed the naming of coupling (de)constraints. · 2b69ffc4

Marco Volpe authored Sep 06, 2019

* Commonized a method for calculation of names between allocation and
(de)coupling constraints.

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

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

2b69ffc4

04 Sep, 2019 2 commits

GREEN · b873e16d

Marco Volpe authored Sep 04, 2019

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

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

b873e16d

Import the Task Parameter Tables as supersets · 2ee45195

Alexander Diewald authored Sep 04, 2019

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

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

2ee45195

30 Aug, 2019 2 commits

GREEN · 950912ce

Tiziano Munaro authored Aug 30, 2019

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

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

950912ce

DSE-Import: Safety-relevant Requirements · ed68994e

Alexander Diewald authored Aug 30, 2019

* Add & register wizard page.
* Add a create function for the ModelSnapshot.
* Only Requirements with a SafetyLevelRequirement Spec are considered
  for now, but could be extended later.

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

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

ed68994e

28 Aug, 2019 2 commits

GREEN · 657f1fae

Tiziano Munaro authored Aug 28, 2019

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

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

657f1fae

DSE: Remove the (now) superfluous inputProject ref · eb0fca88

Alexander Diewald authored Aug 28, 2019

* The inputProject reference is no longer needed as we have model
  snapshots that freeze the import state. Originally, this reference
  was intended to host a copy of the imported FileProject state at the
  time of importing.
* The File Project can simply be accessed by ascending the containment
  hierarchy.
* The referenced caused model corruption when exporting a found
  solution from the DSE: The FileProject id was reset to some id > 0
  that is a duplicate of some random model element. Loading such a model
  violated basic assumptions and ambiguous references.

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

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

eb0fca88

16 Aug, 2019 1 commit

GREEN/RED · 14aedf6d

Tiziano Munaro authored Aug 16, 2019

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

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

14aedf6d

08 Aug, 2019 1 commit

GREEN · d12bbf22

Tiziano Munaro authored Aug 08, 2019

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

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

d12bbf22

02 Aug, 2019 2 commits

Removed intersects function · 1076ca18

Marco Volpe authored Aug 02, 2019

* Non-overlapping of signals is not based on the intersects function
anymore, as experiments show that it makes the analysis much heavier and
does not seem to represent a crucial added value
* Now we put ourselves in the safer position where no signals at the
same time circulate in the system (for joint synthesis)

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

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

1076ca18

getElementFromAnyOrThrow(): Fix lookup of IProjectRootElements · 89bbddd4

Simon Barner authored Aug 02, 2019

* Before, the lookup would only work for offspring of the snapshots root
  element, but not the element itself

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

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

89bbddd4

31 Jul, 2019 1 commit

GREEN · d84945dd

Simon Barner authored Jul 31, 2019

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

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

d84945dd

30 Jul, 2019 3 commits

DSE-SMT: Export signal-to-route allocation entries · 6d671af4

Tiziano Munaro authored Jul 30, 2019

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

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

6d671af4

DSE-SMT: Move RouteUtils to the org.fortiss.af3.platform plug-in · 7cf662a3

Tiziano Munaro authored Jul 30, 2019

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

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

7cf662a3

DSE-SMT: Move container for Routes to the PlatformArchitecture · 9a4c86df

Tiziano Munaro authored Jul 30, 2019

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

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

9a4c86df

23 Jul, 2019 1 commit

GREEN · 4da5341f

Johannes Eder authored Jul 23, 2019

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

Signed-off-by: eder <eder@fortiss.org>

4da5341f

17 Jul, 2019 1 commit

DSE-SMT: Fix solution extraction for optimized runs · 5de29845

Tiziano Munaro authored Jul 17, 2019

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

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

5de29845

11 Jul, 2019 2 commits

GREEN · b6ce68ba

Simon Barner authored Jul 11, 2019

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

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

b6ce68ba

DSE: Extract and persist routes during project import · b3eb4bb1

Tiziano Munaro authored Jul 11, 2019

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

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

b3eb4bb1

10 Jul, 2019 4 commits

Fix assignment of routes' IDs · 4effb3d6

Simon Barner authored Jul 10, 2019

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

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

4effb3d6

GREEN · 721ac4a9

Simon Barner authored Jul 10, 2019

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

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

721ac4a9

YELLOW · c9adfea1

Tiziano Munaro authored Jul 10, 2019

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

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

c9adfea1

RED · 44feed38

Simon Barner authored Jul 09, 2019

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

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

44feed38

09 Jul, 2019 1 commit

YELLOW · 36e2db3a

Tiziano Munaro authored Jul 09, 2019

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

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

36e2db3a

05 Jul, 2019 3 commits

Document and refactor pattern factory · c1c063d4

Tiziano Munaro authored Jul 05, 2019

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

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

c1c063d4

Move generation of bus bandwidth optimization pattern to util class · d57e6515

Tiziano Munaro authored Jul 05, 2019

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

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

d57e6515

Move RouteUtils and ResourceConnection to the exploration plug-in · 75f1a30d

Tiziano Munaro authored Jul 05, 2019

Both the RouteUtils and the ResourceConnection offer functionality
required independently of the solver to be used. Hence, they have been
moved from the SMT-specific plug-in to the generic exploration plug-in.

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

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

75f1a30d

04 Jul, 2019 1 commit

Move generation of hardware optimization pattern to util class · d331656e

Tiziano Munaro authored Jul 04, 2019

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

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

d331656e

03 Jul, 2019 3 commits

Move generation of utilization patterns to util class · bedbdb76

Tiziano Munaro authored Jul 03, 2019

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

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

bedbdb76

Move generation of safety patterns to util class · 4b71364b

Tiziano Munaro authored Jul 03, 2019

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

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

4b71364b

Move generation of function coupling patterns to util class · adbd30ad

Tiziano Munaro authored Jul 03, 2019

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

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

adbd30ad

02 Jul, 2019 2 commits

GREEN · 2b11a74b

Tiziano Munaro authored Jul 02, 2019

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

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

2b11a74b

Move generation of allocation patterns to util class. · e250a464

Tiziano Munaro authored Jul 02, 2019

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

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

e250a464

07 Jun, 2019 2 commits

GREEN · d93fca81

Johannes Eder authored Jun 07, 2019 and

Alexander Diewald committed Jun 07, 2019

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

Signed-off-by: Johannes Eder <eder@fortiss.org>

d93fca81

DSE: Import MemoryUnits into DSE projects · fc0aaea3

Alexander Diewald authored Jun 07, 2019

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

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

fc0aaea3

24 May, 2019 1 commit

GREEN · b4b7c77d

Alexander Diewald authored May 24, 2019

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

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

b4b7c77d

21 May, 2019 1 commit

Make TimingSpecification an optional input · 4ac5b190

Simon Barner authored May 20, 2019

* Adapt import wizard to enable "Finish" button when everything but
  the TimingSpecification is present
* Introduce IDSESolutionConverter::getOptionalInputCopies() and adapt
  DSESolutionExporterService accordingly
* Add DSESolutionConversionUtils::hasRootElementSnapshot()

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

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

4ac5b190