Commit 91950d2b authored by Jaime Arias's avatar Jaime Arias
Browse files

add adt2amas models

parent a955ca28
......@@ -19,6 +19,11 @@ git clone https://depot.lipn.univ-paris13.fr/parties/publications/minimal-schedu
The minimal scheduling results can be found in the `results` folder. The
reader can found the sources and binaries of the `adt2amas` tool
[here](https://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/releases/v2.1.2).
In order to reproduce the results, the command to be executed is the following :
```
./adt2amas minimal --model results/<case_study>/model/<case_study>.txt
```
Below we show some case studies.
### Forestalling a software release (forestall)
......
FS
icp leaf attack 2000 15
dtm leaf attack 1000 5
scr leaf defence 5000 0
rfc leaf attack 0 0
reb leaf attack 500 3
hr leaf attack 4000 10
id leaf defence 200 1
heb leaf attack 0 3
sb leaf attack 0 0
hh leaf attack 1000 20
psc leaf attack 0 7
bp leaf attack 2000 15
BRB sand attack 0 3
PR sand attack 0 0
PRS nand attack 0 0
NA sand attack 0 1
NAS snand attack 0 0
SC or attack 0 0
FS sand attack 0 10
FS SC icp dtm
SC BRB NAS PRS
PRS PR scr
PR hr reb rfc
NAS NA id
NA hh sb heb
BRB bp psc
OAP
OAP or attack 0 0
GSAP or attack 0 0
ACLI or attack 0 2
TSA nand attack 0 0
DTH or defence 0 0
LSAS nand attack 0 0
LSA sand attack 0 0
GAPS snand attack 0 2
GAP sand attack 0 10
ECCS nand attack 0 60
ECC or attack 0 0
csa leaf attack 5000 7200
efw leaf defence 3000 0
wd leaf defence 2000 5
th leaf attack 100 4320
nv leaf defence 0 0
sat leaf attack 0 30
vsa leaf attack 20 2880
bsa leaf attack 500 20160
tla leaf defence 5 1
fgp leaf attack 0 1440
opf leaf attack 100 4320
scr leaf defence 5000 0
ccg leaf attack 100 7200
bcc leaf attack 6000 2880
co leaf attack 4000 5760
OAP ACLI GSAP
GSAP GAPS LSAS TSA csa
ACLI co ECCS
TSA th DTH
DTH wd efw
LSAS LSA nv
LSA bsa vsa sat
GAPS GAP tla
GAP opf fgp
ECCS ECC scr
ECC bcc ccg
a
a and attack 0 0
c and attack 0 1
b leaf attack 0 2
d leaf attack 0 4
e leaf attack 0 3
a b c
c d e
CIoTD
esv leaf attack 10 60
rms leaf attack 100 30
gc leaf attack 100 600
flp leaf attack 10 60
sma leaf attack 50 30
fw leaf attack 10 300
bwk leaf attack 100 120
inc leaf defence 5 1
tla leaf defence 5 1
CPN or attack 0 0
GVC nand attack 0 0
APN and attack 0 3
APNS snand attack 0 1
CIoTD sand attack 0 0
AL sand attack 0 0
AW sand attack 0 0
CIoTD APNS esv rms
APNS APN inc
APN CPN GVC
CPN AL AW
AL flp sma
AW fw bwk
GVC gc tla
a
a and attack 0 0
b and attack 0 1
c leaf attack 0 1
d leaf attack 0 3
e nand attack 0 0
f and attack 0 0
g leaf defence 0 0
h nand attack 0 0
i nand attack 0 0
j leaf attack 0 1
k leaf defence 0 0
l leaf attack 0 1
m leaf defence 0 0
a b e
b c d
e f g
f h i
h j k
i l m
A7
l1 leaf attack 0 1
l2 leaf attack 0 1
l3 leaf attack 0 1
l4 leaf attack 0 1
l5 leaf attack 0 1
l6 leaf attack 0 1
l7 leaf attack 0 1
l8 leaf attack 0 1
A1 and attack 0 1
A2 and attack 0 1
A3 and attack 0 1
A4 and attack 0 1
A5 and attack 0 1
A6 and attack 0 1
A7 and attack 0 1
A7 A6 l8
A6 A4 A5
A5 A3 l7
A4 A1 A2
A1 l1 l2
A2 l3 l4
A3 l5 l6
TS
b leaf attack 500 60
f leaf attack 100 120
h leaf attack 500 3
e leaf attack 0 10
p leaf defence 100 10
GA or attack 0 0
ST and attack 0 2
TF sand attack 0 0
TS cand attack 0 0
TS TF p
TF ST GA
ST b f
GA h e
a
a and attack 0 1
b and attack 0 1
c and attack 0 1
d leaf attack 0 1
e leaf attack 0 3
f leaf attack 0 1
g leaf attack 0 1
a b c
b d e
c f g
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment