Issue | Description |
3854 | [safety-docu] Split documentation for safety cases on multiple pages |
3847 | Co-Simulation does not work in binary product |
3845 | Fix welcome page |
3841 | NPE in joint synthesis |
3840 | Create a new Constraint/Objective Set button not visible |
3839 | Requirements documentation check |
3835 | Move user documentation to dedicated plugin |
3833 | MCDC documentation |
3830 | Transitive calculation of allocation targets starts from the wrong allocation table |
3829 | User documentation for new features of deployment/schedule synthesis |
3828 | Online help does not work |
3827 | Binaries are not ignored in the af3-tests repository |
3826 | ArithmeticException thrown when scaling a core's frequency |
3825 | NPE when exporting PlatformArchitectures from the DSE |
3824 | Bugs when trying to save when closing AF3 from DSE perspective |
3823 | AnnotationTable causes Exception if AF3 is executed on Unixoids |
3822 | Fix NPE in the Annotation Table of the Task Architecture |
3821 | MessageSize value provider refers to the derived size value and not to the max size value |
3820 | Remove InternalComponent |
3818 | Avoid NPE in ModelEditorBindingService |
3817 | Frequency information is not transferred correctly when a system schedule is exported |
3816 | Adding a platform architecture results into an NPE |
3813 | Context menu contributors: Fix class cast exception |
3812 | Improve naming of coupling/decoupling constraints |
3811 | Models present in the runtime workspace during AF3 startup cannot be saved any more |
3810 | Create a model snapshot for the TaskWcet and MemoryTable |
3808 | Enable importing Requirements (Safety) to the DSE |
3807 | Mismerge in 3608 causes undesired API revert |
3806 | Cleanup the migration service |
3804 | Schedule generation works only if launched twice / SMT solution transformation returns invalid set types |
3801 | The period marker in Gantt chart views is not displayed correctly even if period values are present |
3800 | No context menus can be opened anywhere in the model navigator |
3796 | Selecting / Exporting multiple solutions is no longer possible |
3792 | Selection of rule sets is not consistent with the checkbox when switching view |
3788 | [Project Import] DashboardWizard imports every selected element |
3780 | Scheduling synthesis fails if preceded by a another successful synthesis |
3779 | Missing per-quantifier unfolding for scheduling-related constraints |
3773 | Create JUnit test suite covering the generation, translation and exploration of design spaces |
3771 | Translation from DSEML to SMT crashes as it encounters the same expression twice |
3770 | Allocation tables not classified as relevant in DSE import |
3768 | Extraction of routes between ECUs does not take into account alternatives |
3766 | Constraints contained within an SMTObjective are overwritten during the translation to SMT |
3764 | Allocation functions not registered within the transformation service upon creation with a non-quantified constraint |
3763 | Annotations of a task are not considered in the translation to SMT |
3762 | Contained targets are overwritten during the translation to SMT |
3760 | Annotations are not translated to SMT expressions |
3758 | Update developer platform to 2019-06 |
3756 | [DSML Transformator] Clear the Expression holder for repetetive transform() calls |
3755 | Z3: Update to version 4.8.5 |
3752 | Creation of Safety Patterns fails, causes an NPE |
3751 | [safety] Exporter documentation |
3750 | Simplify the annotation retrieval |
3749 | Import MemoryUnits into the DSE project |
3746 | Enable the specification of data type sizes and temporal interferences on the platform level |
3743 | Render the route calculation in the schedule skeleton genertaion optional |
3742 | Model corruption when back-exporting DSE solution models |
3741 | Improve DSML to SMT transformation performance for repeated calls |
3740 | Use the non-Optimizing Z3 solver if no objectives are defined |
3739 | Erroneous causality constraints |
3738 | SMT solver may create a NPE if timeout is reached and no solution was found |
3735 | Partition Architecture: Introduce memory areas |
3730 | Make Progress Monitors optional for the Z3 backend |
3728 | [safety] Bugs ExplicitCase |
3727 | Base the EcoreUtil methods on Predicates |
3726 | Platform Update to version 2019-03 |
3710 | Migrate EcorUtils and KernelModelElementUtils to a functional programming style |
3699 | [safety] Color details of the exporter |
3698 | [Z3] Rebase Quantifier unfolding based on a per-quantifier basis |
3696 | Mapping of memory requirements to platform |
3692 | Integrate Z3 test in the default set of AF3 JUnit tests |
3688 | [DevDoc - exploration] Describe the project model |
3687 | [Dev-doc exploration] Describe root model elements and the dimension + solution package |
3686 | Create developer documentation for the source code of the exploration plugin |
3685 | Create developer documentation for the exploration plugin |
3684 | Create developer documentation for the exploration.smt plugin |
3682 | Create documentation for the SMT ecore |
3681 | Create ecore documentation for the dseml model |
3680 | Document the exploration plugins |
3677 | Move expression generation to util class |
3676 | Remove deprecated metamodels and migrators |
3672 | Clean up AF3 toolbar layout |
3651 | Several exception in constraints / transformation |
3644 | [Outputs not overwritten constraint] check that the transition return by the check is enabled |
3640 | Erroneous folder selection for nested paths |
3636 | [safety] Reference values of input/output ports in assumption/context |
3612 | MCDC - toZ3 cannot handle unary operators |
3608 | Support minimization of energy consumption (based on frequency setting) in deployment and scheduling synthesis |
3596 | MCDC: GUI Implementation |
3583 | Make the distillery operational again... |
3577 | Connection of AF3 to PTC Integrity Modeler |
3573 | In the Component Structure of Mode, Forward button of ports not enabled if it is selected and connected to a successor port |
3572 | Propagation of Ports From Component structure after creation of Mode Switch Component Structure |
3564 | Add APACHE 2.0 license to repos. |
3544 | [Openhouse] Merge Security Simulator |
3538 | Transition to Eclipse Photon |
3534 | [documentation] Add developer documentation for af3.platform.hierarchic |
3533 | [documentation] Add developer documentation for af3.platform |
3523 | Check why copyComponentIntoNewProject may be called with a non-project contained Component |
3521 | Superclass for Safety Solutions |
3466 | NPE when addign Assest and Parameter Definition Aspect |
3463 | [JavaFX] Add a constructor in the base class for single controller views. |
3460 | Quantitative Valuation for Safety |
3415 | Test Suite editor closes unintentionally |
3380 | NPE for security aspects |
3358 | Support the definition of basic objectives in SMT scheduling |
3285 | Reintegrate the MOEA-DSE-Transformation framework |
3279 | Exploration.alg cleanup |
3271 | Reintegrate Task allocation constraint towards HW targets (MOEA) |
3264 | Reintegrate the instantiation of interface Components in the MOEA-DSE |
3254 | Base the MOEA-DSE's input layer on SuperSets |
3246 | missing null pointer check missing in class CurrentObjectiveContributionItem |
3235 | [Wiki] Start page of AF3 Developers wiki contains many broken links |
3224 | constraint for non-NoVal ports |
3221 | [Documentation] Signal Report Generation |
3197 | traces up to date constraint |
3048 | Adding element in the "Model Navigator" that does not have a dedicated editor triggers "Project Configuration" editor |
2807 | [FMI] Force user to define initial values for top-level outputs |
2777 | [State automata] not possible to copy paste a state while it is selected |
2775 | [safety] Improve instructions to the user(text) |
2548 | Cannot read .jpeg extension |
1882 | Pack existing component structure in new component |
1821 | C Code for data state variables is not generated correctly |
1622 | Delivered parent ports of a new Component Architecture in Mode Switch Specification bug |
1514 | Elements not found in second data dictionary |