一种刻画功能和时间空间性能的统一验证模型atsFPM

摘要：

对复杂信息系统的功能、性能进行组合验证,进而评估系统是否安全、可信,是当前的研究热点,但目前缺乏增加空间约束的验证模型.文章扩展已有的功能、性能验证模型,在状态空间上定义空间要求函数,提出一种刻画功能、时间和空间性能的统一验证模型atsFPM.给出基于正则式的路径范式描述信息系统行为的功能属性,给出atsFPM模型的语法和语义,构造路径范式与系统模型的积自动机,证明积自动机与原始模型在功能刻画、时间和空间描述上的等价,提出针对atsFPM的功能性能组合模型验证算法.实例分析表明,atsFPM统一验证模型能够有效解决信息系统功能和性能的组合分析问题,确保系统正确、安全、可信.

关键词：功能性能、空间约束、组合验证、安全可信

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目基金2007AA01Z425;国家"九七三"重点基础研究发展规划项目基金2007CB316502;国家自然科学基金90718015,60673157

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

页数：共11页

页码：740-750