Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3543 AF3 Phoenix Feature New Normal Merge Quantitative with GSN to ADT Vivek Nigam 05/11/2020 10:47 AM
3522 AF3 Phoenix Feature New Normal Security Simulator Vivek Nigam 05/11/2020 10:47 AM
3926 AF3 Phoenix Bug New Normal [Cosimulation] Complete re-implementation of the cosimulation logic required Tiziano Munaro 10/30/2020 11:32 AM
4002 AF3 Phoenix Feature New Normal [FMI] Usability improvements Tiziano Munaro 04/20/2020 10:42 AM
3899 AF3 Phoenix Feature New Normal [UI] Introduce JavaFX-based code specification editor Tiziano Munaro 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
3787 Design Space Exploration Support New Normal Enable quantifier unfolding by default Tiziano Munaro 01/24/2020 12:09 PM
4085 AF3 Phoenix Change Request In Progress Normal Modify the exploration backend to support multi-rate schedules Tiziano Munaro 11/19/2020 07:04 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
3978 AF3 Phoenix Change Request New Normal [UI] Resolve code duplication in the link-method of link visuals Tiziano Munaro 03/27/2020 06:31 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
3712 AF3 Phoenix Change Request Feedback Normal Extend image export functionality from component architectures only to task and platform architectures Tiziano Munaro 05/11/2020 11:42 AM
3703 Design Space Exploration Change Request New Normal Enable unfolded quantification over subsets in SMT Tiziano Munaro 01/24/2020 12:04 PM
1508 AF3 Phoenix Bug New Normal Text Display Reactions does not check the guards Tatiana Chuprina 10/27/2020 04:36 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
3858 AF3 Phoenix Feature In Progress Normal DSRs integration with Simulink Tatiana Chuprina 12/09/2019 01:59 PM
4066 AF3 Phoenix Bug Resolved Normal Binary Windows (x64) product: problems to resolve dependencies of Z3 DLLs Simon Barner 11/11/2020 01:11 PM
3982 AF3 Phoenix Bug New Normal Hier. Platform: At the tile level, the elements of the upper level are shown Simon Barner 03/30/2020 08:02 PM
3831 AF3 Phoenix Bug New Normal Some model elements are not referenced by ID Simon Barner 10/27/2020 04:43 PM
3642 AF3 Phoenix Bug In Progress Normal Avoid missing and duplicated IDs Simon Barner 10/27/2020 04:42 PM
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
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
3731 Design Space Exploration Feature New Normal Support multicast message deployment and scheduling Simon Barner 09/10/2020 09:29 AM
(1-25/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF