Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
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
3744 AF3 Phoenix Feature In Progress Normal [safety-maintenance] Automatic challenge detection (change in GSN) Liana Soima 09/19/2020 09:01 AM
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 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
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
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
3694 Design Space Exploration Feature Feedback Normal Update and integrate the DseML text editor Johannes Eder 08/12/2020 01:50 PM
3693 Design Space Exploration Change Request In Progress Normal Improve the Step/Target presentation of the DSE Navigator Alexander Diewald 02/04/2020 01:24 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
3642 AF3 Phoenix Bug In Progress Normal Avoid missing and duplicated IDs Simon Barner 10/27/2020 04:42 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
(101-125/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF