|
|
hekate:cases:hekate_case_thermostat:ard_design [2009/10/24 15:00] gjn 1st draft |
hekate:cases:hekate_case_thermostat:ard_design [2019/06/27 15:49] |
| |
=== ARD Model === | |
| |
* {{hekate_case_thermostat-mdl.pl|The full VARDA model (in Prolog)}} | |
* {{hekate_case_thermostat-ard.hml|HML file with the full ARD model}} | |
* {{hekate_case_thermostat-prt.hml|HML file with the XTT prototypes and the full ARD model}} | |
| |
^ ARD diagram of the system ^ Corresponding THP ^ Full ARD Model of the system ^ | |
| {{hekate_case_thermostat-ard.png}} | {{hekate_case_thermostat-tph.png}} | {{hekate_case_thermostat-mdl.png}} | | |
| ({{hekate_case_thermostat-ard.pdf|PDF}},{{hekate_case_thermostat-ard.fig|FIG}},{{hekate_case_thermostat-ard.dot|DOT}}) | ({{hekate_case_thermostat-tph.pdf|PDF}},{{hekate_case_thermostat-tph.fig|FIG}},{{hekate_case_thermostat-tph.dot|DOT}}) | ({{hekate_case_thermostat-mdl.pdf|PDF}},{{hekate_case_thermostat-mdl.fig|FIG}},{{hekate_case_thermostat-mdl.dot|DOT}}) | | |
| |
=== ARD Full Design === | |
| |
^ No. ^ ARD diagram of a given level ^ Corresponding THP ^ ARD Model at the given level^ | |
| 9 | {{hekate_case_thermostat-9-ard.png}} | {{hekate_case_thermostat-9-tph.png}} | {{hekate_case_thermostat-9-mdl.png}} | | |
| 8 | {{hekate_case_thermostat-8-ard.png}} | {{hekate_case_thermostat-8-tph.png}} | {{hekate_case_thermostat-8-mdl.png}} | | |
| 7 | {{hekate_case_thermostat-7-ard.png}} | {{hekate_case_thermostat-7-tph.png}} | {{hekate_case_thermostat-7-mdl.png}} | | |
| 6 | {{hekate_case_thermostat-6-ard.png}} | {{hekate_case_thermostat-6-tph.png}} | {{hekate_case_thermostat-6-mdl.png}} | | |
| 5 | {{hekate_case_thermostat-5-ard.png}} | {{hekate_case_thermostat-5-tph.png}} | {{hekate_case_thermostat-5-mdl.png}} | | |
| 4 | {{hekate_case_thermostat-4-ard.png}} | {{hekate_case_thermostat-4-tph.png}} | {{hekate_case_thermostat-4-mdl.png}} | | |
| 3 | {{hekate_case_thermostat-3-ard.png}} | {{hekate_case_thermostat-3-tph.png}} | {{hekate_case_thermostat-3-mdl.png}} | | |
| 2 | {{hekate_case_thermostat-2-ard.png}} | {{hekate_case_thermostat-2-tph.png}} | {{hekate_case_thermostat-2-mdl.png}} | | |
| 1 | {{hekate_case_thermostat-1-ard.png}} | {{hekate_case_thermostat-1-tph.png}} | {{hekate_case_thermostat-1-mdl.png}} | | |
| |
=== ARD Design Files === | |
| |
^ No. ^ ARD diagram of a given level ^ Corresponding THP ^ ARD Model at the given level^ | |
| 9 | ({{hekate_case_thermostat-9-ard.pdf|PDF}},{{hekate_case_thermostat-9-ard.fig|FIG}},{{hekate_case_thermostat-9-ard.dot|DOT}}) | ({{hekate_case_thermostat-9-tph.pdf|PDF}},{{hekate_case_thermostat-9-tph.fig|FIG}},{{hekate_case_thermostat-9-tph.dot|DOT}}) | ({{hekate_case_thermostat-9-mdl.pdf|PDF}},{{hekate_case_thermostat-9-mdl.fig|FIG}},{{hekate_case_thermostat-9-mdl.dot|DOT}}) | | |
| 8 | ({{hekate_case_thermostat-8-ard.pdf|PDF}},{{hekate_case_thermostat-8-ard.fig|FIG}},{{hekate_case_thermostat-8-ard.dot|DOT}}) | ({{hekate_case_thermostat-8-tph.pdf|PDF}},{{hekate_case_thermostat-8-tph.fig|FIG}},{{hekate_case_thermostat-8-tph.dot|DOT}}) | ({{hekate_case_thermostat-8-mdl.pdf|PDF}},{{hekate_case_thermostat-8-mdl.fig|FIG}},{{hekate_case_thermostat-8-mdl.dot|DOT}}) | | |
| 7 | ({{hekate_case_thermostat-7-ard.pdf|PDF}},{{hekate_case_thermostat-7-ard.fig|FIG}},{{hekate_case_thermostat-7-ard.dot|DOT}}) | ({{hekate_case_thermostat-7-tph.pdf|PDF}},{{hekate_case_thermostat-7-tph.fig|FIG}},{{hekate_case_thermostat-7-tph.dot|DOT}}) | ({{hekate_case_thermostat-7-mdl.pdf|PDF}},{{hekate_case_thermostat-7-mdl.fig|FIG}},{{hekate_case_thermostat-7-mdl.dot|DOT}}) | | |
| 6 | ({{hekate_case_thermostat-6-ard.pdf|PDF}},{{hekate_case_thermostat-6-ard.fig|FIG}},{{hekate_case_thermostat-6-ard.dot|DOT}}) | ({{hekate_case_thermostat-6-tph.pdf|PDF}},{{hekate_case_thermostat-6-tph.fig|FIG}},{{hekate_case_thermostat-6-tph.dot|DOT}}) | ({{hekate_case_thermostat-6-mdl.pdf|PDF}},{{hekate_case_thermostat-6-mdl.fig|FIG}},{{hekate_case_thermostat-6-mdl.dot|DOT}}) | | |
| 5 | ({{hekate_case_thermostat-5-ard.pdf|PDF}},{{hekate_case_thermostat-5-ard.fig|FIG}},{{hekate_case_thermostat-5-ard.dot|DOT}}) | ({{hekate_case_thermostat-5-tph.pdf|PDF}},{{hekate_case_thermostat-5-tph.fig|FIG}},{{hekate_case_thermostat-5-tph.dot|DOT}}) | ({{hekate_case_thermostat-5-mdl.pdf|PDF}},{{hekate_case_thermostat-5-mdl.fig|FIG}},{{hekate_case_thermostat-5-mdl.dot|DOT}}) | | |
| 4 | ({{hekate_case_thermostat-4-ard.pdf|PDF}},{{hekate_case_thermostat-4-ard.fig|FIG}},{{hekate_case_thermostat-4-ard.dot|DOT}}) | ({{hekate_case_thermostat-4-tph.pdf|PDF}},{{hekate_case_thermostat-4-tph.fig|FIG}},{{hekate_case_thermostat-4-tph.dot|DOT}}) | ({{hekate_case_thermostat-4-mdl.pdf|PDF}},{{hekate_case_thermostat-4-mdl.fig|FIG}},{{hekate_case_thermostat-4-mdl.dot|DOT}}) | | |
| 3 | ({{hekate_case_thermostat-3-ard.pdf|PDF}},{{hekate_case_thermostat-3-ard.fig|FIG}},{{hekate_case_thermostat-3-ard.dot|DOT}}) | ({{hekate_case_thermostat-3-tph.pdf|PDF}},{{hekate_case_thermostat-3-tph.fig|FIG}},{{hekate_case_thermostat-3-tph.dot|DOT}}) | ({{hekate_case_thermostat-3-mdl.pdf|PDF}},{{hekate_case_thermostat-3-mdl.fig|FIG}},{{hekate_case_thermostat-3-mdl.dot|DOT}}) | | |
| 2 | ({{hekate_case_thermostat-2-ard.pdf|PDF}},{{hekate_case_thermostat-2-ard.fig|FIG}},{{hekate_case_thermostat-2-ard.dot|DOT}}) | ({{hekate_case_thermostat-2-tph.pdf|PDF}},{{hekate_case_thermostat-2-tph.fig|FIG}},{{hekate_case_thermostat-2-tph.dot|DOT}}) | ({{hekate_case_thermostat-2-mdl.pdf|PDF}},{{hekate_case_thermostat-2-mdl.fig|FIG}},{{hekate_case_thermostat-2-mdl.dot|DOT}}) | | |
| 1 | ({{hekate_case_thermostat-1-ard.pdf|PDF}},{{hekate_case_thermostat-1-ard.fig|FIG}},{{hekate_case_thermostat-1-ard.dot|DOT}}) | ({{hekate_case_thermostat-1-tph.pdf|PDF}},{{hekate_case_thermostat-1-tph.fig|FIG}},{{hekate_case_thermostat-1-tph.dot|DOT}}) | ({{hekate_case_thermostat-1-mdl.pdf|PDF}},{{hekate_case_thermostat-1-mdl.fig|FIG}},{{hekate_case_thermostat-1-mdl.dot|DOT}}) | | |
| |