一种为程序的安全性验证所设计的面向对象的自动转换方法

• 作者: 常志超 牛秦洲 陈晓辉
• 来源期刊: 微型机与应用
• 学科: 工学
• 关键词: 安全性验证 机扑系统 MDS 模式检测器
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 软件天地
• 页码范围: 16-20
• 页数: 5页
• 分类号: TP301.6
• 字数: 6002字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-7720.2009.05.006

摘要

容错和控制系统的安全性验证是自发机扑系统成功的关键,一种叫做任务数据系统MDS(Mission Data Symstem)的控制框架的软件理论被提了出来,而它的产生则推动了一种基于对象的控制方法的产生.本文将讨论一种设计方法,该方法的设计目的是将对象网络控制程序转化为线性混合系统.该线性混合系统在使用信号模拟检测器进行检测时,在出现错误时是可以证明其安全性的.本文将结合例子介绍这种方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牛秦洲	桂林工学院电子与计算机系	68	451	12.0	18.0
2	陈晓辉	桂林工学院电子与计算机系	11	30	3.0	5.0
3	常志超	桂林工学院电子与计算机系	2	0	0.0	0.0