(信息物理系统)《An architectural approach to the design and analysis of cyber-physical systems》
个人博客地址:https://travis1024.github.io/
《信息物理系统》报告
论文:[28]《An architectural approach to the design and analysis of cyber-physical systems.》
一、文章是否具备新颖性?是否正确,包括思路、推导、语法、表达等?有哪些比较有趣的现象和发现?
- 新颖性:
文章是具有新颖性的,文章介绍了一种新的支持替代架构的原理设计和评估的CPS架构风格。新的CPS架构风格使用了带插件的有限状态流程(FSP)或者带插件的线性混合自动机(LHA),并且使用带标记的转换系统分析器(LTSA)或多面体混合自动机验证者(PHAVER)来执行行为分析。
- 现象与发现:
文章比较形象的是提出了一种模型(物理家庭温度控制系统的建筑建模)来对CPS架构风格的架构进行了建模演示,并对其中的体系结构,运行机理,组件连接与功能,建模框架继续了分析。
在模型运行时发现了一个错误,每当炉子在本地通电时,它会默认进入Poweredon状态。假设恒温器只向炉子向炉子发送命令时会打开(关闭),并且不会交叉检查,看看炉子是否实际响应。如果恒温器向炉子发出命令以在炉子局部断电的同时打开热量,则炉子会偏离命令。如果炉子接通电源,则默认进入Poweredon状态,直到它接收到从恒温器接收到下一个热量的下一个热量。但是,恒温器不会发出另一个命令,因为它已经发出了热量的命令并且正在等待温度增加到需要发出散热指令的点。
这显然是一个错误的过程,文章中也提出了一种补救措施。文章使用带标记的转换系统分析器(LTSA)分析了活动特性,成功捕捉到了这个错误,同时也提供了一个反例跟踪,最终发现了活动性需求失败的原因—恒温器未能成功判断捕获熔炉的状态。
最终文章中就是使用带插件的线性混合自动机(LHA),在多面体混合自动机验证者(PHAVER)中进行LHA分析可以在加热和冷却时发现最小和最大值的变化率的良好范围,成功解决了发现的问题。
文章将理论与实践应用进行了结合,将理论方法应用在实际模型出现的问题中,并成功解决了模型出现的问题,以实际的模型展示了文章提出的理论方法的有效性,更具说服力。
二、系统模型是什么?要解决的问题是什么?
1.系统模型
1)总体目标
创建一个可扩展的框架,可以创建一套全面的设计工具,创建一个一般的一般组件和连接器,可以作为本广域的特定于应用程序特定样式的基础。
2)创新之处
a) 本文提出了一种新的CPS架构风格和行为注释和用于验证的插件。
b) 我们定义了与网络域,物理域及其互连有关的三个相关家族。
c) 构建能够从属性中生成可分析文本文件的插件。
d) 开发FSP插件:可以产生一个由标记的转换系统分析器分析的文件
e) 开发LHA插件:可以通过多面体混合自动机验证器分析的文件
2.要解决的问题
当今的信息物理系统(CPS)的分析和设计模型和方法典型地沿着不同的数学形式主义和工程和计算机科学中不同的方法定义的路线分散。虽然为了便于处理,需要将关注点分离,但这种分析方法往往在系统设计的网络和物理特征之间施加早期分离,使得很难评估跨越这些领域边界的替代方案的影响和权衡。
本文介绍了软件架构描述的扩展,以包含包含网络物理系统的全系列元素。我们的目标是创建一个可扩展的框架,可以创建一套全面的设计工具。作为这方面的第一步,本文提出了一种新的CPS架构风格和行为注释和用于验证的插件。
体系结构通常在比仿真模型更高的层次上表示系统,仿真模型表示特定系统实现的细节。尽管体系结构建模已经被用于特定领域,以将物理元素作为组件合并,但目前还没有一种方法以一般的方式平等地对待网络元素和物理元素。这是因为软件体系结构风格中的组件和连接器不足以表示CPS中的物理组件类型及其与网络实体的交互。
三、假设是否成立,推导是否正确,用到了哪些具体的技术?
文章中的假设定义,模型构建,文本插件都具有一定的现实意义与正确性。
1.用到的技术:
1)软件体系结构:
软件体系结构已成为大规模软件系统的严格工程设计的主要技术之一。软件体系结构通常将系统建模为组件和连接器的图形,其中组件表示系统运行时结构的主要计算元素,而连接器表示组件之间的通信路径。这些元素带有属性,这些属性描述了它们的抽象行为,并有助于进行系统级设计权衡的推理。
2)Acme ADL
它对定义灵活的建筑风格提供了强大的支持。在Acme中,建筑风格表示为一系列元素类型,这些元素类型遵循某些规则和结构,涉及系统中可以存在的组件和连接器的类型以及它们之间相互连接的方式。通过添加其他元素和规则,一般用户可以将其简化为特定于应用程序的系列。
3)两种网络连接器
一个是表示一对一通信的调用-返回连接器,另一个是表示一对多的发布-订阅连接器。每种类型都可以进一步专门化,以表示特定的通信协议和网络特征,表示系统中的通信元素对于解释软件元素之间的时序以及这如何影响整个系统的物理行为是很重要的。
四、结果是什么?是否存在亮点和启示?未来的扩展方向是什么?
1.结论
本文介绍了用于在架构级别对网络物理系统进行建模和分析的工具。提出了CPS架构样式,以及用于使用行为描述建模为有限状态过程和线性混合自动机的工具来注释CPS架构的工具。本文介绍的CPS体系结构样式提供了一个统一的框架,用于开发针对性能度量(该行为表征系统行为的重要特征)来优化设计的新方法。
2.未来的扩展方向:
未来可以开发提供CPS体系结构的不同视图的功能,其中每个视图可以对应于特定类型的数学抽象,并且不同的性能度量可以与不同的视图相关联。视图的收集和相关的性能度量导致设计优化问题网络,这些问题通过共享变量和约束相互关联。也可以开发公式化和解决这些相互联系的设计问题的方法,以此作为综合方法来分析和设计网络物理系统的基础。
五、文章的组织结构和表达如何?
文章在摘要部分描述了文章的整体工作,第一部分为文章介绍部分,主要介绍了文章的整体结构和内容分布;第二部分主要介绍了之前已经完成的工作;第三部分提出了CPS的架构风格,作为为特定应用程序领域开发框架构造的基础;第四部分通过一个简单的示例说明了CPS体系机构样是中的组件和连接器的应用;第五部分介绍了如何在注释和插件的帮助下进行行为分析;第六部分说明了第四部分中介绍的示例的行为验证;结论部分总结了本文的贡献,并讨论了此研究的后续步骤。
文章的表达采用文字+图形化图像相结合的方式,能够更加形象的将文章中的理论模型与应用模型展示出来,使得文章整体具有良好的可读性。
(信息物理系统)《An architectural approach to the design and analysis of cyber-physical systems》相关推荐
- 信息安全专家李钊博士:信息物理系统安全措施
3 信息物理系统安全措施 3.1 感知执行层安全措施 信息物理系统感知执行层主要涉及各节点基础设施的物理安全.感知数据的采集以及控制命令的执行.需要保障传感器.执行器.RFID装置.图像捕捉装置等设备 ...
- 面向新一代智能制造的人- 信息- 物理系统(HCPS)
摘要 智能制造系统是为了实现特定的价值创造目标,由相关的人.信息系统以及物理系统有机组成的综合智能系统,即人- 信息- 物理系统(HCPS),其中,物理系统是主体,信息系统是主导,人是主宰.同时,HC ...
- 信息物理系统-Rijndael加密算法的实现
信息物理系统-Rijndael加密算法的实现: 概述: AES标准的Rijndael算法是一种分组加密算法,本次实验通过PtolemyII软件,实现了明文长度为128位,密钥长度为128位的Rijnd ...
- 信息安全专家李钊博士:信息物理系统安全威胁
2 信息物理系统安全威胁 2.1 感知执行层安全威胁 信息物理系统的三层架构中,感知执行层是重要的感知数据来源和控制命令执行场所.感知执行层的网络节点多数部署在无人监控的环境中,容易成为攻击者的目标 ...
- 2022年信息物理系统与物联网国际会议(CPSIOT 2022)
2022年信息物理系统与物联网国际会议(CPSIOT 2022) 重要信息 会议网址:www.cpsiot.org 会议时间:2022年11月18-20日 召开地点:中国杭州 截稿时间:2022年 ...
- 【Paper】2019_DoS/数据注入攻击下基于一致性的信息物理系统安全性研究_曹雄
曹雄. DoS/数据注入攻击下基于一致性的信息物理系统安全性研究[D].天津大学,2019.DOI:10.27356/d.cnki.gtjdu.2019.003044. 文章目录 第2章 拒绝服务攻击 ...
- 信息物理系统CPS工业信息物理系统ICPS
CPS系统介绍(Cyber-Physical System)CPS就是一个在环境感知的基础上,深度融合了计算.通信和控制能力的可控.可信.可扩展的网络化物理设备系统,它通过计算进程和物理进程相互影响的 ...
- 【CPS】信息物理系统白皮书大解读!
本文导览 ©文丨 e-works编辑部原创 当前,业界对Cyber-Physical Systems(CPS)的理解认识仁者见仁智者见智.信息物理系统白皮书旨在结合当前我国推动两化深度融合.<中 ...
- 计算机信息系统物理安全防护措施,信息物理系统安全威胁与防护措施
季承扬 摘 要 信息物理系统自提出以来发展至今,因为其优越的性能,吸引了各国各界的关注与投入,而信息物理系统面临的安全威胁也成为了其建设与发展过程中不可忽视的问题.基于这一背景,文章以信息物理系统的结 ...
最新文章
- 百越杯 Reverse (crazy write up)
- acrgis api for javaScript需要对Dojo了解多少?
- android项目中values中几个文件的作用
- composer php 打包图片,composer 打包到 packagist
- c++报错:引用了未定义标签_大牛带你解读Spring源码,编写自定义标签,您能学会吗?...
- RabbitMQ 幂等性概念及业界主流解决方案
- 聊Code review(上)
- 查看一个数是不是2的n次方
- 三星系列机型 刷机的一些基本常识
- web网络安全防护方案
- latex如何生成pdf标签/目录?
- 简单微信公众号支付,亲测好用!
- Poj1704:staircase nim【博弈】
- 高数学习日记——矢量场与数量场的概念
- 百度地图 JavaScript API GL
- SDNU 1221
- 中国天气网api(json格式)
- CAN整车网络学习-01
- 计算机毕业设计题目大全(不断更新中)
- 第五十四讲 设备树实现RGB驱动
热门文章
- python机器人库_机器人之实战深度学习(上)OpenCV库
- SnapMotion for Mac(Mac从视频中截图软件)
- git checkout reset 傻傻分不清楚
- JavaScript Dom 事件 Bom 定时器方法
- 台北房价窥北京未来:调控阻止不了高房价
- rustup 慢_Rust真的比C慢吗?进一步分析queen微测评
- CPU使用率较低但负载较高怎么处理?
- 电子表格分两级:Excel和WPS是一级,未来5年,75%的人将用二级
- 一次与sql注入 webshell 的美丽“邂逅”
- input框中的value值到底是什么