Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4076 AF3 Phoenix Change Request New Normal Reintegrate the Tutorial Service Johannes Eder 10/22/2020 06:15 PM
4077 Design Space Exploration Bug New Normal Z3 solver produces contradicting solution states with the Java API and the smtlib interface Johannes Eder 10/22/2020 11:28 AM
4069 AF3 Phoenix Support New Normal Refresh AF3 examples for release Johannes Eder 10/21/2020 05:32 PM
4013 AF3 Phoenix Change Request New High [UI] Collection task SWT based views -> JavaFX-based views Johannes Eder 10/21/2020 05:01 PM
4075 AF3 Phoenix Change Request New Normal Rework the ContextMenu- and the ActionService Johannes Eder 10/21/2020 05:01 PM
4016 AF3 Phoenix Change Request New Normal ScheduleView to JavaFX Johannes Eder 10/21/2020 12:14 PM
4066 AF3 Phoenix Bug New Normal Binary Windows (x64) product: problems to resolve dependencies of Z3 DLLs Johannes Eder 10/05/2020 11:52 AM
4065 AF3 Phoenix Feature New Normal Creating a No Migration Constraint - RISE Saad bin Abid 10/01/2020 04:54 PM
4050 AF3 Phoenix Feature New High Reconfiguration: Prediction metamodel Saad bin Abid 09/23/2020 04:21 PM
3784 AF3 Phoenix Feature New Normal [safety-creation] Creating and manipulating safety cases Carmen Carlan 09/12/2020 10:02 AM
4037 AF3 Phoenix Bug New Normal Memory Utilization Pattern erroneously uses task RAM instead of Flash requirements Johannes Eder 09/11/2020 06:15 PM
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 PM
3731 Design Space Exploration Feature New Normal Support multicast message deployment and scheduling Simon Barner 09/10/2020 09:29 AM
3805 AF3 Phoenix Support New Normal [safety-documentation] User documentation - some corrections Carmen Carlan 08/26/2020 07:51 AM
3434 Design Space Exploration Feature New High [JavaFX] Migration of the DSE Perspective to JavaFX Alexander Diewald 08/24/2020 02:30 PM
4019 AF3 Phoenix Change Request New Normal LibraryView to JavaFX Liana Soima 08/16/2020 09:48 AM
4055 AF3 Phoenix Feature New Normal [safety-use-case] Create safety case for ADAS in Rovers Liana Soima 08/13/2020 04:40 AM
3979 AF3 Phoenix Feature New Normal [safety-maintenance] Automatic set using listeners Liana Soima 08/13/2020 04:35 AM
3495 AF3 Phoenix Feature New Normal [safety-creation] SACM compliance Carmen Carlan 08/13/2020 04:33 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
3674 AF3 Phoenix Support New Normal [MacOS - investigate Z3 library loading by rpath Johannes Eder 08/12/2020 02:07 PM
3450 Design Space Exploration Feature New High [JavaFX] Migrate the visualization view Alexander Diewald 08/12/2020 02:06 PM
4039 AF3 Phoenix Feature New Low Bus load constraint Simon Barner 08/10/2020 04:56 PM
4040 AF3 Phoenix Feature New Low CPU load constraint. Simon Barner 08/10/2020 04:56 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
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF