Giters
virtualsatellite
/
VirtualSatellite4-FDIR
Virtual Satellite 4 - FDIR Application
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
2
Issues:
224
Forks:
1
virtualsatellite/VirtualSatellite4-FDIR Issues
[4.15.0] org.osgi.framework.BundleException: Could not resolve module: org.eclipse.equinox.simpleconfigurator
Updated
2 years ago
Fix being able to drag & drop Basic Events from the Navigator into an FT diagram
Closed
2 years ago
Fix SPSIterator not always propagating until epsilon criterion
Closed
2 years ago
Release 4.15.0
Closed
2 years ago
Connect Analysis results to requirements model
Closed
2 years ago
Update to BIRT 4.19
Closed
2 years ago
Expand FDIR Manual with a section about relationship between VirSat FDIR and VirSat CORE
Closed
2 years ago
Migrate to Eclipse 2022-03
Closed
2 years ago
Java 11 migration
Closed
2 years ago
Use new quotient after to reduce MA in DFT2MAConverter
Closed
2 years ago
Comments count
1
Generator PO experiments
Closed
2 years ago
Reliability analysis cannot be performed in VirSat ScOSA
Closed
2 years ago
Handle case of opening a diagram when a Fault is a composed property
Closed
3 years ago
Extend experimental setup to include Partial Observable cases
Closed
3 years ago
Remove inclusion of graphiti feature from model.extension.fdir.feature
Closed
3 years ago
Improve partial observation semantics and implementation
Closed
3 years ago
Implement Bisumlation class with Bisimulation computation
Closed
3 years ago
Implement Quotient Computation for Bisimulation Class
Closed
3 years ago
Release 4.13.0
Closed
3 years ago
Cycle deployment credentials due to CodeCov Security Issue
Closed
3 years ago
Fix P2 Deployment by adding necessary BIRT dependencies.
Closed
4 years ago
Report: minimum cut set
Updated
4 years ago
Switch to new GitHub Actions workflow
Closed
4 years ago
Basic event failure rate does not update
Closed
4 years ago
Symmetry Reduction for non-determinism
Closed
4 years ago
Release 4.12.1
Closed
4 years ago
Upgrade to new target platform structure
Closed
4 years ago
Report: Add detectability
Closed
4 years ago
Report: Add Availability
Closed
4 years ago
FMECA reporting bug
Closed
4 years ago
Add Requirements Concept
Closed
4 years ago
Create Repair benchmark for modularization experiments
Closed
4 years ago
Create FDIR Report Helper
Closed
4 years ago
Release 4.12.0
Closed
4 years ago
Expanding and Collapsing Fault Tree Nodes is broken
Closed
4 years ago
Extract testable logic from Expand & Collapse Feature into model level for testing
Updated
4 years ago
Graphiti Editor: SWTBot Test Case for Expanding and Collapsing Elements
Updated
4 years ago
StickyNotes in RecoveryAutomatonDiagram
Closed
4 years ago
Update generated code
Closed
4 years ago
Add usage of sticky note comments to user manual
Closed
4 years ago
Upgrade maven mojos
Closed
4 years ago
Adjust to new JFreeChart dependencies
Closed
4 years ago
Update to BIRT 4.16.0
Closed
4 years ago
Make Stiky Notes reattachable/relocatable
Closed
4 years ago
Upgrade to Eclipse 2020-06
Closed
4 years ago
Improve DFTEquivalence check performance for ordered bes
Closed
4 years ago
Introduce SEQ gate
Closed
4 years ago
Use easiest synthesier per module
Closed
4 years ago
Only generate markov automaton once per module
Closed
4 years ago
Refactor labeling knowledge from MarkovAutomaton into MarkovState
Closed
4 years ago
Previous
Next