Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4059 AF3 Phoenix Bug Resolved High Incorrect references between model elements after project import Johannes Eder 09/16/2020 07:57 AM
4046 AF3 Phoenix Feature Resolved High Reconfiguration synthesis related parameters for functional architecture Johannes Eder 09/09/2020 04:17 PM
4013 AF3 Phoenix Change Request New High [UI] Collection task SWT based views -> JavaFX-based views Johannes Eder 08/24/2020 02:18 PM
4058 Design Space Exploration Feature Resolved Normal CLI: Enable dumping a SMTLibv2 file from a DSE project Johannes Eder 09/15/2020 05:36 PM
4048 AF3 Phoenix Feature Resolved Normal Dump a JSON file about properties of generated DSE test cases Johannes Eder 09/15/2020 05:35 PM
4056 AF3 Phoenix Feature Resolved Normal [safety-maintenance] Automatic detection of patterns and referenced System Model Elements Johannes Eder 09/12/2020 10:51 AM
3785 AF3 Phoenix Feature In Progress Normal [safety-integration] Integration of assurance cases with other tools Johannes Eder 09/12/2020 10:08 AM
2985 AF3 Phoenix Feature Resolved Normal [safety-integration] Hyperlinking Johannes Eder 09/12/2020 10:07 AM
3778 AF3 Phoenix Feature New Normal [safety-hyperlinking] References in claims Johannes Eder 09/12/2020 10:06 AM
4054 AF3 Phoenix Bug Resolved Normal [safety-creation] Small fixes Johannes Eder 09/12/2020 10:03 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
4060 AF3 Phoenix Bug Resolved Normal Double clicking on a Raspberry Pi platform element causes an exception to be thrown Johannes Eder 09/10/2020 02:50 PM
4022 Design Space Exploration Bug Resolved Normal Creation of safety level constraint throws exception Johannes Eder 09/01/2020 03:05 PM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 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
4020 AF3 Phoenix Change Request Resolved Normal KISS View to JavaFX Johannes Eder 08/13/2020 09:33 AM
3674 AF3 Phoenix Support New Normal [MacOS - investigate Z3 library loading by rpath Johannes Eder 08/12/2020 02:07 PM
3694 Design Space Exploration Feature Feedback Normal Update and integrate the DseML text editor Johannes Eder 08/12/2020 01:50 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
4041 AF3 Phoenix Change Request New Normal Hardware optimization pattern: only list meaningful attributes Johannes Eder 07/01/2020 01:29 PM
(1-25/39) Per page: 25, 50

Also available in: Atom CSV PDF