BLESS-models:具有BLESS行为，证明脚本和正确性证明的AADL模型
需积分: 10 92 浏览量
2021-03-06
11:24:44
上传
评论
收藏 517KB ZIP 举报
BLESS-models-master.zip （96个子文件） 
BLESS-models-master DDD aadl packages 
DDD.aadl 16KB PG.aadl 2KB propertysets PP.aadl 774B .aadlsettings 75B proof 
proof.txt 581KB .settings org.sireum.aadl.arsit.prefs 186B .project 491B .slang PG_Pacemaker_imp_Instance.json 129KB diagrams d0024b06-4fd4-402c-aed3-57908f7b2070.aadl_diagram 20KB b6ff86c1-4309-43c3-bf18-75677cca47fb.aadl_diagram 66KB 3ff02806-a0a3-4edf-bb55-c406a7c41f2a.aadl_diagram 57KB proof script DDD.ps 15KB Isolette-classic aadl packages Devices.aadl 7KB instances reports fta ksu_isolette_isolette_single_sensor-out-heat_out-heatcontrolerror_tree.faulttree 941B Nursery.aadl 5KB Assertions.aadl 7KB Monitor.aadl 16KB Isolette.aadl 22KB Iso_Types.aadl 5KB Regulate.aadl 19KB propertysets Iso_Properties.aadl 4KB rdal ksu_isolette.rdal_diagram 35KB isolette_thermostat.jucm 112KB ksu_isolette.rdal 6KB .aadlsettings 78B proof proof.txt 733KB representations.aird 11KB .settings org.eclipse.core.resources.prefs 116B .project 621B diagrams KSU_Isolette_isolette_dual_sensor.aadl_diagram 15KB proof scripts Isolette.ps 312B subscripts ma.ps 4KB mrm.ps 3KB mhs.ps 3KB isocon.ps 5KB mmm.ps 4KB CTCS proofscripts script.txt 5KB proof dump306.txt 630KB proof of CTCS 153KB dump302.txt 621KB .project 475B packages MA.aadl 8KB CTCS_Types.aadl 2KB propertysets CTCS_Properties.aadl 249B LICENSE 7KB PO-SA aadl packages ICE_Display.aadl 202B HR.aadl 9KB SO.aadl 2KB RD.aadl 4KB PO.aadl 33KB SPT.aadl 8KB PulseOx_Types.aadl 3KB SPA.aadl 13KB MA.aadl 3KB propertysets PulseOx_Properties.aadl 1KB MDCF_Properties.aadl 468B .aadlsettings 75B proof proof.txt 1MB .project 576B proof script PO.ps 1KB subscripts spt.ps 5KB rd.ps 2KB mat.ps 2KB sat.ps 5KB sox.ps 1KB hrt.ps 4KB DDDRwE .aadlsettings 75B proof proof of DDDwE 1.27MB .project 464B packages Pacer.aadl 18KB ATR.aadl 27KB PGprocess.aadl 5KB PACE_Data.aadl 936B Rx.aadl 2KB PACEMAKER.aadl 4KB Mark.aadl 2KB Assertion.aadl 15KB RateControl.aadl 7KB MinMax.aadl 2KB proof scripts subscripts inv.ps 210B atcounter.ps 3KB ratecontrol-atr.ps 1KB ratecontrol.ps 3KB connections.ps 2KB ascounter.ps 3KB pacer.ps 17KB minmax.ps 196B atr.ps 89B DDDwE.ps 446B README.md 89B VVI aadl packages VVI.aadl 5KB propertysets PP.aadl 455B .aadlsettings 75B proof proof.txt 71KB .project 453B proof script VVI.ps 4KB资源评论
