Add new attachment

Only authorized users are allowed to upload new attachments.

This page (revision-1) was last changed on 10-Feb-2011 17:17 by UnknownAuthor

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

At line 1 added 65 lines
AVANTSSAR Backends Benchmark, run on Amazon EC2 servers.
|| Case Study || Specification || Tr || HC || CL-AtSe || OFMC || SATMC
||__Car Registration__ | %%small CRP.dyn.aslan (C) %% | 25 | 52 | TO | TO | __19.23__s \\
| | %%small CRP.stat.rej.aslan (C) %% | 17 | 21 | __0.65__s | 856.37s | 2.63s \\
| | %%small CRP.stat.acc.aslan (C) %% | 17 | 21 | __0.69__s | TO | 3.89s \\
| | %%small crp-statpol.ORCHESTRATED.aslan (C) %% | 22 | 0 | __0.73__s | TO | TO \\
| | %%small crp-hc.ORCHESTRATED.aslan (C) %% | 22 | 5 | __0.81__s | NS | TO \\
| | %%small CRP.dyn.meta.aslan (C) %% | 25 | 52 | __2.24__s | 126.47s | 3.53s \\
| | %%small CRP.dyn.rej.aslan (C) %% | 26 | 52 | __2.42__s | TO | 4.96s \\
| | %%small CRP.dyn.acc.aslan (C) %% | 26 | 52 | __2.48__s | TO | 6.6s \\
| | %%small CRP.stat.aslan (C) %% | 16 | 21 | __2.78__s | TO | 16.27s \\
| | %%small crp-nohc.ORCHESTRATED.aslan (C) %% | 21 | 0 | __48.86__s | TO | ERR \\
||__Anonymous Shopping__ | %%small IDMXScene1_Safe.aslan (C) %% | 11 | 30 | INC | __46.0__s | NS \\
| | %%small IDMXScene1_execTrace.aslan (C) %% | 11 | 30 | __0.49__s | 7.73s | NS \\
| | %%small IDMXScene2_execTrace.aslan (C) %% | 15 | 30 | __1.74__s | TO | NS \\
||__Digital Contract Signing__ | %%small dcs-v3-exec1.aslan %% | 39 | 15 | TO | NS | __128.18__s \\
| | %%small dcs-v3-exec1-1.aslan %% | 39 | 15 | TO | NS | __1084.62__s \\
| | %%small dcs-v1-execFirstSig.aslan %% | 18 | 15 | __3.25__s | NS | 3.64s \\
| | %%small dcs-v1-exec.aslan %% | 18 | 15 | __5.16__s | NS | 14.65s \\
| | %%small dcs-v1-secrecy-contract.aslan %% | 18 | 15 | __7.99__s | NS | 237.19s \\
| | %%small dcs-v1-authentication.aslan %% | 18 | 13 | __7.99__s | NS | 2581.39s \\
| | %%small dcs-v1-proofOfOrigin.aslan %% | 18 | 15 | __8.16__s | NS | TO \\
| | %%small dcs-v1-NR.aslan %% | 18 | 15 | __8.36__s | NS | 1781.86s \\
| | %%small dcs-v1-secrecy-archive.aslan %% | 18 | 15 | __8.47__s | NS | 278.02s \\
| | %%small dcs-v2-exec2.aslan %% | 30 | 15 | 162.85s | NS | __33.25__s \\
| | %%small dcs-v1-integrity.aslan %% | 18 | 15 | __694.32__s | NS | ERR \\
||__Electronic Health Records__ | %%small ECR_SATMC.aslan (C) %% | 23 | 44 | NS | __3.06__s | 19.33s \\
| | %%small ECR.aslan (C) %% | 25 | 45 | __125.37__s | TO | NS \\
||__Loan Origination__ | %%small lobp_new_ntk_attack.aslan %% | 27 | 16 | TO | NS | __17.86__s \\
| | %%small lobp_sap_bod_attack.aslan %% | 24 | 16 | TO | NS | __345.45__s \\
| | %%small lobp_sap_sod_attack.aslan %% | 24 | 16 | TO | NS | __354.43__s \\
| | %%small lop-scene2.aslan %% | 24 | 16 | TO | NS | __14.09__s \\
| | %%small lobp_old_substitution_dc_attack.aslan %% | 16 | 13 | __0.17__s | NS | 1.45s \\
| | %%small lopUGDIST_Safe.aslan %% | 14 | 16 | __0.26__s | NS | 7.25s \\
| | %%small lobp_new_dc_attack_noUQhc.aslan %% | 27 | 16 | __0.74__s | NS | 1.65s \\
| | %%small lobp_new_dc_attack.aslan %% | 27 | 16 | __0.81__s | NS | 1.81s \\
| | %%small lobp_new_sod_noattack.aslan %% | 27 | 34 | __9.17__s | NS | TO \\
| | %%small lopUGDIST.aslan %% | 14 | 16 | 93.59s | NS | __2.89__s \\
| | %%small lop-scene1.aslan %% | 14 | 16 | 94.65s | NS | __2.13__s \\
| | %%small lobp_new_at_attack.aslan %% | 27 | 16 | 203.72s | NS | __14.13__s \\
| | %%small lobp_sap_at_attack.aslan %% | 24 | 16 | 1633.35s | NS | __14.05__s \\
||__Public Bidding__ | %%small PBv1_authentication_Unsafe.aslan %% | 30 | 11 | __2.53__s | 2.94s | 16.61s \\
| | %%small PB_alt_exec.aslan %% | 22 | 2 | 7.14s | __2.96__s | ERR \\
| | %%small PBv1_exec.aslan %% | 27 | 8 | __12.33__s | NS | 35.24s \\
| | %%small pb-exec.aslan %% | 36 | 15 | __13.29__s | ERR | ERR \\
| | %%small PB_alt_secrFP.aslan %% | 22 | 2 | __19.9__s | TO | TO \\
| | %%small PB_alt_secrTP.aslan %% | 22 | 2 | __19.9__s | TO | TO \\
| | %%small PB_alt_integr.aslan %% | 22 | 2 | __20.01__s | TO | 1937.39s \\
| | %%small PB_alt_auth.aslan %% | 22 | 2 | __20.09__s | TO | 1762.84s \\
| | %%small PB_alt_nonrep.aslan %% | 22 | 2 | __20.28__s | TO | 1311.83s \\
| | %%small pb-elig.aslan %%| 36 | 15 | __285.89__s | ERR | ERR \\
| | %%small PBv1_nonRepudiation.aslan %% | 26 | 8 | 2154.09s | ERR | __91.79__s \\
| | %%small PBv1_integrity.aslan %% | 26 | 8 | 2154.77s | ERR | __94.63__s \\
| | %%small PBv1_authentication_Safe.aslan %% | 26 | 8 | 2158.61s | ERR | __138.15__s \\
| | %%small PBv1_secrecy.aslan %% | 26 | 8 | 2409.87s | ERR | __250.77__s \\
||__Visa Application__ | %%small PTD_VisaBank.aslan (C) %% | 19 | 38 | 9.86s | __3.12__s | 44.83s \\
||__Process Task Delegation__ | %%small PTD.aslan (C) %% | 18 | 43 | __323.83__s | NS | TO \\
| | %%small PTD_PC.aslan (C) %% | 21 | 47 | __768.6__ s | NS | TO \\
Tr : number of transitions; HC : number of Horn clauses; NS : Not Supported; ERR : Error; TO : Timeout; INC : Inconclusive.
%%small This is ths [Cl-Atse Benchmark] page%%
Version Date Modified Size Author Changes ... Change note
« This page (revision-1) was last changed on 10-févr.-2011 17:17 by UnknownAuthor