Skip to content
Snippets Groups Projects
  1. Jan 19, 2018
  2. Jan 18, 2018
    • Alexander Diewald's avatar
      Safety: Prepare for unused code removal. · 5d7f9317
      Alexander Diewald authored
      * Remove the SFF value provider. An "equivalent Safety Level" will be introduced for hardware elements later.
      * Keep the ProbabilityFailuresDemand- and ProbabilityFailuresHourValueProvider(s) for use in a more complex safety analysis.
      * Keep the HwComplexityValueProvider for describing simple HW voters (useful for safety analysis).
      refs 3240
      5d7f9317
    • Alexander Diewald's avatar
      Exploration: Add utility methods for solution visualization. · 2e3ab4a7
      Alexander Diewald authored
      * Introduce utility methods to transform a ExplorationSolutionSet to a DataSetCollection and subsequent methods.
      * Move some reflection utility classes from the exploration.alg plugin to the exploration plugin.
      refs 2935
      2e3ab4a7
  3. Dec 21, 2017
    • Alexander Diewald's avatar
      First draft of the Partition Exploration. · 1a27847d
      Alexander Diewald authored
      * NOTE: This commit is an intermediate one: Code compiles, but is untested.
      * Generalize many parts of the TaskMappingEncoding into the MappingEncoding.
      * PartitionExploration:
        * Define the PartitionMappingEncoding based on the generalized MappingEncoding.
        * Define Mutation Operators for the PartitionMappingEncoding.
        * Define a Creator Module for the PartitionMappingEncoding.
      1a27847d
  4. Dec 18, 2017
    • Simon Barner's avatar
      1) Introduce IAllocationType marker interface · 36463a01
      Simon Barner authored
       - Used to semantically mark AllocationTables and AllocationEntries (e.g., which layers of the system are connected by allocation, and which system entities)
       - Add IAllocationService.addAllocationEntryType() and getAllocationEntryTypes() to register and query IAllocationTypes
       - Apply IAllocationTypes specializations to Task, Partition and Hardware architecture allocations
      
      2) Move TaskToExecutionUnitAllocationTable and TaskWcetTable to af3.task (to avoid circular dependencies that would arise from the introduction of IAllocationType)
      
      3) Schedule model UI
       - Use IAllocationTypes to provide unified generic UI in af3.schedule.ui
       - Remove most of the temporary hacks since allocation[.ui] is now in the build
       - TODO: Remove SystemScheduleDeploymentPropertySection once Deployment has fully been replaced by AllocationTable
      
      refs 2950,3188,3067
      36463a01
  5. Dec 13, 2017
    • Simon Barner's avatar
      - Register af3.timing / Wcet and Period annotations to tasks. Wcet is the... · 8b333491
      Simon Barner authored
      - Register af3.timing / Wcet and Period annotations to tasks. Wcet is the assumed WCET of a Task (independent of the ExecutionUnit to which it mapped)
      - Add TaskWcetTable that allows to specify the WCET for (Task,ExecutionUnit) pairs.
        - For now, the values can be edited in the annotation view only
        - TODO: Integrated task WCET table as secondary TaskArchitecture editor
      refs 2562
      
      8b333491
  6. Dec 08, 2017
  7. Dec 07, 2017
  8. Dec 05, 2017
  9. Dec 04, 2017
  10. Nov 28, 2017
  11. Nov 24, 2017
  12. Nov 23, 2017
    • Alexander Diewald's avatar
      Integrate a DSE backend selection mechanism in the DSE perspective. · da750b8d
      Alexander Diewald authored
      * Exploration.alg:
        * Register the .alg plugin via an IStattup extension to avoid dependencies on this plugin.
        * Create a objective and a constraint evaluator that can handle DSML expressions.
        * Adjust the opt4j extensions.
        * Temporally introduce the MappingEncoding marker interface to support the DSML evaluators (--> allocation expressions).
        * Fix some minor bugs and warnings.
        * Move the porting utils to the alg plugin (previously in alg.ui).
        * Move the plot code to the alg plugin (previously in alg.ui) until the transition to the AF3 visualization framework is finished.
      * Exploration.smt:
        * Create a backend implementation for the smt-based exploration.
        * Minor adjustments (I/O) to comply with the backend mechanism.
      * Exploration:
        * Package renaming of the DSE backend mechanism.
        * Make the DSE backend mechanism independent of the eclipse extension mechanism.
        * Integrate the Exploration solution Classes in the EMF model.
        * Minor adjustments of the DSE backend API.
      * Exploration.ui:
        * Add a combobox to select the DSE backend for the Deployment synthesis
        * Adjust the GUI backends to comply with the DSE backend interfaces.
      refs 2939
      da750b8d
  13. Nov 22, 2017
  14. Nov 20, 2017
  15. Nov 17, 2017
  16. Nov 16, 2017
  17. Nov 14, 2017
  18. Nov 08, 2017
  19. Oct 26, 2017
  20. Oct 12, 2017
  21. Aug 08, 2017
  22. Jul 18, 2017
  23. Jul 10, 2017
  24. Jun 29, 2017
  25. Jun 27, 2017
    • Alexander Diewald's avatar
      - Fix the constraint validation: · d724e989
      Alexander Diewald authored
        - Filter the archive before creating the output collections (Before, the validation was applied after this step).
        - Re-create the Pareto-Front after the constraint validation and let it operate only on Objectives.
      - Fix the Creation of Opt4J internal objectives such that all ExplorationTargets are correctly represented: They need a unique string identifier (Id must be different --> name construction).
      d724e989
  26. Jun 22, 2017
  27. Jun 14, 2017
  28. May 22, 2017
  29. Mar 23, 2017
  30. Mar 15, 2017
Loading