Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4040 AF3 Phoenix Feature New Low CPU load constraint. Simon Barner 08/10/2020 04:56 PM
4039 AF3 Phoenix Feature New Low Bus load constraint Simon Barner 08/10/2020 04:56 PM
4036 AF3 Phoenix Support New Low Online help: improve header layout and navigation Johannes Eder 07/01/2020 12:03 PM
4001 AF3 Phoenix Change Request New Low [FMI] Redirect COE output / Hide COE output from the AF3 console Tiziano Munaro 04/16/2020 09:37 AM
3957 AF3 Phoenix Feature New Low Improve Glossary integration Andreas Bayha 03/20/2020 11:57 AM
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
3786 AF3 Phoenix Feature New Low [safety-reporting] Generation of reports regarding a modeled assurance case Carmen Carlan 08/10/2020 02:36 PM
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
3748 AF3 Phoenix Change Request New Low Improve the Parameter Table / Allocation Table documentation Simon Barner 05/11/2020 03:41 PM
3527 AF3 Phoenix Bug Feedback Low Data Dictionary: Erroneous error marker for duplicated enumeration values Florian Hölzl 05/11/2020 03:22 PM
3494 AF3 Phoenix Feature New Low [safety-interoperability] Button to export xml file of SACM-compliant safety case Carmen Carlan 07/28/2019 10:03 PM
3493 AF3 Phoenix Feature New Low [safety-interoperability] Button to import xml file of SACM-compliant safety case Carmen Carlan 07/28/2019 10:03 PM
3430 AF3 Phoenix Support New Low [documentation] Add developer documentation for af3.exploration.alg Alexander Diewald 04/16/2020 05:14 PM
3336 AF3 Phoenix Change Request New Low Document support for nested commands in CommandStackService Florian Hölzl 05/13/2019 02:10 PM
3288 AF3 Phoenix Feature New Low Update feature in AF3 Simon Barner 03/09/2020 12:04 PM
3233 Analysis Support New Low Inefficiency in checking contract against implementation 05/13/2019 02:08 PM
3158 AF3 Phoenix Feature New Low [safety-usability] Choose text size in GSN nodes Carmen Carlan 07/28/2019 10:04 PM
2659 AF3 Phoenix Feature New Low [UI] Visualization of Virtual Links Simon Barner 05/29/2019 02:18 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
4078 Design Space Exploration Bug Resolved Normal DSE Solution Validator Produces Wrong Results for Transformed Artifacts Johannes Eder 10/23/2020 02:47 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
4076 AF3 Phoenix Change Request New Normal Reintegrate the Tutorial Service Johannes Eder 10/22/2020 06:15 PM
4075 AF3 Phoenix Change Request New Normal Rework the ContextMenu- and the ActionService Johannes Eder 10/21/2020 05:01 PM
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF