Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4079 AF3 Phoenix Bug New Immediate Build fixes Johannes Eder 10/26/2020 11:49 AM
4077 Design Space Exploration Bug New Normal Z3 solver produces contradicting solution states with the Java API and the smtlib interface Johannes Eder 10/22/2020 11:28 AM
4076 AF3 Phoenix Change Request New Normal Reintegrate the Tutorial Service Johannes Eder 10/22/2020 06:15 PM
4075 AF3 Phoenix Change Request New Normal Rework the ContextMenu- and the ActionService Johannes Eder 10/21/2020 05:01 PM
4069 AF3 Phoenix Support New Normal Refresh AF3 examples for release Johannes Eder 10/21/2020 05:32 PM
4066 AF3 Phoenix Bug New Normal Binary Windows (x64) product: problems to resolve dependencies of Z3 DLLs Johannes Eder 10/05/2020 11:52 AM
4065 AF3 Phoenix Feature New Normal Creating a No Migration Constraint - RISE Saad bin Abid 10/01/2020 04:54 PM
4055 AF3 Phoenix Feature New Normal [safety-use-case] Create safety case for ADAS in Rovers Liana Soima 08/13/2020 04:40 AM
4050 AF3 Phoenix Feature New High Reconfiguration: Prediction metamodel Saad bin Abid 09/23/2020 04:21 PM
4044 AF3 Phoenix Change Request New Normal Simulation OperatorPanels to JavaFX 07/20/2020 02:32 PM
4041 AF3 Phoenix Change Request New Normal Hardware optimization pattern: only list meaningful attributes Johannes Eder 07/01/2020 01:29 PM
4040 AF3 Phoenix Feature New Low CPU load constraint. Simon Barner 08/10/2020 04:56 PM
4039 AF3 Phoenix Feature New Low Bus load constraint Simon Barner 08/10/2020 04:56 PM
4038 AF3 Phoenix Feature New Normal RAM Utilization Pattern Johannes Eder 07/01/2020 01:18 PM
4037 AF3 Phoenix Bug New Normal Memory Utilization Pattern erroneously uses task RAM instead of Flash requirements Johannes Eder 09/11/2020 06:15 PM
4036 AF3 Phoenix Support New Low Online help: improve header layout and navigation Johannes Eder 07/01/2020 12:03 PM
4023 AF3 Phoenix Change Request New Normal Add type arguments to IConverters and IValidators Alexander Diewald 05/15/2020 03:42 PM
4019 AF3 Phoenix Change Request New Normal LibraryView to JavaFX Liana Soima 08/16/2020 09:48 AM
4013 AF3 Phoenix Change Request New High [UI] Collection task SWT based views -> JavaFX-based views Johannes Eder 10/26/2020 09:58 AM
4002 AF3 Phoenix Feature New Normal [FMI] Usability improvements Tiziano Munaro 04/20/2020 10:42 AM
4001 AF3 Phoenix Change Request New Low [FMI] Redirect COE output / Hide COE output from the AF3 console Tiziano Munaro 04/16/2020 09:37 AM
3996 AF3 Phoenix Feature New Normal Import capability for library elements Johannes Eder 04/09/2020 05:51 PM
3988 AF3 Phoenix Feature New Normal MIRA: Validator duplicated IDs in FX editor Andreas Bayha 04/03/2020 02:32 PM
3985 AF3 Phoenix Bug New Normal Removal of sticky ports does not work Florian Hölzl 04/02/2020 02:33 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
3979 AF3 Phoenix Feature New Normal [safety-maintenance] Automatic set using listeners Liana Soima 08/13/2020 04:35 AM
3978 AF3 Phoenix Change Request New Normal [UI] Resolve code duplication in the link-method of link visuals Tiziano Munaro 03/27/2020 06:31 PM
3966 AF3 Phoenix Feature New Normal Channel creation between components Florian Hölzl 03/23/2020 06:06 PM
3965 AF3 Phoenix Feature New Normal Copy&Paste of components in component/diagram editor Florian Hölzl 03/23/2020 05:57 PM
3958 AF3 Phoenix Change Request New Normal Migrate GlossaryEntry editor to FX or integrate in owerview Andreas Bayha 03/20/2020 11:49 AM
3957 AF3 Phoenix Feature New Low Improve Glossary integration Andreas Bayha 03/20/2020 11:57 AM
3954 AF3 Phoenix Bug New Normal Model elements view unpredictably collapses and unfolds subtrees Johannes Eder 10/27/2020 04:51 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
3946 AF3 Phoenix Change Request New Normal Remove unused GEF/SWT editors/views Johannes Eder 03/17/2020 02:48 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
3942 AF3 Phoenix Bug New Low MIRA UI: Usability Issues Andreas Bayha 10/27/2020 04:50 PM
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
3937 AF3 Phoenix Feature New Normal MIRA: Display images in FX editor Andreas Bayha 05/11/2020 10:47 AM
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
3930 AF3 Phoenix Feature New Normal [LWFXEF] Provide utility methods for placing curves and their labels Florian Hölzl 05/11/2020 10:47 AM
3928 AF3 Phoenix Bug New Normal [safety] The connectors on circle figures (solutions) do not work well Carmen Carlan 10/27/2020 04:49 PM
3926 AF3 Phoenix Bug New Normal [Cosimulation] Complete re-implementation of the cosimulation logic required Tiziano Munaro 10/27/2020 04:48 PM
3923 AF3 Phoenix Bug New Normal [Kernel / AF3 Component] Fix content to content link creation Florian Hölzl 10/27/2020 04:48 PM
3919 AF3 Phoenix Change Request New Normal SourceEditorBase<T> to JavaFX 05/11/2020 10:47 AM
3917 AF3 Phoenix Change Request New Normal ArchitecureParameterEditorBase<A,T> to JavaFX Alexander Diewald 05/18/2020 04:37 PM
3911 AF3 Phoenix Change Request New Normal GlossaryEntryEditorBase to JavaFX 05/11/2020 10:47 AM
3906 AF3 Phoenix Change Request New Normal [UI] Collection task to switch SWT based editors to the new JavaFX-based editors Johannes Eder 08/10/2020 02:29 PM
3901 AF3 Phoenix Change Request New Normal [LWFXEF] Change default behavior of ControllerBase:allowLink() Florian Hölzl 05/11/2020 10:47 AM
3899 AF3 Phoenix Feature New Normal [UI] Introduce JavaFX-based code specification editor Tiziano Munaro 05/11/2020 10:47 AM
3898 AF3 Phoenix Feature New Normal [LWFXEF] More options for javafx editors Florian Hölzl 05/11/2020 03:40 PM
3897 AF3 Phoenix Change Request New Normal Generalize base visuals for directed Connectors Alexander Diewald 04/16/2020 05:32 PM
3896 AF3 Phoenix Change Request New Normal Support directed connectors in the kernel Alexander Diewald 04/16/2020 05:32 PM
3895 AF3 Phoenix Feature New Normal fix an issue with different runtime environments Tatiana Chuprina 12/09/2019 01:59 PM
3894 AF3 Phoenix Feature New Normal Separate DSR feature from MIRA into "Verification" plugin Tatiana Chuprina 12/09/2019 01:57 PM
3889 AF3 Phoenix Feature New Normal [LWFXEF] Add more options for adding, modifying and displaying text Florian Hölzl 05/11/2020 10:47 AM
3877 AF3 Phoenix Change Request New Normal [UI] Move type checks and casts from LWFXEF visuals to a common base class within SystemFocus Florian Hölzl 05/11/2020 10:47 AM
3872 AF3 Phoenix Feature New Normal [AF3] Add auto-layout to AF3 LWFXE component editor. Ludwig Dickmanns 05/11/2020 10:47 AM
3869 AF3 Phoenix Feature New Normal [Variability] OCL Test-View Andreas Bayha 11/13/2019 06:08 PM
3868 AF3 Phoenix Bug New Normal [Kernel] LayoutDataUtils.setConnectorOffsetOrientation() causes NPE in LayoutDataUIUtils.getConnectorOrientation() Florian Hölzl 10/27/2020 04:47 PM
3862 AF3 Phoenix Bug New Normal [Variability] PresenceConditionLiterals are not checked not to contain Keywords Andreas Bayha 10/27/2020 04:46 PM
3857 AF3 Phoenix Support New Normal Document the memory mapping Alexander Diewald 04/16/2020 05:14 PM
3855 AF3 Phoenix Support New Normal Extend documentation for partition architecture Simon Barner 05/11/2020 03:41 PM
3851 AF3 Phoenix Bug New Normal [3D simulation] Composite issue for 3D simulation related bugs Florian Hölzl 10/27/2020 04:46 PM
3850 AF3 Phoenix Bug New Normal [eCar Example] OpenGL native call stuck on Win64 Florian Hölzl 10/27/2020 04:46 PM
3849 AF3 Phoenix Bug New Normal [eCar Example] NPE when opening vehicel panel in simulation Florian Hölzl 10/27/2020 04:45 PM
3848 AF3 Phoenix Bug New Normal [eCar Example] NPE when starting simulation with already opened user panel Florian Hölzl 10/27/2020 04:46 PM
3844 Design Space Exploration Change Request New Normal Indicate model modification in DSE perspective. Simon Barner 01/24/2020 12:04 PM
3843 AF3 Phoenix Feature New Normal Introduce Zoom control Florian Hölzl 05/11/2020 10:47 AM
3831 AF3 Phoenix Bug New Normal Some model elements are not referenced by ID Simon Barner 10/27/2020 04:43 PM
3802 Design Space Exploration Feature New Normal Define GUI patterns for (non-periodic) timing constraints Johannes Eder 08/06/2020 08:56 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
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 PM
3795 AF3 Phoenix Feature New Low [safety-reporting] Report in natural language Carmen Carlan 08/10/2019 10:47 AM
3794 AF3 Phoenix Feature New Low [safety-reporting] Provide some metrics for a GSN-based argumentation diagram Carmen Carlan 08/10/2019 10:46 AM
3789 AF3 Phoenix Feature New Normal Checking OCL constraints using SMT solving Andreas Bayha 08/05/2019 01:27 PM
3787 Design Space Exploration Support New Normal Enable quantifier unfolding by default Tiziano Munaro 01/24/2020 12:09 PM
3786 AF3 Phoenix Feature New Low [safety-reporting] Generation of reports regarding a modeled assurance case Carmen Carlan 08/10/2020 02:36 PM
3784 AF3 Phoenix Feature New Normal [safety-creation] Creating and manipulating safety cases Carmen Carlan 09/12/2020 10:02 AM
3781 AF3 Phoenix Feature New Low [safety-maintenance] Maintenance reporting Carmen Carlan 05/11/2020 10:47 AM
3769 Design Space Exploration Feature New Normal Adapt scheduling constraints to take advantage of alternative routes Tiziano Munaro 01/24/2020 11:55 AM
3748 AF3 Phoenix Change Request New Low Improve the Parameter Table / Allocation Table documentation Simon Barner 05/11/2020 03:41 PM
3731 Design Space Exploration Feature New Normal Support multicast message deployment and scheduling Simon Barner 09/10/2020 09:29 AM
3724 AF3 Phoenix Feature New Normal Unable to use SAT/SMT features of NuXMV 09/26/2019 02:03 PM
3723 AF3 Phoenix Bug New Normal Using Variables from Sub-componnets for framing Temporal Properties gives error 09/26/2019 02:16 PM
3722 AF3 Phoenix Change Request New Normal Overwrite the getIncoming/getOutgoing EOps of PlatformConnectorUnits Alexander Diewald 04/16/2020 05:26 PM
3720 AF3 Phoenix Change Request New Normal The IConnectionCompositorService should return the created connection Alexander Diewald 04/16/2020 05:27 PM
3707 Design Space Exploration Feature New High Platform exploration for the Hierarchical Platform Alexander Diewald 01/24/2020 11:53 AM
3703 Design Space Exploration Change Request New Normal Enable unfolded quantification over subsets in SMT Tiziano Munaro 01/24/2020 12:04 PM
3697 Design Space Exploration Support New Normal Move utility classes from exploration.smt.modeltransformation to exploration.smt.util Alexander Diewald 01/24/2020 12:11 PM
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
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
3674 AF3 Phoenix Support New Normal [MacOS - investigate Z3 library loading by rpath Johannes Eder 08/12/2020 02:07 PM
3669 Design Space Exploration Feature New Normal Reenable the Allocation Validation (Tasks --> ExecUnits) Alexander Diewald 01/24/2020 11:52 AM
3667 Design Space Exploration Feature New Normal Move the schedule latency minimization to a pattern Alexander Diewald 01/24/2020 11:52 AM
3663 AF3 Phoenix Change Request New Normal Clean constraints in the component group 03/01/2019 02:57 PM
3662 AF3 Phoenix Support New Normal Timing Specification: Documentation Simon Barner 05/11/2020 03:41 PM
3650 AF3 Phoenix Feature New Normal [New DSE project - #3482] The WCET table of TaskArchitectures is not available for DSE-generated Task->Partition->ExecutionUnit allocations Alexander Diewald 04/16/2020 04:57 PM
3647 AF3 Phoenix Support New Normal refactor the classes for the transformation to flatten structures 09/26/2019 02:30 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
3637 AF3 Phoenix Bug New Normal [Expression] Exception when running JUnit tests 10/07/2019 09:43 AM
(1-100/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF