基于形式化方法的混成系统验证

• 作者: 吴熊 唐敏 唐晨 李平 杨国荣
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 形式化方法 抽象算法 混成系统 温控系统
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 39-41,44
• 页数: 4页
• 分类号: TP301
• 字数: 2992字
• 语种: 中文
• DOI: 10.11907/rjdk.172346

摘要

对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性.基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性.对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证.实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐敏	桂林电子科技大学广西密码学与信息安全重点实验室	16	48	3.0	6.0
2	李平	桂林电子科技大学广西密码学与信息安全重点实验室	3	10	2.0	3.0
3	吴熊	桂林电子科技大学广西密码学与信息安全重点实验室	2	5	2.0	2.0
4	唐晨	桂林电子科技大学广西密码学与信息安全重点实验室	1	2	1.0	1.0
5	杨国荣		1	2	1.0	1.0