Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
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
4082 AF3 Phoenix Change Request New Normal [UI] Implement JavaFX-based graph display Irina Muntean 11/11/2020 10:39 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
4044 AF3 Phoenix Change Request New Normal Simulation OperatorPanels to JavaFX 11/02/2020 07:12 PM
4041 AF3 Phoenix Change Request New Normal Hardware optimization pattern: only list meaningful attributes Johannes Eder 07/01/2020 01:29 PM
4023 AF3 Phoenix Change Request New Normal Add type arguments to IConverters and IValidators Alexander Diewald 05/15/2020 03:42 PM
4020 AF3 Phoenix Change Request Resolved Normal KISS View to JavaFX Johannes Eder 08/13/2020 09:33 AM
4019 AF3 Phoenix Change Request New Normal LibraryView to JavaFX Liana Soima 08/16/2020 09:48 AM
4015 AF3 Phoenix Change Request Resolved Normal SimulationViews to JavaFX Andreas Bayha 07/20/2020 11:49 AM
4014 AF3 Phoenix Change Request Resolved Normal AnnotationView to JavaFX Johannes Eder 10/21/2020 10:23 AM
4013 AF3 Phoenix Change Request New High [UI] Collection task SWT based views -> JavaFX-based views Johannes Eder 10/26/2020 09:58 AM
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
3958 AF3 Phoenix Change Request New Normal Migrate GlossaryEntry editor to FX or integrate in owerview Andreas Bayha 03/20/2020 11:49 AM
3946 AF3 Phoenix Change Request New Normal Remove unused GEF/SWT editors/views Johannes Eder 03/17/2020 02:48 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
3919 AF3 Phoenix Change Request New Normal SourceEditorBase<T> to JavaFX 05/11/2020 10:47 AM
3917 AF3 Phoenix Change Request New Normal ArchitecureParameterEditorBase<A,T> to JavaFX Alexander Diewald 05/18/2020 04:37 PM
3915 AF3 Phoenix Change Request In Progress Normal ModelListenerEditorBase<T> to JavaFX Simon Barner 06/26/2020 05:08 PM
3911 AF3 Phoenix Change Request New Normal GlossaryEntryEditorBase to JavaFX 05/11/2020 10:47 AM
3906 AF3 Phoenix Change Request New Normal [UI] Collection task to switch SWT based editors to the new JavaFX-based editors Johannes Eder 08/10/2020 02:29 PM
3901 AF3 Phoenix Change Request New Normal [LWFXEF] Change default behavior of ControllerBase:allowLink() Florian Hölzl 05/11/2020 10:47 AM
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
3877 AF3 Phoenix Change Request New Normal [UI] Move type checks and casts from LWFXEF visuals to a common base class within SystemFocus Florian Hölzl 05/11/2020 10:47 AM
3844 Design Space Exploration Change Request New Normal Indicate model modification in DSE perspective. Simon Barner 01/24/2020 12:04 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
3748 AF3 Phoenix Change Request New Low Improve the Parameter Table / Allocation Table documentation Simon Barner 05/11/2020 03:41 PM
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 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
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
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
3663 AF3 Phoenix Change Request New Normal Clean constraints in the component group 03/01/2019 02:57 PM
3638 AF3 Phoenix Change Request New Normal Improve error reporting if a transformation chain fails Florian Hölzl 04/16/2020 05:28 PM
3619 AF3 Phoenix Change Request New Normal [code refactoring] create an interface for variables to values map 09/26/2019 02:31 PM
3616 AF3 Phoenix Change Request New Normal Introduce IRootElementContainer and avoid misuse of FileProject Simon Barner 05/11/2020 10:47 AM
3607 AF3 Phoenix Change Request New Normal Review CurrentObjectiveContributionItem class in RCP Plug-in Saad bin Abid 05/11/2020 10:47 AM
3595 Design Space Exploration Change Request New Normal Create a DSML interface for Set references Alexander Diewald 04/16/2020 05:28 PM
3586 AF3 Phoenix Change Request New Normal [Property Sections] Improve the advanced type editor Johannes Eder 04/16/2020 05:18 PM
3585 AF3 Phoenix Change Request New Normal [Property Sections] Validate the syntax of complex expression or disallow direct editing Johannes Eder 04/16/2020 05:17 PM
3554 Design Space Exploration Change Request New Normal Cleanup DSML w.r.t. newly added Functions Johannes Eder 08/06/2020 09:04 PM
3551 Design Space Exploration Change Request New Normal In the formulation of a scheduling problem, replace ResourceAllocations with Tasks and Signals Johannes Eder 08/06/2020 09:02 PM
3547 Design Space Exploration Change Request New Normal Check/fix identifier names generation in Z3 Johannes Eder 08/06/2020 09:04 PM
3487 AF3 Phoenix Change Request New Normal Refresh editor when creating a behavior 05/13/2019 02:11 PM
3468 AF3 Phoenix Change Request New Normal Unify the emptyOrAlreadyExists in several aspects Saad bin Abid 05/13/2019 02:08 PM
3424 AF3 Phoenix Change Request New Normal Constraints: Refactor common interpretation of results 05/13/2019 02:08 PM
3361 Design Space Exploration Change Request In Progress Normal Scheduling synthesis does not support routing Simon Barner 05/11/2020 10:47 AM
3336 AF3 Phoenix Change Request New Low Document support for nested commands in CommandStackService Florian Hölzl 05/13/2019 02:10 PM
3315 AF3 Phoenix Change Request Resolved Normal BindingStretegy should "bind" and not just deactivate Andreas Bayha 05/13/2019 02:08 PM
3284 Design Space Exploration Change Request New Normal Convert the IDSEBackend to a non-stateful interface Alexander Diewald 01/24/2020 11:57 AM
3145 AF3 Phoenix Change Request In Progress Normal Annotation View: Performance improvements Simon Barner 05/11/2020 10:47 AM
3083 AF3 Phoenix Change Request New Normal Annotation View: Highlighting of rows and columns is sometimes counter-intuitive Simon Barner 05/11/2020 10:47 AM
2908 AF3 Phoenix Change Request In Progress Normal ComponentArchitecture should not be a IFunctionScope Florian Hölzl 05/13/2019 02:08 PM
2873 AF3 Phoenix Change Request New Normal Safety level information is a complete mess Florian Hölzl 05/13/2019 02:08 PM
2770 AF3 Phoenix Change Request New Normal [OperatorPanel] Remove type from GraphViewer Andreas Bayha 05/13/2019 02:04 PM
2673 AF3 Phoenix Change Request New Normal Add compositor constraints to ensure that at most one ExecutionUnit or TransmissionUnit is linked to a single Transceiver Simon Barner 05/11/2020 10:47 AM
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
2398 AF3 Phoenix Change Request New High Improve the export of the DataDictionary (or its subtypes) to libraries 05/13/2019 02:04 PM
2284 AF3 Phoenix Change Request Feedback Normal [Kernel] Provide generic keyboard shortcut facility Andreas Bayha 05/11/2020 11:35 AM
2234 AF3 Phoenix Change Request New Normal Refactor compositors to allow state-based implementation of canConnect() / connect() etc. Florian Hölzl 03/05/2018 11:30 AM
1957 AF3 Phoenix Change Request In Progress Normal Check all places where Auto-completion could be improved/implemented Andreas Bayha 05/13/2019 02:04 PM
4069 AF3 Phoenix Support New Normal Refresh AF3 examples for release Johannes Eder 10/29/2020 01:51 PM
4036 AF3 Phoenix Support New Low Online help: improve header layout and navigation Johannes Eder 07/01/2020 12:03 PM
3857 AF3 Phoenix Support New Normal Document the memory mapping Alexander Diewald 04/16/2020 05:14 PM
3855 AF3 Phoenix Support New Normal Extend documentation for partition architecture Simon Barner 05/11/2020 03:41 PM
3805 AF3 Phoenix Support In Progress Normal [safety-documentation] User documentation - some corrections Carmen Carlan 10/27/2020 09:19 AM
3787 Design Space Exploration Support New Normal Enable quantifier unfolding by default Tiziano Munaro 01/24/2020 12:09 PM
3767 AF3 Phoenix Support Feedback Normal Cleanup dependencies by consistently using re-export. Alexander Diewald 04/16/2020 05:14 PM
3753 AF3 Phoenix Support In Progress Normal [Documentation] Add developer documentation for safetycases Carmen Carlan 05/11/2020 10:47 AM
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
3674 AF3 Phoenix Support New Normal [MacOS - investigate Z3 library loading by rpath Johannes Eder 08/12/2020 02:07 PM
3662 AF3 Phoenix Support New Normal Timing Specification: Documentation Simon Barner 05/11/2020 03:41 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
3507 AF3 Phoenix Support In Progress Normal [documentation] Add developer documentation for af3.mode, af3.operatorpanel, af3.application Johannes Eder 02/04/2020 04:07 PM
3469 AF3 Phoenix Support New Normal Cleanup Constraint metamodel Saad bin Abid 06/03/2019 11:48 AM
3430 AF3 Phoenix Support New Low [documentation] Add developer documentation for af3.exploration.alg Alexander Diewald 04/16/2020 05:14 PM
3426 AF3 Phoenix Support New Normal All requirements are not conflicting Saad bin Abid 06/03/2019 11:50 AM
3411 AF3 Phoenix Support New Normal rethink bounds check design 05/13/2019 02:08 PM
3396 AF3 Phoenix Support New Normal [documentation] Developer Documentation Johannes Eder 05/11/2020 03:42 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
3234 AF3 Phoenix Support New Normal RequirementParameterDefinition in Mira Saad bin Abid 05/13/2019 02:08 PM
3233 Analysis Support New Low Inefficiency in checking contract against implementation 05/13/2019 02:08 PM
3226 AF3 Phoenix Support New Normal Implement a common editor class for implementing the list for relationships between non-functional and functional requirements Saad bin Abid 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
3157 AF3 Phoenix Support Feedback Normal [safety-documentation] Documentation for safety cases Saad bin Abid 06/09/2020 06:04 PM
3137 AF3 Phoenix Support New Normal objective dependence 11/07/2017 10:58 AM
3124 AF3 Phoenix Support New Normal Constraint: duplicated requirement Saad bin Abid 10/02/2019 12:19 PM
3114 AF3 Phoenix Support New Normal Statistics of the satisfied constraints per group Saad bin Abid 05/13/2019 02:09 PM
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
3078 AF3 Phoenix Support New Normal Error marker should propagate over hierarchy of the tree view Saad bin Abid 10/02/2019 12:20 PM
3077 AF3 Phoenix Support In Progress Normal Design architecture Traceable artifacts Saad bin Abid 05/13/2019 02:08 PM
(1-100/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF