Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3857 AF3 Phoenix Support New Normal Document the memory mapping Alexander Diewald 04/16/2020 05:14 PM
3855 AF3 Phoenix Support New Normal Extend documentation for partition architecture Simon Barner 05/11/2020 03:41 PM
3851 AF3 Phoenix Bug New Normal [3D simulation] Composite issue for 3D simulation related bugs Florian Hölzl 10/27/2020 04:46 PM
3850 AF3 Phoenix Bug New Normal [eCar Example] OpenGL native call stuck on Win64 Florian Hölzl 10/27/2020 04:46 PM
3849 AF3 Phoenix Bug New Normal [eCar Example] NPE when opening vehicel panel in simulation Florian Hölzl 10/27/2020 04:45 PM
3848 AF3 Phoenix Bug New Normal [eCar Example] NPE when starting simulation with already opened user panel Florian Hölzl 10/27/2020 04:46 PM
3844 Design Space Exploration Change Request New Normal Indicate model modification in DSE perspective. Simon Barner 01/24/2020 12:04 PM
3843 AF3 Phoenix Feature New Normal Introduce Zoom control Florian Hölzl 05/11/2020 10:47 AM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 PM
3831 AF3 Phoenix Bug New Normal Some model elements are not referenced by ID Simon Barner 10/27/2020 04:43 PM
3805 AF3 Phoenix Support In Progress Normal [safety-documentation] User documentation - some corrections Carmen Carlan 10/27/2020 09:19 AM
3802 Design Space Exploration Feature New Normal Define GUI patterns for (non-periodic) timing constraints Johannes Eder 08/06/2020 08:56 PM
3799 Design Space Exploration Change Request New Normal Enable only the execution of explorations for which all prerequisites are fulfilled Tiziano Munaro 01/24/2020 12:04 PM
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 PM
3795 AF3 Phoenix Feature New Low [safety-reporting] Report in natural language Carmen Carlan 08/10/2019 10:47 AM
3794 AF3 Phoenix Feature New Low [safety-reporting] Provide some metrics for a GSN-based argumentation diagram Carmen Carlan 08/10/2019 10:46 AM
3790 AF3 Phoenix Feature In Progress Normal Variability in Logical Architecture Andreas Bayha 05/11/2020 10:47 AM
3789 AF3 Phoenix Feature New Normal Checking OCL constraints using SMT solving Andreas Bayha 08/05/2019 01:27 PM
3787 Design Space Exploration Support New Normal Enable quantifier unfolding by default Tiziano Munaro 01/24/2020 12:09 PM
3786 AF3 Phoenix Feature New Low [safety-reporting] Generation of reports regarding a modeled assurance case Carmen Carlan 08/10/2020 02:36 PM
3784 AF3 Phoenix Feature New Normal [safety-creation] Creating and manipulating safety cases Carmen Carlan 09/12/2020 10:02 AM
3781 AF3 Phoenix Feature New Low [safety-maintenance] Maintenance reporting Carmen Carlan 05/11/2020 10:47 AM
3775 AF3 Phoenix Feature In Progress Low [safety-creation] Automatic generation of argumentation from AF3 native system model elements (final) Carmen Carlan 08/13/2020 04:01 AM
3769 Design Space Exploration Feature New Normal Adapt scheduling constraints to take advantage of alternative routes Tiziano Munaro 01/24/2020 11:55 AM
3767 AF3 Phoenix Support Feedback Normal Cleanup dependencies by consistently using re-export. Alexander Diewald 04/16/2020 05:14 PM
(76-100/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF