Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3930 AF3 Phoenix Feature New Normal [LWFXEF] Provide utility methods for placing curves and their labels Florian Hölzl 05/11/2020 10:47 AM
3899 AF3 Phoenix Feature New Normal [UI] Introduce JavaFX-based code specification editor Tiziano Munaro 05/11/2020 10:47 AM
3898 AF3 Phoenix Feature New Normal [LWFXEF] More options for javafx editors Florian Hölzl 05/11/2020 03:40 PM
3895 AF3 Phoenix Feature New Normal fix an issue with different runtime environments Tatiana Chuprina 12/09/2019 01:59 PM
3894 AF3 Phoenix Feature New Normal Separate DSR feature from MIRA into "Verification" plugin Tatiana Chuprina 12/09/2019 01:57 PM
3889 AF3 Phoenix Feature New Normal [LWFXEF] Add more options for adding, modifying and displaying text Florian Hölzl 05/11/2020 10:47 AM
3872 AF3 Phoenix Feature New Normal [AF3] Add auto-layout to AF3 LWFXE component editor. Ludwig Dickmanns 05/11/2020 10:47 AM
3869 AF3 Phoenix Feature New Normal [Variability] OCL Test-View Andreas Bayha 11/13/2019 06:08 PM
3843 AF3 Phoenix Feature New Normal Introduce Zoom control Florian Hölzl 05/11/2020 10:47 AM
3802 Design Space Exploration Feature New Normal Define GUI patterns for (non-periodic) timing constraints Johannes Eder 08/06/2020 08:56 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
3789 AF3 Phoenix Feature New Normal Checking OCL constraints using SMT solving Andreas Bayha 08/05/2019 01:27 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
3769 Design Space Exploration Feature New Normal Adapt scheduling constraints to take advantage of alternative routes Tiziano Munaro 01/24/2020 11:55 AM
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
3707 Design Space Exploration Feature New High Platform exploration for the Hierarchical Platform Alexander Diewald 01/24/2020 11:53 AM
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
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
(51-75/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF