邵玉珍
- 作品数:5 被引量:4H指数:1
- 供职机构:苏州大学更多>>
- 发文基金:江苏省普通高校研究生科研创新计划项目江苏省高等学校大学生实践创新训练计划项目江苏省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于混成自动机的车联网服务建模方法被引量:4
- 2013年
- 针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.
- 封飞陈名才张广泉邵玉珍李烨静
- 一种基于统计模型检测的CPS属性验证方法
- 一种基于统计模型检测的CPS属性验证方法,包括以下步骤。S1、设置通信端口将混成自动机扩展为扩展混成自动机,并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器,并将所...
- 张广泉陈名才戎玫邵玉珍封飞李烨静
- 文献传递
- 一种面向CPS软件的可信性评估框架
- 信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面...
- 邵玉珍张侃张广泉陈名才沈晓刚李烨静
- 关键词:CPS
- 一种面向CPS软件的可信性评估框架
- 2012年
- 信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型。可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性。最后给出的实例分析,说明了提出框架的有效性。
- 邵玉珍张侃张广泉陈名才沈晓刚李烨静
- 关键词:CPS
- 一种基于统计模型检测的CPS属性验证方法
- 一种基于统计模型检测的CPS属性验证方法,包括以下步骤:S1、设置通信端口将混成自动机扩展为扩展混成自动机,并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器,并将所...
- 张广泉陈名才戎玫邵玉珍封飞李烨静
- 文献传递