Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3748 AF3 Phoenix Change Request New Low Improve the Parameter Table / Allocation Table documentation Simon Barner 05/11/2020 03:41 PM
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
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
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
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
3628 Design Space Exploration Feature New Normal Z3: Implement progress heuristics Simon Barner 01/24/2020 11:52 AM
3619 AF3 Phoenix Change Request New Normal [code refactoring] create an interface for variables to values map 09/26/2019 02:31 PM
3616 AF3 Phoenix Change Request New Normal Introduce IRootElementContainer and avoid misuse of FileProject Simon Barner 05/11/2020 10:47 AM
3609 AF3 Phoenix Feature New Normal Extend MCDC analysis to support structures 09/26/2019 02:31 PM
3607 AF3 Phoenix Change Request New Normal Review CurrentObjectiveContributionItem class in RCP Plug-in Saad bin Abid 05/11/2020 10:47 AM
3597 AF3 Phoenix Bug New Normal STL OCRA contract verification not working on Windows 10/07/2019 09:44 AM
3595 Design Space Exploration Change Request New Normal Create a DSML interface for Set references Alexander Diewald 04/16/2020 05:28 PM
3586 AF3 Phoenix Change Request New Normal [Property Sections] Improve the advanced type editor Johannes Eder 04/16/2020 05:18 PM
3585 AF3 Phoenix Change Request New Normal [Property Sections] Validate the syntax of complex expression or disallow direct editing Johannes Eder 04/16/2020 05:17 PM
3567 Design Space Exploration Feature Feedback Normal Implementation of Platform Exploration for the generic platform Johannes Eder 01/24/2020 11:51 AM
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
3547 Design Space Exploration Change Request New Normal Check/fix identifier names generation in Z3 Johannes Eder 08/06/2020 09:04 PM
3543 AF3 Phoenix Feature New Normal Merge Quantitative with GSN to ADT Vivek Nigam 05/11/2020 10:47 AM
3527 AF3 Phoenix Bug Feedback Low Data Dictionary: Erroneous error marker for duplicated enumeration values Florian Hölzl 10/27/2020 04:46 PM
3522 AF3 Phoenix Feature New Normal Security Simulator Vivek Nigam 05/11/2020 10:47 AM
3509 AF3 Phoenix Support New Normal rework OCRA refinement 05/13/2019 02:10 PM
3507 AF3 Phoenix Support In Progress Normal [documentation] Add developer documentation for af3.mode, af3.operatorpanel, af3.application Johannes Eder 02/04/2020 04:07 PM
3497 AF3 Phoenix Bug Feedback Normal FV does not work when array index is a variable 10/02/2019 09:00 AM
3495 AF3 Phoenix Feature New Low [safety-creation] SACM compliance Carmen Carlan 10/27/2020 09:18 AM
3494 AF3 Phoenix Feature New Low [safety-interoperability] Button to export xml file of SACM-compliant safety case Carmen Carlan 07/28/2019 10:03 PM
3493 AF3 Phoenix Feature New Low [safety-interoperability] Button to import xml file of SACM-compliant safety case Carmen Carlan 07/28/2019 10:03 PM
(101-150/284) Per page: 25, 50, 100

Also available in: Atom CSV PDF