virtualsatellite/VirtualSatellite4-FDIR-development_snapshot.zip
The previewer is not showing all the files.
virtualsatellite-VirtualSatellite4-FDIR-ca1b722
.checkstyle
317 Bytes
.codebeatignore
166 Bytes
.codebeatsettings
383 Bytes
.codecov.yml
1.0 kB
.github
ISSUE_TEMPLATE
Release.md
1.1 kB
workflows
main.yml
12.1 kB
.gitignore
113 Bytes
.mailmap
1.1 kB
.project
401 Bytes
.settings
org.eclipse.core.resources.prefs
57 Bytes
org.eclipse.mylyn.team.ui.prefs
186 Bytes
LICENSE
14.2 kB
NOTICE.md
2.3 kB
README.md
7.0 kB
about.html
1.3 kB
build.xml
13.0 kB
checkStyleSuppression.xml
456 Bytes
checkStylesDefinition.xml
5.3 kB
de.dlr.sc.virsat.fdir.branding.feature
.project
586 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
build.properties
65 Bytes
feature.properties
145 Bytes
feature.xml
1.1 kB
pom.xml
1.0 kB
de.dlr.sc.virsat.fdir.branding.ui
.checkstyle
548 Bytes
.classpath
386 Bytes
.project
1.1 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
782 Bytes
about.html
2.3 kB
about.ini
181 Bytes
build.properties
249 Bytes
plugin.xml
2.9 kB
plugin_customization.ini
89 Bytes
pom.xml
992 Bytes
resources
images
Branding
Configuration.gif
13.8 kB
VirSat_MultiRes.ico
292.9 kB
fdir128.png
4.9 kB
fdir16.png
225 Bytes
fdir32.png
455 Bytes
fdir48.png
442 Bytes
fdir64.png
1.2 kB
arrow-48.png
734 Bytes
fdir_Welcome.png
899.8 kB
splash.bmp
414.1 kB
src
de
dlr
sc
virsat
fdir
branding
ui
BrandingPlugin.java
3.8 kB
intro
IntroPart.java
7.1 kB
perspective
DefaultPerspective.java
2.4 kB
de.dlr.sc.virsat.fdir.core
.checkstyle
548 Bytes
.classpath
387 Bytes
.project
1.0 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
888 Bytes
about.html
1.3 kB
about_files
Notice.txt
237 Bytes
build.properties
151 Bytes
pom.xml
978 Bytes
src
de
dlr
sc
virsat
fdir
core
Activator.java
1.6 kB
markov
MarkovAutomaton.java
17.0 kB
MarkovState.java
3.2 kB
MarkovStateType.java
846 Bytes
MarkovTransition.java
3.4 kB
StronglyConnectedComponent.java
2.5 kB
algorithm
A2MAConverter.java
1.5 kB
AStateSpaceGenerator.java
1.6 kB
Bisimulation.java
11.1 kB
MarkovAutomatonBuildStatistics.java
2.0 kB
MarkovAutomatonBuilder.java
2.8 kB
StronglyConnectedComponentFinder.java
4.0 kB
modelchecker
IMarkovModelChecker.java
1.6 kB
MarkovModelChecker.java
12.7 kB
ModelCheckingQuery.java
1.7 kB
ModelCheckingResult.java
5.0 kB
ModelCheckingStatistics.java
1.2 kB
scheduler
IMarkovScheduler.java
1.3 kB
MarkovScheduler.java
10.3 kB
ScheduleQuery.java
1.5 kB
matrix
IMatrix.java
1.3 kB
IMatrixFactory.java
2.2 kB
MatrixFactory.java
4.3 kB
SparseMatrix.java
4.6 kB
iterator
AMatrixIterator.java
1.2 kB
BellmanIterator.java
1.2 kB
DecoratedIterator.java
1.3 kB
IDelegateIterator.java
1.3 kB
IMatrixIterator.java
1.7 kB
LinearProgramIterator.java
1.2 kB
MarkovAutomatonValueIterator.java
4.8 kB
SPSIterator.java
5.9 kB
SSAIterator.java
2.8 kB
metrics
AProbabilityCurve.java
4.0 kB
Availability.java
1.2 kB
Detectability.java
2.9 kB
FailLabelProvider.java
2.1 kB
FaultTolerance.java
1.5 kB
IBaseMetric.java
937 Bytes
IBaseMetricVisitor.java
1.8 kB
IDerivedMetric.java
1.1 kB
IDerivedMetricVisitor.java
1.8 kB
IMetric.java
3.5 kB
IQualitativeMetric.java
680 Bytes
IQuantitativeMetric.java
1.3 kB
MeanTimeToDetection.java
2.2 kB
MeanTimeToFailure.java
2.6 kB
MeanTimeToObservedFailure.java
1.5 kB
MetricsResultDeriver.java
5.0 kB
MetricsStateDeriver.java
5.2 kB
MinimumCutSet.java
2.8 kB
Reliability.java
1.2 kB
SteadyStateAvailability.java
3.0 kB
SteadyStateDetectability.java
2.5 kB
util
IStatistics.java
1.8 kB
de.dlr.sc.virsat.fdir.core.test
.checkstyle
548 Bytes
.classpath
387 Bytes
.project
1.1 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
732 Bytes
about.html
1.3 kB
build.properties
120 Bytes
pom.xml
991 Bytes
src
de
dlr
sc
virsat
fdir
core
markov
MarkovAutomatonTest.java
4.4 kB
MarkovTransitionTest.java
1.2 kB
StronglyConnectedComponentTest.java
2.1 kB
algorithm
BisimulationTest.java
21.0 kB
MarkovAutomatonBuilderTest.java
2.8 kB
StronglyConnectedComponentFinderTest.java
3.4 kB
modelchecker
MarkovModelCheckerTest.java
8.3 kB
ModelCheckingResultTest.java
1.5 kB
scheduler
MarkovSchedulerTest.java
11.9 kB
matrix
iterator
BellmanIteratorTest.java
1.5 kB
LinearProgramIteratorTest.java
1.5 kB
MarkovAutomatonValueIteratorTest.java
2.3 kB
SPSIteratorTest.java
2.4 kB
SSAIteratorTest.java
1.3 kB
metrics
MetricsResultDeriverTest.java
5.5 kB
test
AllTests.java
2.7 kB
TestResourceGetter.java
1.5 kB
de.dlr.sc.virsat.fdir.docs.feature
.project
582 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
build.properties
100 Bytes
docs
VirSat_FDIR_ReleaseNotes.txt
5.4 kB
VirSat_FDIR_User_Manual.pdf
1.2 MB
feature.properties
145 Bytes
feature.xml
704 Bytes
pom.xml
2.7 kB
src
docs
VirSat_FDIR_User_Manual.adoc
50.3 kB
images
analysis
CriticalityMatrix_Table.png
8.6 kB
faultTrees
AND.png
605 Bytes
AND_Diagram.png
1.7 kB
BasicEvent.png
675 Bytes
BasicEvent_Diagram.png
2.3 kB
Comment.png
677 Bytes
Comment_Diagram.png
3.7 kB
Comment_Sticky_Create.png
4.9 kB
Comment_Sticky_Detach.png
3.1 kB
Comment_Sticky_Rearrange.png
3.2 kB
Comment_Sticky_Reassign.png
4.4 kB
DELAY.png
634 Bytes
DELAY_Diagram.png
1.5 kB
Expand_Diagram.png
6.0 kB
FDEP.gif
886 Bytes
FDEP.png
644 Bytes
FDEP_Diagram.png
4.9 kB
Fault.png
658 Bytes
Fault_Diagram.png
1.9 kB
Galileo.png
13.3 kB
Layout_Diagram.png
15.5 kB
Layout_View_Diagram.png
32.2 kB
MONITOR.gif
881 Bytes
MONITOR.png
635 Bytes
MONITOR_Diagram.png
2.0 kB
OR.png
640 Bytes
OR_Diagram.png
2.3 kB
PAND.png
633 Bytes
PAND_Diagram.png
2.0 kB
PAND_I.png
639 Bytes
PAND_I_Diagram.png
2.0 kB
PDEP.png
654 Bytes
PDEP_Diagram.png
4.9 kB
POR.png
650 Bytes
POR_Diagram.png
2.3 kB
POR_I.png
659 Bytes
POR_I_Diagram.png
2.2 kB
Propagation.png
615 Bytes
Propagation_Diagram.png
614 Bytes
RDEP.gif
886 Bytes
RDEP.png
650 Bytes
RDEP_Diagram.png
4.9 kB
SAND.png
623 Bytes
SAND_Diagram.png
2.0 kB
SPARE.png
607 Bytes
SPARE_Diagram.png
1.8 kB
VOTE.png
632 Bytes
VOTE_Diagram.png
2.2 kB
diagramEditor.png
26.4 kB
openDiagramEditor.png
9.4 kB
recoveryAutomata
ClaimAction.png
610 Bytes
FaultEventTransition.png
633 Bytes
FaultEventTransition_Diagram.png
7.4 kB
FreeAction.png
609 Bytes
State.png
645 Bytes
State_Diagram.png
2.4 kB
TimeoutTransition.png
626 Bytes
TimeoutTransition_Diagram.png
5.0 kB
reports
AddReport.png
13.1 kB
ReportTarget.png
22.6 kB
ViewReport.png
9.8 kB
title
VirtualSatellite_Modelling_4k.jpg
645.0 kB
tutorial
Tutorial_Add_BasicEvents.png
276.9 kB
Tutorial_Add_Concept.png
282.6 kB
Tutorial_Add_ConfigurationTree.png
265.0 kB
Tutorial_Add_ElementConfiguration.png
296.3 kB
Tutorial_Add_Equation.png
264.4 kB
Tutorial_Add_FDIR_Parameters.png
525.7 kB
Tutorial_Add_Fault.png
369.5 kB
Tutorial_AutoLayout.png
499.4 kB
Tutorial_Availability_Analysis.png
294.8 kB
Tutorial_BasicEvent_Equation.png
241.9 kB
Tutorial_Create_Project.png
214.4 kB
Tutorial_FDIR_Parameters.png
376.5 kB
Tutorial_FaultTree_Modelling.png
329.6 kB
Tutorial_Open_DiagramEditor.png
254.7 kB
Tutorial_Rename_ElementConfiguration.png
367.4 kB
Tutorial_Rename_System.png
363.8 kB
Tutorial_Save_Concept.png
286.4 kB
Tutorial_Save_Fault.png
418.1 kB
Tutorial_Severity_Settings.png
254.3 kB
theme
custom-theme.yml
375 Bytes
de.dlr.sc.virsat.fdir.galileo
.antlr-generator-3.2.0-patch.jar
1.5 MB
.checkstyle
548 Bytes
.classpath
480 Bytes
.project
1.2 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
1.4 kB
about.html
1.3 kB
build.properties
634 Bytes
model
generated
Dft.ecore
3.5 kB
Dft.genmodel
3.6 kB
plugin.xml
350 Bytes
plugin.xml_gen
349 Bytes
pom.xml
984 Bytes
src
de
dlr
sc
virsat
fdir
galileo
Activator.java
933 Bytes
Dft.xtext
1.8 kB
DftRuntimeModule.xtend
1.3 kB
DftStandaloneSetup.xtend
811 Bytes
GalileoDFTParser.java
2.4 kB
GalileoDFTWriter.java
2.2 kB
GenerateDft.mwe2
1.5 kB
formatting
DftFormatter.xtend
1.4 kB
generator
DftGenerator.xtend
1.2 kB
scoping
DftScopeProvider.xtend
798 Bytes
validation
DftValidator.xtend
1.1 kB
src-gen
de
dlr
sc
virsat
fdir
galileo
AbstractDftRuntimeModule.java
8.8 kB
Dft.xtextbin
3.2 kB
DftStandaloneSetupGenerated.java
1.5 kB
dft
DftFactory.java
2.7 kB
DftPackage.java
29.6 kB
GalileoDft.java
2.6 kB
GalileoFaultTreeNode.java
6.0 kB
GalileoNodeType.java
453 Bytes
GalileoRepairAction.java
2.7 kB
Named.java
1.3 kB
Observer.java
2.0 kB
Parametrized.java
2.2 kB
impl
DftFactoryImpl.java
4.2 kB
DftPackageImpl.java
18.8 kB
GalileoDftImpl.java
7.3 kB
GalileoFaultTreeNodeImpl.java
15.0 kB
GalileoNodeTypeImpl.java
941 Bytes
GalileoRepairActionImpl.java
7.0 kB
NamedImpl.java
3.9 kB
ObserverImpl.java
5.7 kB
ParametrizedImpl.java
5.8 kB
util
DftAdapterFactory.java
7.7 kB
DftSwitch.java
8.8 kB
parser
antlr
DftAntlrTokenFileProvider.java
505 Bytes
DftParser.java
1.1 kB
internal
InternalDft.g
22.9 kB
InternalDft.tokens
691 Bytes
InternalDftLexer.java
49.7 kB
InternalDftParser.java
80.7 kB
scoping
AbstractDftScopeProvider.java
240 Bytes
serializer
DftSemanticSequencer.java
5.6 kB
DftSyntacticSequencer.java
2.5 kB
services
DftGrammarAccess.java
33.1 kB
validation
AbstractDftValidator.java
546 Bytes
xtend-gen
de
dlr
sc
virsat
fdir
galileo
.gitignore
48 Bytes
DftRuntimeModule.java
1.3 kB
DftStandaloneSetup.java
696 Bytes
formatting
.gitignore
19 Bytes
DftFormatter.java
1.8 kB
generator
.gitignore
19 Bytes
DftGenerator.java
992 Bytes
scoping
.gitignore
23 Bytes
DftScopeProvider.java
675 Bytes
validation
.gitignore
19 Bytes
DftValidator.java
639 Bytes
de.dlr.sc.virsat.fdir.galileo.feature
.checkstyle
548 Bytes
.project
585 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
build.properties
65 Bytes
feature.properties
145 Bytes
feature.xml
2.4 kB
pom.xml
1.0 kB
de.dlr.sc.virsat.fdir.galileo.ide
.checkstyle
548 Bytes
.classpath
480 Bytes
.project
1.2 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
703 Bytes
about.html
1.3 kB
build.properties
166 Bytes
pom.xml
990 Bytes
src
.gitkeep
0 Bytes
de
dlr
sc
virsat
fdir
galileo
ide
DftIdeModule.xtend
657 Bytes
DftIdeSetup.xtend
986 Bytes
src-gen
META-INF
services
org.eclipse.xtext.ISetup
47 Bytes
de
dlr
sc
virsat
fdir
galileo
ide
AbstractDftIdeModule.java
2.6 kB
contentassist
antlr
DftParser.java
6.8 kB
PartialDftContentAssistParser.java
1.1 kB
internal
InternalDft.g
46.3 kB
InternalDft.tokens
691 Bytes
InternalDftLexer.java
49.7 kB
InternalDftParser.java
197.7 kB
xtend-gen
.empty-xtend-gen
0 Bytes
de
dlr
sc
virsat
fdir
galileo
ide
.gitignore
37 Bytes
DftIdeModule.java
536 Bytes
DftIdeSetup.java
1.0 kB
de.dlr.sc.virsat.fdir.galileo.tests
.checkstyle
548 Bytes
.classpath
480 Bytes
.project
1.2 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
1.0 kB
about.html
1.3 kB
build.properties
168 Bytes
pom.xml
999 Bytes
src
de
dlr
sc
virsat
fdir
galileo
GalileoDFTWriterTest.java
1.8 kB
tests
AllTests.java
1.2 kB
DftParsingTest.xtend
1.5 kB
src-gen
de
dlr
sc
virsat
fdir
galileo
tests
DftInjectorProvider.java
2.0 kB
xtend-gen
de
dlr
sc
virsat
fdir
galileo
tests
.gitignore
21 Bytes
DftParsingTest.java
1.7 kB
de.dlr.sc.virsat.fdir.galileo.ui
.checkstyle
548 Bytes
.classpath
480 Bytes
.project
1.2 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
1.2 kB
about.html
1.3 kB
build.properties
197 Bytes
plugin.xml
16.6 kB
plugin.xml_gen
17.1 kB
pom.xml
980 Bytes
src
de
dlr
sc
virsat
fdir
galileo
ui
DftUiModule.xtend
774 Bytes
contentassist
DftProposalProvider.xtend
773 Bytes
labeling
DftDescriptionLabelProvider.xtend
1.1 kB
DftLabelProvider.xtend
1.2 kB
outline
DftOutlineTreeProvider.xtend
849 Bytes
quickfix
DftQuickfixProvider.xtend
1.2 kB
src-gen
de
dlr
sc
virsat
fdir
galileo
ui
AbstractDftUiModule.java
14.6 kB
DftExecutableExtensionFactory.java
905 Bytes
contentassist
AbstractDftProposalProvider.java
7.5 kB
internal
GalileoActivator.java
3.0 kB
xtend-gen
de
dlr
sc
virsat
fdir
galileo
ui
.gitignore
18 Bytes
DftUiModule.java
784 Bytes
contentassist
.gitignore
26 Bytes
DftProposalProvider.java
652 Bytes
labeling
.gitignore
57 Bytes
DftDescriptionLabelProvider.java
759 Bytes
DftLabelProvider.java
917 Bytes
outline
.gitignore
29 Bytes
DftOutlineTreeProvider.java
730 Bytes
quickfix
.gitignore
26 Bytes
DftQuickfixProvider.java
696 Bytes
de.dlr.sc.virsat.fdir.license.feature
.project
585 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
build.properties
131 Bytes
epl-2.0.htm
17.4 kB
feature.properties
8.5 kB
feature.xml
545 Bytes
license.html
9.8 kB
pom.xml
1.0 kB
de.dlr.sc.virsat.fdir.p2updatesite
.project
414 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
about.html
1.3 kB
category.xml
832 Bytes
pom.xml
2.4 kB
de.dlr.sc.virsat.fdir.product
.project
409 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
about.html
1.3 kB
plugin_customization.ini
91 Bytes
pom.xml
3.5 kB
resources
launcherIcons
DLR16_32.bmp
1.2 kB
DLR16_8.bmp
894 Bytes
DLR256_32.bmp
262.3 kB
DLR32_32.bmp
4.2 kB
DLR32_8.bmp
1.9 kB
DLR48_32.bmp
9.4 kB
DLR48_8.bmp
3.3 kB
DLR_Multi_Res.ico
292.9 kB
virsat_fdir.product
9.4 kB
de.dlr.sc.virsat.fdir.storm
.checkstyle
548 Bytes
.classpath
386 Bytes
.project
1.0 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
723 Bytes
about.html
1.3 kB
build.properties
122 Bytes
pom.xml
979 Bytes
src
de
dlr
sc
virsat
fdir
storm
docker
DockerHelper.java
6.2 kB
files
ExplicitDRNFileWriter.java
4.8 kB
ExplicitPropertiesWriter.java
2.7 kB
IExplicitFileWriter.java
869 Bytes
IFileProvider.java
850 Bytes
InstanceFileGenerator.java
2.9 kB
runner
IStormProgram.java
2.1 kB
IStormRunner.java
1.1 kB
Storm.java
5.0 kB
StormDFT.java
5.1 kB
StormExecutionEnvironment.java
689 Bytes
StormModelChecker.java
4.3 kB
StormRunner.java
8.2 kB
StormRunnerFactory.java
1.1 kB
StormScheduler.java
2.9 kB
de.dlr.sc.virsat.fdir.storm.feature
.project
583 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
build.properties
65 Bytes
feature.properties
143 Bytes
feature.xml
7.9 kB
pom.xml
1.0 kB
de.dlr.sc.virsat.fdir.storm.test
.checkstyle
548 Bytes
.classpath
386 Bytes
.project
1.1 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
638 Bytes
about.html
1.3 kB
build.properties
120 Bytes
pom.xml
994 Bytes
resources
writeTest.drn
199 Bytes
writeTest.prop
77 Bytes
src
de
dlr
sc
virsat
fdir
storm
docker
DockerHelperTest.java
1.5 kB
files
ExplicitDRNFileWriterTest.java
2.5 kB
ExplicitPropFileWriterTest.java
2.1 kB
InstanceFileGeneratorTest.java
1.9 kB
runner
StormDFTTest.java
1.8 kB
StormModelCheckerTest.java
7.0 kB
StormRunnerFactoryTest.java
1.0 kB
StormRunnerTest.java
2.3 kB
StormSchedulerTest.java
2.5 kB
StormTest.java
2.4 kB
test
AllTests.java
2.0 kB
de.dlr.sc.virsat.fdir.swtbot.test
.checkstyle
563 Bytes
.classpath
386 Bytes
.project
1.0 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.jdt.core.prefs
361 Bytes
META-INF
MANIFEST.MF
848 Bytes
about.html
1.4 kB
build.properties
114 Bytes
pom.xml
2.0 kB
src
de
dlr
sc
virsat
fdir
swtbot
test
GraphitiEditorTestCase.java
6.1 kB
ProjectUiAllTests.java
778 Bytes
de.dlr.sc.virsat.fdir.target
.classpath
326 Bytes
.gitignore
28 Bytes
.project
936 Bytes
.settings
de.dlr.sc.overtarget.language.Overtarget.prefs
613 Bytes
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
375 Bytes
about.html
1.3 kB
build.properties
98 Bytes
launch
VirSat FDIR Update Target.launch
1.3 kB
pom.xml
3.0 kB
tmodel-src
fdir_dependencies.tmodel
734 Bytes
virsat_fdir_development.tmodel
349 Bytes
virsat_fdir_integration.tmodel
356 Bytes
virsat_fdir_release.tmodel
2.2 kB
virsat_fdir_development.target
10.0 kB
virsat_fdir_integration.target
9.9 kB
virsat_fdir_release.target
9.3 kB
de.dlr.sc.virsat.fdir.test
.checkstyle
548 Bytes
.classpath
386 Bytes
.project
1.0 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
org.eclipse.pde.prefs
1.2 kB
META-INF
MANIFEST.MF
755 Bytes
about.html
1.3 kB
build.properties
120 Bytes
pom.xml
940 Bytes
src
de
dlr
sc
virsat
fdir
test
Activator.java
1.3 kB
ProjectAllTests.java
1.0 kB
de.dlr.sc.virsat.fdir.test.feature
.project
582 Bytes
.settings
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
build.properties
65 Bytes
feature.properties
143 Bytes
feature.xml
1.8 kB
pom.xml
999 Bytes
de.dlr.sc.virsat.model.extension.fdir.experiments
.checkstyle
548 Bytes
.classpath
386 Bytes
.project
1.1 kB
.settings
edu.umd.cs.findbugs.core.prefs
8.1 kB
org.eclipse.core.resources.prefs
55 Bytes
org.eclipse.jdt.core.prefs
359 Bytes
org.eclipse.m2e.core.prefs
88 Bytes
org.eclipse.mylyn.team.ui.prefs
184 Bytes
META-INF
MANIFEST.MF
728 Bytes
about.html
1.3 kB
build.properties
91 Bytes
resources
aiaa
2017
memory2.dft
227 Bytes
obsMemory2.dft
254 Bytes
obsSwitch2AndRedundancy.dft
307 Bytes
switch2AndRedundancy.dft
285 Bytes
2018
memory2WithFDEP.dft
358 Bytes
obsMemory2WithFDEP.dft
381 Bytes
ftscs
cm1.dft
731 Bytes
cm2.dft
992 Bytes
cm_1_1_2_sp.dft
651 Bytes
cm_simple.dft
492 Bytes
hcas.dft
578 Bytes
hcas_M1o3_PMPP.dft
1.2 kB
hecs_1_1_1_np.dft
726 Bytes
hecs_1_1_2_up.dft
926 Bytes
obsCm1.dft
727 Bytes
results
ftscs
mcs
composedRules.dot
23.0 kB
finalStateRule.dot
23.0 kB
original.dot
23.3 kB
orthogonalRule.dot
23.0 kB
traceEquivalenceRule.dot
3.0 kB
memory2WithNBackups
10_backups.dot
14.6 kB
11_backups.dot
14.6 kB
12_backups.dot
18.2 kB
13_backups.dot
24.9 kB
1_backups.dot
175 Bytes
2_backups.dot
457 Bytes
3_backups.dot
880 Bytes
4_backups.dot
1.6 kB
5_backups.dot
2.6 kB
6_backups.dot
3.8 kB
7_backups.dot
5.4 kB
8_backups.dot
7.2 kB
9_backups.dot
10.1 kB
tacas
2021
experimentStatisticsWithModularizer-fault-tree.txt
11.6 kB
experimentStatisticsWithModularizer-ma-builder.txt
3.8 kB
experimentStatisticsWithModularizer-ra-minimizer.txt
3.8 kB
experimentStatisticsWithModularizer-repair-fault-tree.txt
12.5 kB
experimentStatisticsWithModularizer-repair-ma-builder.txt
5.0 kB
experimentStatisticsWithModularizer-repair-ra-minimizer.txt
4.8 kB
experimentStatisticsWithModularizer-repair-summary.txt
46 Bytes
experimentStatisticsWithModularizer-repair-synthesizer.txt
6.4 kB
experimentStatisticsWithModularizer-summary.txt
47 Bytes
experimentStatisticsWithModularizer-synthesizer.txt
5.0 kB
experimentStatisticsWithoutModularizer-fault-tree.txt
11.6 kB
experimentStatisticsWithoutModularizer-ma-builder.txt
4.3 kB
experimentStatisticsWithoutModularizer-ra-minimizer.txt
4.3 kB
experimentStatisticsWithoutModularizer-repair-fault-tree.txt
12.5 kB
experimentStatisticsWithoutModularizer-repair-ma-builder.txt
5.4 kB
experimentStatisticsWithoutModularizer-repair-ra-minimizer.txt
5.4 kB
experimentStatisticsWithoutModularizer-repair-summary.txt
46 Bytes
experimentStatisticsWithoutModularizer-repair-synthesizer.txt
6.9 kB
experimentStatisticsWithoutModularizer-summary.txt
49 Bytes
experimentStatisticsWithoutModularizer-synthesizer.txt
5.8 kB
scp
cm1Nested.dft
928 Bytes
obsCm1Nested.dft
928 Bytes
tacas
2021
ahrs
AHRS-1.dft
341 Bytes
AHRS-2.dft
457 Bytes
ahrs-repair
AHRS-1-repair.dft
420 Bytes
AHRS-2-repair.dft
569 Bytes
cas
CAS.dft
475 Bytes
DCAS.dft
559 Bytes
cas-repair
CAS-repair.dft
583 Bytes
DCAS-repair.dft
699 Bytes
cm
cm_1_1_10_dp_x.dft
2.9 kB
cm_1_1_10_sp_x.dft
2.8 kB
cm_1_1_11_dp_x.dft
3.1 kB
cm_1_1_11_sp_x.dft
3.1 kB
cm_1_1_12_dp_x.dft
3.4 kB
cm_1_1_12_sp_x.dft
3.4 kB
cm_1_1_13_sp_x.dft
3.7 kB
cm_1_1_14_sp_x.dft
4.0 kB
cm-repair
cm_1_1_10_dp_x-repair.dft
3.4 kB
cm_1_1_10_sp_x-repair.dft
3.4 kB
cm_1_1_11_dp_x-repair.dft
3.8 kB
cm_1_1_11_sp_x-repair.dft
3.7 kB
cm_1_1_12_dp_x-repair.dft
4.1 kB
cm_1_1_12_sp_x-repair.dft
4.1 kB
cm_1_1_13_sp_x-repair.dft
4.4 kB
cm_1_1_14_sp_x-repair.dft
4.7 kB
cm_1_1_2_dp_x-repair.dft
850 Bytes
cm_1_1_2_sp_x-repair.dft
783 Bytes
cm_1_1_3_dp_x-repair.dft
1.1 kB
cm_1_1_3_sp_x-repair.dft
1.1 kB
cm_1_1_4_dp_x-repair.dft
1.5 kB
cm_1_1_4_sp_x-repair.dft
1.4 kB
cm_1_1_5_dp_x-repair.dft
1.8 kB
cm_1_1_5_sp_x-repair.dft
1.7 kB
cm_1_1_6_dp_x-repair.dft
2.1 kB
cm_1_1_6_sp_x-repair.dft
2.1 kB
cm_1_1_7_dp_x-repair.dft
2.4 kB
cm_1_1_7_sp_x-repair.dft
2.4 kB
cm_1_1_8_dp_x-repair.dft
2.8 kB
cm_1_1_8_sp_x-repair.dft
2.7 kB
cm_1_1_9_dp_x-repair.dft
3.1 kB
cm_1_1_9_sp_x-repair.dft
3.0 kB
cm_2_1_2_dp_x-repair.dft
1.7 kB
cm_2_1_2_sp_x-repair.dft
1.6 kB
cm_2_1_3_dp_x-repair.dft
2.3 kB
cm_2_1_3_sp_x-repair.dft
2.2 kB
cm_2_1_4_dp_x-repair.dft
3.0 kB
cm_2_1_4_sp_x-repair.dft
2.9 kB
cm_2_2_2_dp_x-repair.dft
1.7 kB
cm_2_2_2_sp_x-repair.dft
1.6 kB
cm_2_2_3_dp_x-repair.dft
2.3 kB
cm_2_2_3_sp_x-repair.dft
2.2 kB
cm_2_2_4_dp_x-repair.dft
3.0 kB
cm_2_2_4_sp_x-repair.dft
2.9 kB
cm_3_1_2_dp_x-repair.dft
2.6 kB
cm_3_1_2_sp_x-repair.dft
2.4 kB
cm_3_1_3_dp_x-repair.dft
3.5 kB
cm_3_1_3_sp_x-repair.dft
3.3 kB
cm_3_1_4_dp_x-repair.dft
4.5 kB
cm_3_1_4_sp_x-repair.dft
4.3 kB
cm_3_2_2_dp_x-repair.dft
2.6 kB
cm_3_2_2_sp_x-repair.dft
2.4 kB
cm_3_2_3_dp_x-repair.dft
3.5 kB
cm_3_2_3_sp_x-repair.dft
3.3 kB
cm_3_2_4_dp_x-repair.dft
4.5 kB
cm_3_2_4_sp_x-repair.dft
4.3 kB
cm_3_3_2_dp_x-repair.dft
2.6 kB
cm_3_3_2_sp_x-repair.dft
2.4 kB
cm_3_3_3_dp_x-repair.dft
3.5 kB
cm_3_3_3_sp_x-repair.dft
3.3 kB
cm_3_3_4_dp_x-repair.dft
4.5 kB
cm_3_3_4_sp_x-repair.dft
4.3 kB