期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于混成自动机的车联网服务建模方法 被引量:4
1
作者 封飞 陈名才 +2 位作者 张广泉 邵玉珍 李烨静 《南通大学学报(自然科学版)》 CAS 2013年第2期6-10,共5页
针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的... 针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性. 展开更多
关键词 混成自动机 车联网服务 建模 汽车CPS
下载PDF
一种面向CPS软件的可信性评估框架
2
作者 邵玉珍 张侃 +3 位作者 张广泉 陈名才 沈晓刚 李烨静 《计算机与数字工程》 2012年第10期51-54,共4页
信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架... 信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型。可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性。最后给出的实例分析,说明了提出框架的有效性。 展开更多
关键词 CPS 软件可信性评估 可信性指标模型 可信性评估模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部