From c6663ba74a66e34ae008f2e264793c9e86a5d5a8 Mon Sep 17 00:00:00 2001 From: Mavo Date: Mon, 8 Feb 2016 17:11:47 +0100 Subject: [PATCH] Added FDep bechmarks Former-commit-id: 885b7a9531aa0146b52708ff0ffb0067486e9011 --- examples/dft/cardiac.dft | 21 ++++++ examples/dft/cas.dft | 24 ++++++ examples/dft/deathegg.dft | 16 ++++ examples/dft/fdep.dft | 8 ++ examples/dft/ftpp_complex.dft | 129 +++++++++++++++++++++++++++++++++ examples/dft/ftpp_large.dft | 63 ++++++++++++++++ examples/dft/ftpp_standard.dft | 53 ++++++++++++++ 7 files changed, 314 insertions(+) create mode 100644 examples/dft/cardiac.dft create mode 100644 examples/dft/cas.dft create mode 100644 examples/dft/deathegg.dft create mode 100644 examples/dft/fdep.dft create mode 100644 examples/dft/ftpp_complex.dft create mode 100644 examples/dft/ftpp_large.dft create mode 100644 examples/dft/ftpp_standard.dft diff --git a/examples/dft/cardiac.dft b/examples/dft/cardiac.dft new file mode 100644 index 000000000..505f002b1 --- /dev/null +++ b/examples/dft/cardiac.dft @@ -0,0 +1,21 @@ +toplevel "SYSTEM"; +"SYSTEM" or "FDEP" "CPU" "MOTOR" "PUMPS"; +"FDEP" fdep "TRIGGER" "P" "B"; +"TRIGGER" or "CS" "SS"; +"CPU" wsp "P" "B"; +"MOTOR" or "SWITCH" "MOTORS"; +"SWITCH" pand "MS" "MA"; +"MOTORS" csp "MA" "MB"; +"PUMPS" and "PUMP1" "PUMP2"; +"PUMP1" csp "PA" "PS"; +"PUMP2" csp "PB" "PS"; +"P" lambda=5.0e-5 dorm=0; +"B" lambda=5.0e-5 dorm=0.5; +"CS" lambda=2.0e-5 dorm=0; +"SS" lambda=2.0e-5 dorm=0; +"MS" lambda=1.0e-6 dorm=0; +"MA" lambda=1.0e-4 dorm=0; +"MB" lambda=1.0e-4 dorm=0; +"PA" lambda=1.0e-4 dorm=0; +"PB" lambda=1.0e-4 dorm=0; +"PS" lambda=1.0e-4 dorm=0; diff --git a/examples/dft/cas.dft b/examples/dft/cas.dft new file mode 100644 index 000000000..812a3f30a --- /dev/null +++ b/examples/dft/cas.dft @@ -0,0 +1,24 @@ +toplevel "System"; +"System" or "CPUfdep" "CPUunit" "Motorunit" "Pumpunit"; + +"CPUfdep" fdep "trigger" "P" "B"; +"trigger" or "CS" "SS"; +"CS" lambda=0.2 dorm=0; +"SS" lambda=0.2 dorm=0; +"CPUunit" wsp "P" "B"; +"P" lambda=0.5 dorm=0; +"B" lambda=0.5 dorm=0.5; + +"Motorunit" or "MP" "Motors"; +"MP" pand "MS" "MA"; +"Motors" csp "MA" "MB"; +"MS" lambda=0.01 dorm=0; +"MA" lambda=1 dorm=0; +"MB" lambda=1 dorm=0; + +"Pumpunit" and "PumpA" "PumpB"; +"PumpA" csp "PA" "PS"; +"PumpB" csp "PB" "PS"; +"PA" lambda=1 dorm=0; +"PB" lambda=1 dorm=0; +"PS" lambda=1 dorm=0; diff --git a/examples/dft/deathegg.dft b/examples/dft/deathegg.dft new file mode 100644 index 000000000..618684c4e --- /dev/null +++ b/examples/dft/deathegg.dft @@ -0,0 +1,16 @@ +toplevel "DeathEgg"; +"DeathEgg" or "DeathEggProxy" "DeathEggServer" "CampusPowerDependency" "ProxyPowerDependency"; +"DeathEggServer" or "CampusNET" "DES_Disks"; +"DES_Disks" and "DES_Disks_RAID1" "DES_Disks_RAID2"; +"DES_Disks_RAID1" and "DES_Disk_1" "DES_Disk_2"; +"DES_Disks_RAID2" and "DES_Disk_3" "DES_Disk_4"; +"DeathEggProxy" lambda=0.01 dorm=0; +"DES_Disk_1" lambda=0.01 dorm=0; +"DES_Disk_2" lambda=0.01 dorm=0; +"DES_Disk_3" lambda=0.01 dorm=0; +"DES_Disk_4" lambda=0.01 dorm=0; +"CampusPowerDependency" fdep "CampusPower" "DeathEggServer"; +"ProxyPowerDependency" fdep "ProxyPower" "DeathEggProxy"; +"CampusPower" lambda=0.01 dorm=0; +"CampusNET" lambda=0.01 dorm=0; +"ProxyPower" lambda=0.01 dorm=0; \ No newline at end of file diff --git a/examples/dft/fdep.dft b/examples/dft/fdep.dft new file mode 100644 index 000000000..e597c46ce --- /dev/null +++ b/examples/dft/fdep.dft @@ -0,0 +1,8 @@ +toplevel "System"; +"System" or "Power" "Machine"; +"Power" fdep "B_Power" "P" "B"; +"Machine" or "P" "B"; + +"B_Power" lambda=0.5 dorm=0; +"P" lambda=0.5 dorm=0; +"B" lambda=0.5 dorm=0.5; diff --git a/examples/dft/ftpp_complex.dft b/examples/dft/ftpp_complex.dft new file mode 100644 index 000000000..1b836ee6b --- /dev/null +++ b/examples/dft/ftpp_complex.dft @@ -0,0 +1,129 @@ +toplevel "System"; +"System" or "triadA" "triadB" "triadC" "triadD" "fA" "fB" "fC" "fD"; + +"triadA" 2of3 "aA" "bA" "cA"; +"aA" csp "TAA" "TAS"; +"bA" csp "TAB" "TAS"; +"cA" csp "TAC" "TAS"; + +"triadB" 2of3 "aB" "bB" "cB"; +"aB" csp "TBA" "TBS"; +"bB" csp "TBB" "TBS"; +"cB" csp "TBC" "TBS"; + +"triadC" 2of3 "aC" "bC" "cC"; +"aC" csp "TCA" "TCS"; +"bC" csp "TCB" "TCS"; +"cC" csp "TCC" "TCS"; + +"triadD" 2of3 "aD" "bD" "cD"; +"aD" csp "TDA" "TDS"; +"bD" csp "TDB" "TDS"; +"cD" csp "TDC" "TDS"; + +"fA" fdep "NEA" "TAA" "TBA" "TCA" "TDA"; +"fB" fdep "NEB" "TAB" "TBB" "TCB" "TDB"; +"fC" fdep "NEC" "TAC" "TBC" "TCC" "TDC"; +"fD" fdep "NED" "TAS" "TBS" "TCS" "TDS"; + + +"NEA" lambda=0.017 dorm=1; +"NEB" lambda=0.017 dorm=1; +"NEC" lambda=0.017 dorm=1; +"NED" lambda=0.017 dorm=1; + +"TAA" or "cpuAA" "memAA"; +"memAA" csp "memAA1" "memAA2"; +"cpuAA" lambda=0.11 dorm=0; +"memAA1" lambda=0.11 dorm=0; +"memAA2" lambda=0.11 dorm=0; + +"TAB" or "cpuAB" "memAB"; +"memAB" csp "memAB1" "memAB2"; +"cpuAB" lambda=0.11 dorm=0; +"memAB1" lambda=0.11 dorm=0; +"memAB2" lambda=0.11 dorm=0; + +"TAC" or "cpuAC" "memAC"; +"memAC" csp "memAC1" "memAC2"; +"cpuAC" lambda=0.11 dorm=0; +"memAC1" lambda=0.11 dorm=0; +"memAC2" lambda=0.11 dorm=0; + +"TAS" or "cpuAS" "memAS"; +"memAS" csp "memAS1" "memAS2"; +"cpuAS" lambda=0.11 dorm=0; +"memAS1" lambda=0.11 dorm=0; +"memAS2" lambda=0.11 dorm=0; + +"TBA" or "cpuBA" "memBA"; +"memBA" csp "memBA1" "memBA2"; +"cpuBA" lambda=0.11 dorm=0; +"memBA1" lambda=0.11 dorm=0; +"memBA2" lambda=0.11 dorm=0; + +"TBB" or "cpuBB" "memBB"; +"memBB" csp "memBB1" "memBB2"; +"cpuBB" lambda=0.11 dorm=0; +"memBB1" lambda=0.11 dorm=0; +"memBB2" lambda=0.11 dorm=0; + +"TBC" or "cpuBC" "memBC"; +"memBC" csp "memBC1" "memBC2"; +"cpuBC" lambda=0.11 dorm=0; +"memBC1" lambda=0.11 dorm=0; +"memBC2" lambda=0.11 dorm=0; + +"TBS" or "cpuBS" "memBS"; +"memBS" csp "memBS1" "memBS2"; +"cpuBS" lambda=0.11 dorm=0; +"memBS1" lambda=0.11 dorm=0; +"memBS2" lambda=0.11 dorm=0; + +"TCA" or "cpuCA" "memCA"; +"memCA" csp "memCA1" "memCA2"; +"cpuCA" lambda=0.11 dorm=0; +"memCA1" lambda=0.11 dorm=0; +"memCA2" lambda=0.11 dorm=0; + +"TCB" or "cpuCB" "memCB"; +"memCB" csp "memCB1" "memCB2"; +"cpuCB" lambda=0.11 dorm=0; +"memCB1" lambda=0.11 dorm=0; +"memCB2" lambda=0.11 dorm=0; + +"TCC" or "cpuCC" "memCC"; +"memCC" csp "memCC1" "memCC2"; +"cpuCC" lambda=0.11 dorm=0; +"memCC1" lambda=0.11 dorm=0; +"memCC2" lambda=0.11 dorm=0; + +"TCS" or "cpuCS" "memCS"; +"memCS" csp "memCS1" "memCS2"; +"cpuCS" lambda=0.11 dorm=0; +"memCS1" lambda=0.11 dorm=0; +"memCS2" lambda=0.11 dorm=0; + +"TDA" or "cpuDA" "memDA"; +"memDA" csp "memDA1" "memDA2"; +"cpuDA" lambda=0.11 dorm=0; +"memDA1" lambda=0.11 dorm=0; +"memDA2" lambda=0.11 dorm=0; + +"TDB" or "cpuDB" "memDB"; +"memDB" csp "memDB1" "memDB2"; +"cpuDB" lambda=0.11 dorm=0; +"memDB1" lambda=0.11 dorm=0; +"memDB2" lambda=0.11 dorm=0; + +"TDC" or "cpuDC" "memDC"; +"memDC" csp "memDC1" "memDC2"; +"cpuDC" lambda=0.11 dorm=0; +"memDC1" lambda=0.11 dorm=0; +"memDC2" lambda=0.11 dorm=0; + +"TDS" or "cpuDS" "memDS"; +"memDS" csp "memDS1" "memDS2"; +"cpuDS" lambda=0.11 dorm=0; +"memDS1" lambda=0.11 dorm=0; +"memDS2" lambda=0.11 dorm=0; diff --git a/examples/dft/ftpp_large.dft b/examples/dft/ftpp_large.dft new file mode 100644 index 000000000..cdc8032e7 --- /dev/null +++ b/examples/dft/ftpp_large.dft @@ -0,0 +1,63 @@ +toplevel "System"; +"System" or "triadA" "triadB" "triadC" "triadD" "fA" "fB" "fC" "fD" "fE"; + +"triadA" 3of4 "aA" "bA" "cA" "dA"; +"aA" csp "TAA" "TAS"; +"bA" csp "TAB" "TAS"; +"cA" csp "TAC" "TAS"; +"dA" csp "TAD" "TAS"; + +"triadB" 3of4 "aB" "bB" "cB" "dB"; +"aB" csp "TBA" "TBS"; +"bB" csp "TBB" "TBS"; +"cB" csp "TBC" "TBS"; +"dB" csp "TBD" "TBS"; + +"triadC" 3of4 "aC" "bC" "cC" "dC"; +"aC" csp "TCA" "TCS"; +"bC" csp "TCB" "TCS"; +"cC" csp "TCC" "TCS"; +"dC" csp "TCD" "TCS"; + +"triadD" 3of4 "aD" "bD" "cD" "dD"; +"aD" csp "TDA" "TDS"; +"bD" csp "TDB" "TDS"; +"cD" csp "TDC" "TDS"; +"dD" csp "TDD" "TDS"; + +"fA" fdep "NEA" "TAA" "TBA" "TCA" "TDA"; +"fB" fdep "NEB" "TAB" "TBB" "TCB" "TDB"; +"fC" fdep "NEC" "TAC" "TBC" "TCC" "TDC"; +"fD" fdep "NED" "TAD" "TBD" "TCD" "TDD"; +"fE" fdep "NEE" "TAS" "TBS" "TCS" "TDS"; + + +"NEA" lambda=0.017 dorm=1; +"NEB" lambda=0.017 dorm=1; +"NEC" lambda=0.017 dorm=1; +"NED" lambda=0.017 dorm=1; +"NEE" lambda=0.017 dorm=1; + +"TAA" lambda=0.11 dorm=0; +"TAB" lambda=0.11 dorm=0; +"TAC" lambda=0.11 dorm=0; +"TAD" lambda=0.11 dorm=0; +"TAS" lambda=0.11 dorm=0; + +"TBA" lambda=0.11 dorm=0; +"TBB" lambda=0.11 dorm=0; +"TBC" lambda=0.11 dorm=0; +"TBD" lambda=0.11 dorm=0; +"TBS" lambda=0.11 dorm=0; + +"TCA" lambda=0.11 dorm=0; +"TCB" lambda=0.11 dorm=0; +"TCC" lambda=0.11 dorm=0; +"TCD" lambda=0.11 dorm=0; +"TCS" lambda=0.11 dorm=0; + +"TDA" lambda=0.11 dorm=0; +"TDB" lambda=0.11 dorm=0; +"TDC" lambda=0.11 dorm=0; +"TDD" lambda=0.11 dorm=0; +"TDS" lambda=0.11 dorm=0; diff --git a/examples/dft/ftpp_standard.dft b/examples/dft/ftpp_standard.dft new file mode 100644 index 000000000..9eaa7720e --- /dev/null +++ b/examples/dft/ftpp_standard.dft @@ -0,0 +1,53 @@ +toplevel "System"; +"System" or "triadA" "triadB" "triadC" "triadD" "fA" "fB" "fC" "fD"; + +"triadA" 2of3 "aA" "bA" "cA"; +"aA" csp "TAA" "TAS"; +"bA" csp "TAB" "TAS"; +"cA" csp "TAC" "TAS"; + +"triadB" 2of3 "aB" "bB" "cB"; +"aB" csp "TBA" "TBS"; +"bB" csp "TBB" "TBS"; +"cB" csp "TBC" "TBS"; + +"triadC" 2of3 "aC" "bC" "cC"; +"aC" csp "TCA" "TCS"; +"bC" csp "TCB" "TCS"; +"cC" csp "TCC" "TCS"; + +"triadD" 2of3 "aD" "bD" "cD"; +"aD" csp "TDA" "TDS"; +"bD" csp "TDB" "TDS"; +"cD" csp "TDC" "TDS"; + +"fA" fdep "NEA" "TAA" "TBA" "TCA" "TDA"; +"fB" fdep "NEB" "TAB" "TBB" "TCB" "TDB"; +"fC" fdep "NEC" "TAC" "TBC" "TCC" "TDC"; +"fD" fdep "NED" "TAS" "TBS" "TCS" "TDS"; + + +"NEA" lambda=0.017 dorm=1; +"NEB" lambda=0.017 dorm=1; +"NEC" lambda=0.017 dorm=1; +"NED" lambda=0.017 dorm=1; + +"TAA" lambda=0.11 dorm=0; +"TAB" lambda=0.11 dorm=0; +"TAC" lambda=0.11 dorm=0; +"TAS" lambda=0.11 dorm=0; + +"TBA" lambda=0.11 dorm=0; +"TBB" lambda=0.11 dorm=0; +"TBC" lambda=0.11 dorm=0; +"TBS" lambda=0.11 dorm=0; + +"TCA" lambda=0.11 dorm=0; +"TCB" lambda=0.11 dorm=0; +"TCC" lambda=0.11 dorm=0; +"TCS" lambda=0.11 dorm=0; + +"TDA" lambda=0.11 dorm=0; +"TDB" lambda=0.11 dorm=0; +"TDC" lambda=0.11 dorm=0; +"TDS" lambda=0.11 dorm=0;