Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
2857 AF3 Phoenix Feature New Normal "Go to definition" Context menu 05/13/2019 02:04 PM
3769 Design Space Exploration Feature New Normal Adapt scheduling constraints to take advantage of alternative routes Tiziano Munaro 01/24/2020 11:55 AM
2673 AF3 Phoenix Change Request New Normal Add compositor constraints to ensure that at most one ExecutionUnit or TransmissionUnit is linked to a single Transceiver Simon Barner 05/11/2020 10:47 AM
4009 Design Space Exploration Feature In Progress Normal Add CPLEX support Martin Eisenmann 04/25/2020 02:21 PM
4051 AF3 Phoenix Feature Resolved Normal Add support for parameters that can be read from a configuration file Johannes Eder 08/20/2020 11:28 AM
4023 AF3 Phoenix Change Request New Normal Add type arguments to IConverters and IValidators Alexander Diewald 05/15/2020 03:42 PM
4083 AF3 Phoenix Bug New Normal AF3 Help is entirely broken under Linux Johannes Eder 11/04/2020 12:30 PM
3282 AF3 Phoenix Feature In Progress Normal AF3 Variability Layer Andreas Bayha 05/13/2019 02:08 PM
3426 AF3 Phoenix Support New Normal All requirements are not conflicting Saad bin Abid 06/03/2019 11:50 AM
3941 AF3 Phoenix Bug New Normal Allocations editor: Creating a mapping in one tab removes all targets in the other tabs. Johannes Eder 10/27/2020 04:50 PM
2145 AF3 Phoenix Feature New Normal Allow C files as a specification 05/13/2019 02:09 PM
3417 AF3 Phoenix Feature New Normal AMALTHEA / APP4MC Importer Alexander Diewald 04/16/2020 04:57 PM
3022 Analysis Feature New Normal Analysis Collection issue 10/02/2019 09:01 AM
3083 AF3 Phoenix Change Request New Normal Annotation View: Highlighting of rows and columns is sometimes counter-intuitive Simon Barner 05/11/2020 10:47 AM
3145 AF3 Phoenix Change Request In Progress Normal Annotation View: Performance improvements Simon Barner 05/11/2020 10:47 AM
4014 AF3 Phoenix Change Request Resolved Normal AnnotationView to JavaFX Johannes Eder 10/21/2020 10:23 AM
3917 AF3 Phoenix Change Request New Normal ArchitecureParameterEditorBase<A,T> to JavaFX Alexander Diewald 05/18/2020 04:37 PM
3642 AF3 Phoenix Bug In Progress Normal Avoid missing and duplicated IDs Simon Barner 10/27/2020 04:42 PM
3290 Design Space Exploration Bug New Normal Axis selection in the DSE visualization is not kept when switching visualizations Johannes Eder 01/24/2020 12:10 PM
1028 AF3 Phoenix Bug In Progress Normal Bad identifier for data state variables possible (was: Data State Variables Exception) Florian Hölzl 10/27/2020 04:35 PM
4066 AF3 Phoenix Bug Resolved Normal Binary Windows (x64) product: problems to resolve dependencies of Z3 DLLs Simon Barner 11/11/2020 01:11 PM
3315 AF3 Phoenix Change Request Resolved Normal BindingStretegy should "bind" and not just deactivate Andreas Bayha 05/13/2019 02:08 PM
3099 AF3 Phoenix Support New Normal bound reached on model checking 05/13/2019 02:08 PM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
4039 AF3 Phoenix Feature New Low Bus load constraint Simon Barner 08/10/2020 04:56 PM
3330 AF3 Phoenix Support New Normal cancelling formal verification constraints 05/13/2019 02:08 PM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3331 AF3 Phoenix Support New Normal Changes in constraint mechanism 05/13/2019 02:08 PM
3966 AF3 Phoenix Feature New Normal Channel creation between components Florian Hölzl 03/23/2020 06:06 PM
1957 AF3 Phoenix Change Request In Progress Normal Check all places where Auto-completion could be improved/implemented Andreas Bayha 05/13/2019 02:04 PM
3547 Design Space Exploration Change Request New Normal Check/fix identifier names generation in Z3 Johannes Eder 08/06/2020 09:04 PM
3789 AF3 Phoenix Feature New Normal Checking OCL constraints using SMT solving Andreas Bayha 08/05/2019 01:27 PM
3663 AF3 Phoenix Change Request New Normal Clean constraints in the component group 03/01/2019 02:57 PM
3469 AF3 Phoenix Support New Normal Cleanup Constraint metamodel Saad bin Abid 06/03/2019 11:48 AM
3767 AF3 Phoenix Support Feedback Normal Cleanup dependencies by consistently using re-export. Alexander Diewald 04/16/2020 05:14 PM
3554 Design Space Exploration Change Request New Normal Cleanup DSML w.r.t. newly added Functions Johannes Eder 08/06/2020 09:04 PM
3952 AF3 Phoenix Bug New Normal Color contrast in some JavaFX diagram editors is very low Johannes Eder 10/27/2020 04:50 PM
2908 AF3 Phoenix Change Request In Progress Normal ComponentArchitecture should not be a IFunctionScope Florian Hölzl 05/13/2019 02:08 PM
3057 AF3 Phoenix Feature New Normal Constraint for interface of FMU components 05/13/2019 02:08 PM
2620 AF3 Phoenix Feature In Progress Normal Constraint-based development process 05/13/2019 02:04 PM
3124 AF3 Phoenix Support New Normal Constraint: duplicated requirement Saad bin Abid 10/02/2019 12:19 PM
2667 AF3 Phoenix Bug New Normal ConstraintCheckerService does not perform all registered ConstaintChecks Andreas Bayha 10/27/2020 04:37 PM
3117 AF3 Phoenix Feature New Normal constraints and process from building a certification argument 01/23/2018 03:59 PM
3118 AF3 Phoenix Feature New Normal constraints and process from building a DO-178C compliant set of requirements 01/23/2018 03:59 PM
3424 AF3 Phoenix Change Request New Normal Constraints: Refactor common interpretation of results 05/13/2019 02:08 PM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 PM
3284 Design Space Exploration Change Request New Normal Convert the IDSEBackend to a non-stateful interface Alexander Diewald 01/24/2020 11:57 AM
3965 AF3 Phoenix Feature New Normal Copy&Paste of components in component/diagram editor Florian Hölzl 03/23/2020 05:57 PM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
4040 AF3 Phoenix Feature New Low CPU load constraint. Simon Barner 08/10/2020 04:56 PM
3595 Design Space Exploration Change Request New Normal Create a DSML interface for Set references Alexander Diewald 04/16/2020 05:28 PM
4065 AF3 Phoenix Feature New Normal Creating a No Migration Constraint - RISE Saad bin Abid 10/01/2020 04:54 PM
3527 AF3 Phoenix Bug Feedback Low Data Dictionary: Erroneous error marker for duplicated enumeration values Florian Hölzl 10/27/2020 04:46 PM
3936 AF3 Phoenix Feature New Normal Data State (FX) editor: Show elements of arrays and structs as children of the respective variables Johannes Eder 08/10/2020 11:43 AM
3802 Design Space Exploration Feature New Normal Define GUI patterns for (non-periodic) timing constraints Johannes Eder 08/06/2020 08:56 PM
3944 AF3 Phoenix Change Request New Normal Define the safety standard by a property of the FileProject Alexander Diewald 03/13/2020 05:25 PM
3077 AF3 Phoenix Support In Progress Normal Design architecture Traceable artifacts Saad bin Abid 05/13/2019 02:08 PM
2872 AF3 Phoenix Support New Normal Doc: add a clear link to the source svn (with public credentials) to the main webpage Andreas Bayha 05/13/2019 02:10 PM
3336 AF3 Phoenix Change Request New Low Document support for nested commands in CommandStackService Florian Hölzl 05/13/2019 02:10 PM
3857 AF3 Phoenix Support New Normal Document the memory mapping Alexander Diewald 04/16/2020 05:14 PM
2078 AF3 Phoenix Support New Normal DSE-related documentation 05/13/2019 02:10 PM
3858 AF3 Phoenix Feature In Progress Normal DSRs integration with Simulink Tatiana Chuprina 12/09/2019 01:59 PM
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 PM
3799 Design Space Exploration Change Request New Normal Enable only the execution of explorations for which all prerequisites are fulfilled Tiziano Munaro 01/24/2020 12:04 PM
3787 Design Space Exploration Support New Normal Enable quantifier unfolding by default Tiziano Munaro 01/24/2020 12:09 PM
3703 Design Space Exploration Change Request New Normal Enable unfolded quantification over subsets in SMT Tiziano Munaro 01/24/2020 12:04 PM
3303 AF3 Phoenix Feature New Normal Enable VariationPoint to be deactivated Andreas Bayha 05/13/2019 02:08 PM
3072 AF3 Phoenix Bug New Normal Endless loop when OCRA is not installed 10/07/2019 09:46 AM
2270 AF3 Phoenix Feature In Progress Normal EObjectAwareServiceBase: Provide accumulating implementation of getRegisteredHandlers() Florian Hölzl 05/13/2019 02:09 PM
3078 AF3 Phoenix Support New Normal Error marker should propagate over hierarchy of the tree view Saad bin Abid 10/02/2019 12:20 PM
3708 Design Space Exploration Feature In Progress High Exploration of ExecutionUnit numbers as a variance-based exploration Alexander Diewald 01/24/2020 11:54 AM
3855 AF3 Phoenix Support New Normal Extend documentation for partition architecture Simon Barner 05/11/2020 03:41 PM
3712 AF3 Phoenix Change Request Feedback Normal Extend image export functionality from component architectures only to task and platform architectures Tiziano Munaro 05/11/2020 11:42 AM
3609 AF3 Phoenix Feature New Normal Extend MCDC analysis to support structures 09/26/2019 02:31 PM
3689 Design Space Exploration Feature New Normal Extend the DseML to enable expressions to specifiy non-existing elements and attributes Alexander Diewald 04/16/2020 11:29 AM
3691 Design Space Exploration Feature New Normal Extend the DseML to enable specifying non-existing model elements Alexander Diewald 01/24/2020 11:53 AM
3462 AF3 Phoenix Feature New Normal Fault Tree Analysis (FTA) for Safety and Security Plugin 05/13/2019 02:04 PM
3092 AF3 Phoenix Feature In Progress Normal fine grained of calculation of percentage of completion of objective 10/24/2017 04:17 PM
3895 AF3 Phoenix Feature New Normal fix an issue with different runtime environments Tatiana Chuprina 12/09/2019 01:59 PM
3121 AF3 Phoenix Bug In Progress Normal Flushing out the constraint instances from XMI file Saad bin Abid 10/02/2019 11:20 AM
4045 AF3 Phoenix Feature In Progress Normal Function Architecture Saad bin Abid 10/20/2020 05:55 PM
3497 AF3 Phoenix Bug Feedback Normal FV does not work when array index is a variable 10/02/2019 09:00 AM
3897 AF3 Phoenix Change Request New Normal Generalize base visuals for directed Connectors Alexander Diewald 04/16/2020 05:32 PM
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 PM
2686 AF3 Phoenix Feature New Normal Generic variability plugin Andreas Bayha 05/11/2020 10:47 AM
3911 AF3 Phoenix Change Request New Normal GlossaryEntryEditorBase to JavaFX 05/11/2020 10:47 AM
3189 AF3 Phoenix Feature New Normal graphical perspective for process Saad bin Abid 10/02/2019 12:50 PM
2343 AF3 Phoenix Feature New Normal Handle complex copy&paste operations in the tooling plugins Alexander Diewald 12/14/2017 10:50 AM
4041 AF3 Phoenix Change Request New Normal Hardware optimization pattern: only list meaningful attributes Johannes Eder 07/01/2020 01:29 PM
3258 Design Space Exploration Feature New High Hardware Platform Exploration Alexander Diewald 01/15/2020 04:26 PM
3982 AF3 Phoenix Bug New Normal Hier. Platform: At the tile level, the elements of the upper level are shown Simon Barner 03/30/2020 08:02 PM
3226 AF3 Phoenix Support New Normal Implement a common editor class for implementing the list for relationships between non-functional and functional requirements Saad bin Abid 05/13/2019 02:08 PM
3476 AF3 Phoenix Feature New Normal implement gestTestCases() for MCDC Ludwig Dickmanns 05/13/2019 02:11 PM
3253 Design Space Exploration Bug Feedback Normal Implement hashCode methods for DSML elements implementing "equals" Johannes Eder 10/28/2020 09:03 AM
3567 Design Space Exploration Feature Feedback Normal Implementation of Platform Exploration for the generic platform Johannes Eder 01/24/2020 11:51 AM
3996 AF3 Phoenix Feature New Normal Import capability for library elements Johannes Eder 04/09/2020 05:51 PM
3458 AF3 Phoenix Feature New Normal Import Wizard Florian Hölzl 04/16/2020 05:33 PM
3638 AF3 Phoenix Change Request New Normal Improve error reporting if a transformation chain fails Florian Hölzl 04/16/2020 05:28 PM
3957 AF3 Phoenix Feature New Low Improve Glossary integration Andreas Bayha 03/20/2020 11:57 AM
2398 AF3 Phoenix Change Request New High Improve the export of the DataDictionary (or its subtypes) to libraries 05/13/2019 02:04 PM
(1-100/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF