Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
2908 AF3 Phoenix Change Request In Progress Normal ComponentArchitecture should not be a IFunctionScope Florian Hölzl 05/13/2019 02:08 PM
2935 Design Space Exploration Feature In Progress Normal MOEA-DSE Migration Alexander Diewald 01/15/2020 04:25 PM
2984 AF3 Phoenix Feature New Normal parameters in simulation and testing Andreas Bayha 05/13/2019 02:04 PM
2998 AF3 Phoenix Feature In Progress Normal [GeneVa] Feature Model Editor Andreas Bayha 05/13/2019 02:08 PM
3000 AF3 Phoenix Feature In Progress Normal [GeneVa] Check Feature Model for correctness Andreas Bayha 05/13/2019 02:08 PM
3009 AF3 Phoenix Feature In Progress Normal [safety-maintenance] Safety Case Maintenance Liana Soima 08/11/2020 06:18 AM
3022 Analysis Feature New Normal Analysis Collection issue 10/02/2019 09:01 AM
3024 AF3 Phoenix Feature New Normal [Constraint] port bound 10/08/2019 09:37 AM
3039 AF3 Phoenix Feature In Progress Normal process enactment 10/27/2017 11:05 AM
3057 AF3 Phoenix Feature New Normal Constraint for interface of FMU components 05/13/2019 02:08 PM
3072 AF3 Phoenix Bug New Normal Endless loop when OCRA is not installed 10/07/2019 09:46 AM
3073 AF3 Phoenix Feature New Normal Nice error when OCRA is missing 05/13/2019 02:08 PM
3077 AF3 Phoenix Support In Progress Normal Design architecture Traceable artifacts Saad bin Abid 05/13/2019 02:08 PM
3078 AF3 Phoenix Support New Normal Error marker should propagate over hierarchy of the tree view Saad bin Abid 10/02/2019 12:20 PM
3083 AF3 Phoenix Change Request New Normal Annotation View: Highlighting of rows and columns is sometimes counter-intuitive Simon Barner 05/11/2020 10:47 AM
3089 AF3 Phoenix Support New Normal refactor NuSMVRunner 05/13/2019 02:08 PM
3092 AF3 Phoenix Feature In Progress Normal fine grained of calculation of percentage of completion of objective 10/24/2017 04:17 PM
3095 AF3 Phoenix Feature In Progress Normal Overview of the successful constraints per group Saad bin Abid 12/09/2017 09:53 PM
3098 AF3 Phoenix Feature New Normal Static checks for a process Saad bin Abid 10/02/2019 12:20 PM
3099 AF3 Phoenix Support New Normal bound reached on model checking 05/13/2019 02:08 PM
3100 AF3 Phoenix Feature In Progress Normal warnings for the constraint system 03/07/2018 03:04 PM
3106 AF3 Phoenix Support New Normal refactor analysis facade 05/13/2019 02:08 PM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
3109 AF3 Phoenix Feature New Normal Saving Constraints Configuration for the Reuse Saad bin Abid 05/13/2019 02:08 PM
3114 AF3 Phoenix Support New Normal Statistics of the satisfied constraints per group Saad bin Abid 05/13/2019 02:09 PM
(51-75/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF