Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3759 AF3 Phoenix Bug Feedback Normal Nested structures in transformation 10/02/2019 09:00 AM
3723 AF3 Phoenix Bug New Normal Using Variables from Sub-componnets for framing Temporal Properties gives error 09/26/2019 02:16 PM
3637 AF3 Phoenix Bug New Normal [Expression] Exception when running JUnit tests 10/07/2019 09:43 AM
3597 AF3 Phoenix Bug New Normal STL OCRA contract verification not working on Windows 10/07/2019 09:44 AM
3497 AF3 Phoenix Bug Feedback Normal FV does not work when array index is a variable 10/02/2019 09:00 AM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
3342 AF3 Phoenix Bug New Normal UI freezes when contract constraint is enabled and guard is modified 10/07/2019 09:45 AM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 AM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
3072 AF3 Phoenix Bug New Normal Endless loop when OCRA is not installed 10/07/2019 09:46 AM
2864 AF3 Phoenix Bug In Progress Normal [Constraint]bounds constraint failure error message 10/07/2019 09:47 AM
3724 AF3 Phoenix Feature New Normal Unable to use SAT/SMT features of NuXMV 09/26/2019 02:03 PM
3609 AF3 Phoenix Feature New Normal Extend MCDC analysis to support structures 09/26/2019 02:31 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
3407 AF3 Phoenix Feature New Normal Use Z3 for non-determinism check 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
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
3100 AF3 Phoenix Feature In Progress Normal warnings for the constraint system 03/07/2018 03:04 PM
3092 AF3 Phoenix Feature In Progress Normal fine grained of calculation of percentage of completion of objective 10/24/2017 04:17 PM
3073 AF3 Phoenix Feature New Normal Nice error when OCRA is missing 05/13/2019 02:08 PM
3057 AF3 Phoenix Feature New Normal Constraint for interface of FMU components 05/13/2019 02:08 PM
3039 AF3 Phoenix Feature In Progress Normal process enactment 10/27/2017 11:05 AM
3024 AF3 Phoenix Feature New Normal [Constraint] port bound 10/08/2019 09:37 AM
3022 Analysis Feature New Normal Analysis Collection issue 10/02/2019 09:01 AM
2861 AF3 Phoenix Feature New Normal [Constraints] Take functions into account 10/07/2019 09:46 AM
2857 AF3 Phoenix Feature New Normal "Go to definition" Context menu 05/13/2019 02:04 PM
2852 AF3 Phoenix Feature New Normal [OBC-SA] All Issues 11/21/2017 12:50 AM
2850 AF3 Phoenix Feature New Normal [OBC-SA] Einbindung von externen C-Dateien 02/20/2017 02:15 PM
2849 AF3 Phoenix Feature New Normal [OBC-SA] Middleware API File 02/20/2017 02:15 PM
2803 AF3 Phoenix Feature New Normal [FMI] Support Visual Studio for FMI export 05/13/2019 02:09 PM
2703 AF3 Phoenix Feature New Normal [constraints] onActivate handler 05/13/2019 02:09 PM
2672 AF3 Phoenix Feature New Normal [Conti] DSEProject 08/09/2016 05:00 PM
2620 AF3 Phoenix Feature In Progress Normal Constraint-based development process 05/13/2019 02:04 PM
2306 AF3 Phoenix Feature New Normal Safe Plugin Integration 01/26/2018 11:22 AM
2145 AF3 Phoenix Feature New Normal Allow C files as a specification 05/13/2019 02:09 PM
2128 AF3 Phoenix Feature New Normal [Analyses/Simulation] Looping simulations 05/13/2019 02:09 PM
1762 AF3 Phoenix Feature New Normal Model checking clean components of a not-clean model 05/13/2019 02:09 PM
3647 AF3 Phoenix Support New Normal refactor the classes for the transformation to flatten structures 09/26/2019 02:30 PM
3509 AF3 Phoenix Support New Normal rework OCRA refinement 05/13/2019 02:10 PM
3411 AF3 Phoenix Support New Normal rethink bounds check design 05/13/2019 02:08 PM
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
3260 AF3 Phoenix Support New Normal update simple traffic light AF3 tour for OCRA contract 05/13/2019 02:08 PM
3233 Analysis Support New Low Inefficiency in checking contract against implementation 05/13/2019 02:08 PM
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
3106 AF3 Phoenix Support New Normal refactor analysis facade 05/13/2019 02:08 PM
3099 AF3 Phoenix Support New Normal bound reached on model checking 05/13/2019 02:08 PM
3089 AF3 Phoenix Support New Normal refactor NuSMVRunner 05/13/2019 02:08 PM
2736 AF3 Phoenix Support New Normal Timeout is observed while running NuXMV 05/13/2019 02:09 PM
2657 AF3 Phoenix Support New Normal [Analysis] fake enum values in nusmv enums 05/13/2019 02:09 PM
2078 AF3 Phoenix Support New Normal DSE-related documentation 05/13/2019 02:10 PM
1595 AF3 Phoenix Support New Normal JUnit Tests for SMT-based Deployment 05/13/2019 02:04 PM
4044 AF3 Phoenix Change Request New Normal Simulation OperatorPanels to JavaFX 11/02/2020 07:12 PM
3919 AF3 Phoenix Change Request New Normal SourceEditorBase<T> to JavaFX 05/11/2020 10:47 AM
3911 AF3 Phoenix Change Request New Normal GlossaryEntryEditorBase to JavaFX 05/11/2020 10:47 AM
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 PM
3663 AF3 Phoenix Change Request New Normal Clean constraints in the component group 03/01/2019 02:57 PM
3619 AF3 Phoenix Change Request New Normal [code refactoring] create an interface for variables to values map 09/26/2019 02:31 PM
3487 AF3 Phoenix Change Request New Normal Refresh editor when creating a behavior 05/13/2019 02:11 PM
3424 AF3 Phoenix Change Request New Normal Constraints: Refactor common interpretation of results 05/13/2019 02:08 PM
2398 AF3 Phoenix Change Request New High Improve the export of the DataDictionary (or its subtypes) to libraries 05/13/2019 02:04 PM
4067 AF3 Phoenix Bug Resolved Normal NPE in few cases if the CLI DSE is used Alexander Diewald 10/12/2020 10:24 AM
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 PM
3708 Design Space Exploration Feature In Progress High Exploration of ExecutionUnit numbers as a variance-based exploration Alexander Diewald 01/24/2020 11:54 AM
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
3650 AF3 Phoenix Feature New Normal [New DSE project - #3482] The WCET table of TaskArchitectures is not available for DSE-generated Task->Partition->ExecutionUnit allocations Alexander Diewald 04/16/2020 04:57 PM
3453 Design Space Exploration Feature New High [JavaFX] Migrate the table visualization Alexander Diewald 04/16/2020 11:22 AM
3450 Design Space Exploration Feature New High [JavaFX] Migrate the visualization view Alexander Diewald 08/12/2020 02:06 PM
3434 Design Space Exploration Feature New High [JavaFX] Migration of the DSE Perspective to JavaFX Alexander Diewald 08/24/2020 02:30 PM
3417 AF3 Phoenix Feature New Normal AMALTHEA / APP4MC Importer Alexander Diewald 04/16/2020 04:57 PM
3258 Design Space Exploration Feature New High Hardware Platform Exploration Alexander Diewald 01/15/2020 04:26 PM
2935 Design Space Exploration Feature In Progress Normal MOEA-DSE Migration Alexander Diewald 01/15/2020 04:25 PM
2343 AF3 Phoenix Feature New Normal Handle complex copy&paste operations in the tooling plugins Alexander Diewald 12/14/2017 10:50 AM
3857 AF3 Phoenix Support New Normal Document the memory mapping Alexander Diewald 04/16/2020 05:14 PM
3767 AF3 Phoenix Support Feedback Normal Cleanup dependencies by consistently using re-export. Alexander Diewald 04/16/2020 05:14 PM
3697 Design Space Exploration Support New Normal Move utility classes from exploration.smt.modeltransformation to exploration.smt.util Alexander Diewald 01/24/2020 12:11 PM
3430 AF3 Phoenix Support New Low [documentation] Add developer documentation for af3.exploration.alg Alexander Diewald 04/16/2020 05:14 PM
4023 AF3 Phoenix Change Request New Normal Add type arguments to IConverters and IValidators Alexander Diewald 05/15/2020 03:42 PM
3944 AF3 Phoenix Change Request New Normal Define the safety standard by a property of the FileProject Alexander Diewald 03/13/2020 05:25 PM
3922 AF3 Phoenix Change Request In Progress Normal ModelNavigatorView to JavaFX Alexander Diewald 10/06/2020 02:19 PM
3917 AF3 Phoenix Change Request New Normal ArchitecureParameterEditorBase<A,T> to JavaFX Alexander Diewald 05/18/2020 04:37 PM
3897 AF3 Phoenix Change Request New Normal Generalize base visuals for directed Connectors Alexander Diewald 04/16/2020 05:32 PM
3896 AF3 Phoenix Change Request New Normal Support directed connectors in the kernel Alexander Diewald 04/16/2020 05:32 PM
3722 AF3 Phoenix Change Request New Normal Overwrite the getIncoming/getOutgoing EOps of PlatformConnectorUnits Alexander Diewald 04/16/2020 05:26 PM
3720 AF3 Phoenix Change Request New Normal The IConnectionCompositorService should return the created connection Alexander Diewald 04/16/2020 05:27 PM
3693 Design Space Exploration Change Request In Progress Normal Improve the Step/Target presentation of the DSE Navigator Alexander Diewald 02/04/2020 01:24 PM
(1-100/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF