Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
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
1491 AF3 Phoenix Bug New Normal Intuitive binding of (undo/redo) actions Florian Hölzl 10/27/2020 04:35 PM
1508 AF3 Phoenix Bug New Normal Text Display Reactions does not check the guards Tatiana Chuprina 10/27/2020 04:36 PM
1536 AF3 Phoenix Bug New Normal Sorting of Data Dictionary element. Saad bin Abid 10/27/2020 04:36 PM
1595 AF3 Phoenix Support New Normal JUnit Tests for SMT-based Deployment 05/13/2019 02:04 PM
1762 AF3 Phoenix Feature New Normal Model checking clean components of a not-clean model 05/13/2019 02:09 PM
1912 AF3 Phoenix Bug New Normal Property window disappears Saad bin Abid 10/02/2019 11:23 AM
1957 AF3 Phoenix Change Request In Progress Normal Check all places where Auto-completion could be improved/implemented Andreas Bayha 05/13/2019 02:04 PM
2078 AF3 Phoenix Support New Normal DSE-related documentation 05/13/2019 02:10 PM
2128 AF3 Phoenix Feature New Normal [Analyses/Simulation] Looping simulations 05/13/2019 02:09 PM
2145 AF3 Phoenix Feature New Normal Allow C files as a specification 05/13/2019 02:09 PM
2183 AF3 Phoenix Support In Progress High [patch] ElementCompositorService: emit custom notification after finalization of compose() / decompose Florian Hölzl 05/13/2019 02:09 PM
2234 AF3 Phoenix Change Request New Normal Refactor compositors to allow state-based implementation of canConnect() / connect() etc. Florian Hölzl 03/05/2018 11:30 AM
2270 AF3 Phoenix Feature In Progress Normal EObjectAwareServiceBase: Provide accumulating implementation of getRegisteredHandlers() Florian Hölzl 05/13/2019 02:09 PM
2284 AF3 Phoenix Change Request Feedback Normal [Kernel] Provide generic keyboard shortcut facility Andreas Bayha 05/11/2020 11:35 AM
2306 AF3 Phoenix Feature New Normal Safe Plugin Integration 01/26/2018 11:22 AM
2332 AF3 Phoenix Support New Normal MIRA: rework MIRA documentation Saad bin Abid 05/13/2019 02:10 PM
2343 AF3 Phoenix Feature New Normal Handle complex copy&paste operations in the tooling plugins Alexander Diewald 12/14/2017 10:50 AM
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
2398 AF3 Phoenix Change Request New High Improve the export of the DataDictionary (or its subtypes) to libraries 05/13/2019 02:04 PM
2566 AF3 Phoenix Change Request In Progress Low KISS: ObjectAware2ServiceBase and ObjectAwareServiceBase to inherit from IIntrospectiveKernelService Florian Hölzl 05/13/2019 02:09 PM
2588 AF3 Phoenix Feature New Normal [GUI] Multi-line components Florian Hölzl 06/13/2018 04:27 PM
2620 AF3 Phoenix Feature In Progress Normal Constraint-based development process 05/13/2019 02:04 PM
2657 AF3 Phoenix Support New Normal [Analysis] fake enum values in nusmv enums 05/13/2019 02:09 PM
2659 AF3 Phoenix Feature New Low [UI] Visualization of Virtual Links Simon Barner 05/29/2019 02:18 PM
2667 AF3 Phoenix Bug New Normal ConstraintCheckerService does not perform all registered ConstaintChecks Andreas Bayha 10/27/2020 04:37 PM
2672 AF3 Phoenix Feature New Normal [Conti] DSEProject 08/09/2016 05:00 PM
2673 AF3 Phoenix Change Request New Normal Add compositor constraints to ensure that at most one ExecutionUnit or TransmissionUnit is linked to a single Transceiver Simon Barner 05/11/2020 10:47 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
2686 AF3 Phoenix Feature New Normal Generic variability plugin Andreas Bayha 05/11/2020 10:47 AM
2687 AF3 Phoenix Feature New Normal [Generic variability plugin] Generic UI Andreas Bayha 05/13/2019 02:09 PM
2703 AF3 Phoenix Feature New Normal [constraints] onActivate handler 05/13/2019 02:09 PM
2736 AF3 Phoenix Support New Normal Timeout is observed while running NuXMV 05/13/2019 02:09 PM
2770 AF3 Phoenix Change Request New Normal [OperatorPanel] Remove type from GraphViewer Andreas Bayha 05/13/2019 02:04 PM
2774 AF3 Phoenix Bug New Normal [Expression] Structural equality for expressions Florian Hölzl 03/05/2018 10:33 AM
2787 AF3 Phoenix Feature In Progress Normal [Generic variability plugin] Variability in Platform-Architecture Andreas Bayha 05/13/2019 02:09 PM
2803 AF3 Phoenix Feature New Normal [FMI] Support Visual Studio for FMI export 05/13/2019 02:09 PM
2849 AF3 Phoenix Feature New Normal [OBC-SA] Middleware API File 02/20/2017 02:15 PM
2850 AF3 Phoenix Feature New Normal [OBC-SA] Einbindung von externen C-Dateien 02/20/2017 02:15 PM
2852 AF3 Phoenix Feature New Normal [OBC-SA] All Issues 11/21/2017 12:50 AM
2857 AF3 Phoenix Feature New Normal "Go to definition" Context menu 05/13/2019 02:04 PM
2861 AF3 Phoenix Feature New Normal [Constraints] Take functions into account 10/07/2019 09:46 AM
2864 AF3 Phoenix Bug In Progress Normal [Constraint]bounds constraint failure error message 10/07/2019 09:47 AM
2872 AF3 Phoenix Support New Normal Doc: add a clear link to the source svn (with public credentials) to the main webpage Andreas Bayha 05/13/2019 02:10 PM
2873 AF3 Phoenix Change Request New Normal Safety level information is a complete mess Florian Hölzl 05/13/2019 02:08 PM
2885 AF3 Phoenix Feature In Progress Normal [Trace] Constraint to ensure a component matches its functional requirement interface Saad bin Abid 05/13/2019 02:04 PM
2886 AF3 Phoenix Feature New Normal [Constraint-based process] order the constraints Saad bin Abid 05/13/2019 02:04 PM
2890 AF3 Phoenix Feature In Progress Normal Parameters shall be usable in expressions Andreas Bayha 05/13/2019 02:04 PM
2901 AF3 Phoenix Feature New Normal Math Support Andreas Bayha 05/13/2019 02:04 PM
2907 AF3 Phoenix Feature In Progress Normal [Check] New constraint to ensure that every signal defined in requirement should exist in the component architecture Saad bin Abid 05/13/2019 02:04 PM
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
3117 AF3 Phoenix Feature New Normal constraints and process from building a certification argument 01/23/2018 03:59 PM
3118 AF3 Phoenix Feature New Normal constraints and process from building a DO-178C compliant set of requirements 01/23/2018 03:59 PM
3121 AF3 Phoenix Bug In Progress Normal Flushing out the constraint instances from XMI file Saad bin Abid 10/02/2019 11:20 AM
3124 AF3 Phoenix Support New Normal Constraint: duplicated requirement Saad bin Abid 10/02/2019 12:19 PM
3131 AF3 Phoenix Feature New Normal Upcoming Objective combo-box invisible if no upcoming objective available Saad bin Abid 10/08/2019 05:20 PM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 AM
3137 AF3 Phoenix Support New Normal objective dependence 11/07/2017 10:58 AM
3145 AF3 Phoenix Change Request In Progress Normal Annotation View: Performance improvements Simon Barner 05/11/2020 10:47 AM
3157 AF3 Phoenix Support Feedback Normal [safety-documentation] Documentation for safety cases Saad bin Abid 06/09/2020 06:04 PM
3158 AF3 Phoenix Feature New Low [safety-usability] Choose text size in GSN nodes Carmen Carlan 07/28/2019 10:04 PM
3170 AF3 Phoenix Feature In Progress Normal [safety-creation] Revival of safety case typed patterns Liana Soima 10/23/2020 01:28 PM
3180 AF3 Phoenix Support New Normal [FV Transformation] Factorize the first block of the transformation 05/13/2019 02:08 PM
3181 AF3 Phoenix Feature Feedback Normal [OBC-SA] Code and Config Generation for PikeOS 12/04/2017 02:10 AM
3183 AF3 Phoenix Feature New Normal [OBC-SA]Spatial Partitioning (1:1) 11/22/2017 12:41 AM
3184 AF3 Phoenix Feature New Normal [OBC-SA]Temporal Partitioning 11/22/2017 10:37 PM
3185 AF3 Phoenix Feature New Normal [OBC-SA] Create a OBC-SA Technical Architecture 12/04/2017 01:58 AM
3186 AF3 Phoenix Feature New Normal [OBC-SA]VMIT Generation 01/26/2018 10:30 AM
3187 AF3 Phoenix Feature New Normal [OBC-SA] Code Generation 12/04/2017 01:57 AM
3189 AF3 Phoenix Feature New Normal graphical perspective for process Saad bin Abid 10/02/2019 12:50 PM
3226 AF3 Phoenix Support New Normal Implement a common editor class for implementing the list for relationships between non-functional and functional requirements Saad bin Abid 05/13/2019 02:08 PM
3231 Analysis Feature Feedback Normal include all subcontracts for refinement 06/03/2019 03:48 PM
3233 Analysis Support New Low Inefficiency in checking contract against implementation 05/13/2019 02:08 PM
3234 AF3 Phoenix Support New Normal RequirementParameterDefinition in Mira Saad bin Abid 05/13/2019 02:08 PM
3253 Design Space Exploration Bug Feedback Normal Implement hashCode methods for DSML elements implementing "equals" Johannes Eder 10/28/2020 09:03 AM
3258 Design Space Exploration Feature New High Hardware Platform Exploration Alexander Diewald 01/15/2020 04:26 PM
(1-100/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF