Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4087 AF3 Phoenix Feature New Low [safety-maintenance] Structural Queries Carmen Carlan 11/26/2020 06:01 AM
4086 AF3 Phoenix Feature New Normal [safety] Create model from uber safety case Liana Soima 11/24/2020 08:51 PM
4085 AF3 Phoenix Change Request In Progress Normal Modify the exploration backend to support multi-rate schedules Tiziano Munaro 11/19/2020 07:04 PM
4084 AF3 Phoenix Bug Resolved Normal Wrong schedule transformation from SingleExplorationSolution Johannes Eder 11/17/2020 01:47 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
4082 AF3 Phoenix Change Request New Normal [UI] Implement JavaFX-based graph display Irina Muntean 11/11/2020 10:39 AM
4083 AF3 Phoenix Bug New Normal AF3 Help is entirely broken under Linux Johannes Eder 11/04/2020 12:30 PM
4044 AF3 Phoenix Change Request New Normal Simulation OperatorPanels to JavaFX 11/02/2020 07:12 PM
3926 AF3 Phoenix Bug New Normal [Cosimulation] Complete re-implementation of the cosimulation logic required Tiziano Munaro 10/30/2020 11:32 AM
4069 AF3 Phoenix Support New Normal Refresh AF3 examples for release Johannes Eder 10/29/2020 01:51 PM
3253 Design Space Exploration Bug Feedback Normal Implement hashCode methods for DSML elements implementing "equals" Johannes Eder 10/28/2020 09:03 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
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
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
3923 AF3 Phoenix Bug New Normal [Kernel / AF3 Component] Fix content to content link creation Florian Hölzl 10/27/2020 04:48 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
3851 AF3 Phoenix Bug New Normal [3D simulation] Composite issue for 3D simulation related bugs Florian Hölzl 10/27/2020 04:46 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
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
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
3831 AF3 Phoenix Bug New Normal Some model elements are not referenced by ID Simon Barner 10/27/2020 04:43 PM
3642 AF3 Phoenix Bug In Progress Normal Avoid missing and duplicated IDs Simon Barner 10/27/2020 04:42 PM
2667 AF3 Phoenix Bug New Normal ConstraintCheckerService does not perform all registered ConstaintChecks Andreas Bayha 10/27/2020 04:37 PM
2347 AF3 Phoenix Bug In Progress Normal [UI] Avoid that copied model elements are added as children of the original selection Simon Barner 10/27/2020 04:37 PM
1536 AF3 Phoenix Bug New Normal Sorting of Data Dictionary element. Saad bin Abid 10/27/2020 04:36 PM
1508 AF3 Phoenix Bug New Normal Text Display Reactions does not check the guards Tatiana Chuprina 10/27/2020 04:36 PM
1491 AF3 Phoenix Bug New Normal Intuitive binding of (undo/redo) actions Florian Hölzl 10/27/2020 04:35 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
3805 AF3 Phoenix Support In Progress Normal [safety-documentation] User documentation - some corrections Carmen Carlan 10/27/2020 09:19 AM
3495 AF3 Phoenix Feature New Low [safety-creation] SACM compliance Carmen Carlan 10/27/2020 09:18 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
3170 AF3 Phoenix Feature In Progress Normal [safety-creation] Revival of safety case typed patterns Liana Soima 10/23/2020 01:28 PM
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
4014 AF3 Phoenix Change Request Resolved Normal AnnotationView to JavaFX Johannes Eder 10/21/2020 10:23 AM
4045 AF3 Phoenix Feature In Progress Normal Function Architecture Saad bin Abid 10/20/2020 05:55 PM
4067 AF3 Phoenix Bug Resolved Normal NPE in few cases if the CLI DSE is used Alexander Diewald 10/12/2020 10:24 AM
3922 AF3 Phoenix Change Request In Progress Normal ModelNavigatorView to JavaFX Alexander Diewald 10/06/2020 02:19 PM
4065 AF3 Phoenix Feature New Normal Creating a No Migration Constraint - RISE Saad bin Abid 10/01/2020 04:54 PM
4050 AF3 Phoenix Feature New High Reconfiguration: Prediction metamodel Saad bin Abid 09/23/2020 04:21 PM
3744 AF3 Phoenix Feature In Progress Normal [safety-maintenance] Automatic challenge detection (change in GSN) Liana Soima 09/19/2020 09:01 AM
3784 AF3 Phoenix Feature New Normal [safety-creation] Creating and manipulating safety cases Carmen Carlan 09/12/2020 10:02 AM
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
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 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
4047 AF3 Phoenix Feature In Progress Normal Reconfiguration synthesis related parameters for platform architecture Saad bin Abid 09/11/2020 09:33 AM
3731 Design Space Exploration Feature New Normal Support multicast message deployment and scheduling Simon Barner 09/10/2020 09:29 AM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 PM
3434 Design Space Exploration Feature New High [JavaFX] Migration of the DSE Perspective to JavaFX Alexander Diewald 08/24/2020 02:30 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
4019 AF3 Phoenix Change Request New Normal LibraryView to JavaFX Liana Soima 08/16/2020 09:48 AM
4020 AF3 Phoenix Change Request Resolved Normal KISS View to JavaFX Johannes Eder 08/13/2020 09:33 AM
4055 AF3 Phoenix Feature New Normal [safety-use-case] Create safety case for ADAS in Rovers Liana Soima 08/13/2020 04:40 AM
3979 AF3 Phoenix Feature New Normal [safety-maintenance] Automatic set using listeners Liana Soima 08/13/2020 04:35 AM
2680 AF3 Phoenix Support New Normal [safety-documentation] Do a tutorial and screncast on the GSN Editor Carmen Carlan 08/13/2020 04:23 AM
3775 AF3 Phoenix Feature In Progress Low [safety-creation] Automatic generation of argumentation from AF3 native system model elements (final) Carmen Carlan 08/13/2020 04:01 AM
3674 AF3 Phoenix Support New Normal [MacOS - investigate Z3 library loading by rpath Johannes Eder 08/12/2020 02:07 PM
3450 Design Space Exploration Feature New High [JavaFX] Migrate the visualization view Alexander Diewald 08/12/2020 02:06 PM
3694 Design Space Exploration Feature Feedback Normal Update and integrate the DseML text editor Johannes Eder 08/12/2020 01:50 PM
3009 AF3 Phoenix Feature In Progress Normal [safety-maintenance] Safety Case Maintenance Liana Soima 08/11/2020 06:18 AM
4039 AF3 Phoenix Feature New Low Bus load constraint Simon Barner 08/10/2020 04:56 PM
4040 AF3 Phoenix Feature New Low CPU load constraint. Simon Barner 08/10/2020 04:56 PM
4011 AF3 Phoenix Bug Feedback Normal reaction field in the text display in operator panel not setting correctly Saad bin Abid 08/10/2020 04:11 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
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
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
3547 Design Space Exploration Change Request New Normal Check/fix identifier names generation in Z3 Johannes Eder 08/06/2020 09:04 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
3551 Design Space Exploration Change Request New Normal In the formulation of a scheduling problem, replace ResourceAllocations with Tasks and Signals Johannes Eder 08/06/2020 09:02 PM
3802 Design Space Exploration Feature New Normal Define GUI patterns for (non-periodic) timing constraints Johannes Eder 08/06/2020 08:56 PM
4015 AF3 Phoenix Change Request Resolved Normal SimulationViews to JavaFX Andreas Bayha 07/20/2020 11:49 AM
4041 AF3 Phoenix Change Request New Normal Hardware optimization pattern: only list meaningful attributes Johannes Eder 07/01/2020 01:29 PM
4038 AF3 Phoenix Feature New Normal RAM Utilization Pattern Johannes Eder 07/01/2020 01:18 PM
4036 AF3 Phoenix Support New Low Online help: improve header layout and navigation Johannes Eder 07/01/2020 12:03 PM
3915 AF3 Phoenix Change Request In Progress Normal ModelListenerEditorBase<T> to JavaFX Simon Barner 06/26/2020 05:08 PM
3157 AF3 Phoenix Support Feedback Normal [safety-documentation] Documentation for safety cases Saad bin Abid 06/09/2020 06:04 PM
3917 AF3 Phoenix Change Request New Normal ArchitecureParameterEditorBase<A,T> to JavaFX Alexander Diewald 05/18/2020 04:37 PM
4023 AF3 Phoenix Change Request New Normal Add type arguments to IConverters and IValidators Alexander Diewald 05/15/2020 03:42 PM
3396 AF3 Phoenix Support New Normal [documentation] Developer Documentation Johannes Eder 05/11/2020 03:42 PM
3855 AF3 Phoenix Support New Normal Extend documentation for partition architecture Simon Barner 05/11/2020 03:41 PM
3748 AF3 Phoenix Change Request New Low Improve the Parameter Table / Allocation Table documentation Simon Barner 05/11/2020 03:41 PM
3662 AF3 Phoenix Support New Normal Timing Specification: Documentation Simon Barner 05/11/2020 03:41 PM
3898 AF3 Phoenix Feature New Normal [LWFXEF] More options for javafx editors Florian Hölzl 05/11/2020 03:40 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
2284 AF3 Phoenix Change Request Feedback Normal [Kernel] Provide generic keyboard shortcut facility Andreas Bayha 05/11/2020 11:35 AM
3790 AF3 Phoenix Feature In Progress Normal Variability in Logical Architecture Andreas Bayha 05/11/2020 10:47 AM
3753 AF3 Phoenix Support In Progress Normal [Documentation] Add developer documentation for safetycases Carmen Carlan 05/11/2020 10:47 AM
3745 AF3 Phoenix Feature In Progress Normal [safety-maintenance] Automatically set GSN node as challenged (change in referenced AF3 model) Liana Soima 05/11/2020 10:47 AM
3361 Design Space Exploration Change Request In Progress Normal Scheduling synthesis does not support routing 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
3919 AF3 Phoenix Change Request New Normal SourceEditorBase<T> to JavaFX 05/11/2020 10:47 AM
3937 AF3 Phoenix Feature New Normal MIRA: Display images in FX editor Andreas Bayha 05/11/2020 10:47 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
3911 AF3 Phoenix Change Request New Normal GlossaryEntryEditorBase to JavaFX 05/11/2020 10:47 AM
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
(1-100/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF