Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3487 AF3 Phoenix Change Request New Normal Refresh editor when creating a behavior 05/13/2019 02:11 PM
3462 AF3 Phoenix Feature New Normal Fault Tree Analysis (FTA) for Safety and Security Plugin 05/13/2019 02:04 PM
3425 Analysis Feature New Normal Safety and Security Analysis 05/13/2019 02:04 PM
3424 AF3 Phoenix Change Request New Normal Constraints: Refactor common interpretation of results 05/13/2019 02:08 PM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
3411 AF3 Phoenix Support New Normal rethink bounds check design 05/13/2019 02:08 PM
3407 AF3 Phoenix Feature New Normal Use Z3 for non-determinism check 05/13/2019 02:08 PM
3342 AF3 Phoenix Bug New Normal UI freezes when contract constraint is enabled and guard is modified 10/07/2019 09:45 AM
3331 AF3 Phoenix Support New Normal Changes in constraint mechanism 05/13/2019 02:08 PM
3330 AF3 Phoenix Support New Normal cancelling formal verification constraints 05/13/2019 02:08 PM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3260 AF3 Phoenix Support New Normal update simple traffic light AF3 tour for OCRA contract 05/13/2019 02:08 PM
3231 Analysis Feature Feedback Normal include all subcontracts for refinement 06/03/2019 03:48 PM
3187 AF3 Phoenix Feature New Normal [OBC-SA] Code Generation 12/04/2017 01:57 AM
3186 AF3 Phoenix Feature New Normal [OBC-SA]VMIT Generation 01/26/2018 10:30 AM
3185 AF3 Phoenix Feature New Normal [OBC-SA] Create a OBC-SA Technical Architecture 12/04/2017 01:58 AM
3184 AF3 Phoenix Feature New Normal [OBC-SA]Temporal Partitioning 11/22/2017 10:37 PM
3183 AF3 Phoenix Feature New Normal [OBC-SA]Spatial Partitioning (1:1) 11/22/2017 12:41 AM
3181 AF3 Phoenix Feature Feedback Normal [OBC-SA] Code and Config Generation for PikeOS 12/04/2017 02:10 AM
3180 AF3 Phoenix Support New Normal [FV Transformation] Factorize the first block of the transformation 05/13/2019 02:08 PM
3137 AF3 Phoenix Support New Normal objective dependence 11/07/2017 10:58 AM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 AM
3118 AF3 Phoenix Feature New Normal constraints and process from building a DO-178C compliant set of requirements 01/23/2018 03:59 PM
3117 AF3 Phoenix Feature New Normal constraints and process from building a certification argument 01/23/2018 03:59 PM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
(26-50/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF