Commit 2d448265 authored 5 years ago by Alexander Diewald

Input processing updates


* Specify the applicable features with DSESpecification.
* Improve the resource allocation transformation.
* Add an input module for Safety Functions.
* Remove the PlatformCommunicationGraphIdentityDecoder.

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

parent 48cfc8f5

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing

org.fortiss.af3.exploration.alg/model/.ratings 1 addition, 1 deletion

org.fortiss.af3.exploration.alg/model/.ratings
org.fortiss.af3.exploration.alg/model/moea.ecore 2 additions, 0 deletions

org.fortiss.af3.exploration.alg/model/moea.ecore
org.fortiss.af3.exploration.alg/model/moea.genmodel 1 addition, 0 deletions

org.fortiss.af3.exploration.alg/model/moea.genmodel
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/.ratings 1 addition, 1 deletion

...loration.alg/src/org/fortiss/af3/exploration/alg/.ratings
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/ExplorationAlg.java 2 additions, 0 deletions

...g/src/org/fortiss/af3/exploration/alg/ExplorationAlg.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/.ratings 1 addition, 1 deletion

...tion.alg/src/org/fortiss/af3/exploration/alg/dse/.ratings
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/Explorer.java 9 additions, 36 deletions

...alg/src/org/fortiss/af3/exploration/alg/dse/Explorer.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/.ratings 1 addition, 1 deletion

.../src/org/fortiss/af3/exploration/alg/dse/backend/.ratings
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/ExplorerBackendBase.java 8 additions, 1 deletion

.../af3/exploration/alg/dse/backend/ExplorerBackendBase.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/.ratings 3 additions, 3 deletions

...rg/fortiss/af3/exploration/alg/dse/backend/opt4j/.ratings
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/DseProcessProblemModule.java 3 additions, 6 deletions

...ration/alg/dse/backend/opt4j/DseProcessProblemModule.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/Opt4JExplorationSolutionTransformer.java 13 additions, 7 deletions

...se/backend/opt4j/Opt4JExplorationSolutionTransformer.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/Opt4JExplorerBackend.java 9 additions, 14 deletions

...ploration/alg/dse/backend/opt4j/Opt4JExplorerBackend.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/d3seext/evaluate/.ratings 1 addition, 1 deletion

...ploration/alg/dse/backend/opt4j/d3seext/evaluate/.ratings
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/d3seext/evaluate/GuiceEvaluator.java 1 addition, 3 deletions

...lg/dse/backend/opt4j/d3seext/evaluate/GuiceEvaluator.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/feature/safetyarch/.ratings 1 addition, 1 deletion

...g/fortiss/af3/exploration/alg/feature/safetyarch/.ratings
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/feature/safetyarch/SafetyArchitectureExploration.java 3 additions, 3 deletions

...alg/feature/safetyarch/SafetyArchitectureExploration.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/feature/scheduling/.ratings 1 addition, 1 deletion

...g/fortiss/af3/exploration/alg/feature/scheduling/.ratings
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/feature/scheduling/SMTStrictTTDecoder.java 22 additions, 5 deletions

...xploration/alg/feature/scheduling/SMTStrictTTDecoder.java
org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/feature/scheduling/transform/.ratings 2 additions, 2 deletions

...af3/exploration/alg/feature/scheduling/transform/.ratings

with 85 additions and 87 deletions

Please register or to comment