空间生命支持系统中VCCR子系统的安全性验证

摘要：

基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性.将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证工具进行验证,证明了空间生命支持系统中VCCR子系统的安全性.

关键词：混成系统、生命支持系统、VCCR系统、形式化验证、KeYmaera工具

所属期刊栏目：41

分类号：TP302.2(计算技术、计算机技术)

资助基金：国家自然科学基金61370176,61070048;国家自然科学基金委员会创新研究群体科学基金61021004;国家“863”计划2011AA010101;国家“973”计划2011CB302802;上海市重点学科建设项目B412;上海市教育委员会科研创新项目11ZZ37

在线出版日期：2014-07-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：193-198