arXiv 2109.092442021-09-21cs.SEcs.PL

用于复杂IoT应用程序的特定领域建模和分析环境

A domain-specific modeling and analysis environment for complex IoT applications

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio

摘要：

为了应对物联网领域的复杂性，物联网应用的设计师和开发人员需要实用的工具。一些模型驱动的工程方法和工具已经开发出来，以解决这些困难，但很少有人解决的分析方面。在这个扩展的摘要中，我们介绍了CHESSIOT，这是一个针对复杂物联网应用的特定于领域的建模环境。此外，本文还介绍了现有的支持实时分析的机制，以及一种建议的代码生成方法

英文摘要：

To cope with the complexities found in the Internet of Things domain, designers and developers of IoT applications demand practical tools. Several model-driven engineering methodologies and tools have been developed to address such difficulties, but few of them address the analysis aspects. In this extended abstract, we introduce CHESSIoT, a domain-specific modeling environment for complex IoT applications. In addition, the existing supported real-time analysis mechanism, as well as a proposed code generation approach, are presented

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

面向工业IoT系统的建模和分析环境

Towards a modeling and analysis environment for industrial IoT systems

工业物联网系统（IIoT）的开发需要足够强大的工具来应对此类系统的复杂性和异构性，这些系统应该在安全关键条件下工作。支持早期分析、验证和确认的方法的可用性仍然是研究界的一个悬而未决的问题。早期的实时可扩展性分析可以帮助量化所需系统的定时性能最终可以达到什么程度。在本文中，我们介绍了CHESSIOT，一个模型驱动的环境，以支持工业物联网系统的设计和分析。CHESSIOT遵循多视图，基于组件的建模方法，采用中间ThingML模型，以全面的方式对系统组件执行基于事件的建模，用于代码生成。为了展示该扩展的功能，我们设计并分析了一个工业实时安全用例。

2021-06-03cs.PLcs.SE

通过动态偏好建模实现IoT的上下文感知

Context-awareness of the IoT through the on-the-fly preference modeling

必须在分布式计算范式中考虑属于物联网网络的事物的上下文感知。在本文中，我们建议使用图变换和时序逻辑作为一个正式的框架，知识表示的用户/居民的行为在多智能体系统。物联网网络被认为是图结构。动态偏好模型，理解为在选择的优先级，也介绍了。偏好模型是基于形式逻辑的行为观测结果，由软件代理实时构建。软件代理收集有关用户偏好的逻辑规范方面表示的知识，以及建议在飞行中的未来行为的逻辑推理过程的基础上，使用语义tableaux方法。预测过程是物联网系统中一些新的重要事件的结果，这些事件应该满足响应。由于与物理环境交互的网络系统无处不在，因此非常需要开发将整个物联网系统作为上下文感知系统的技术。形式化方法提高了系统的可信度。提供了一个简单但说明性的例子。

2014-08-08cs.SE

分布式IoT系统的连续测试：最新技术综述

Continuously Testing Distributed IoT Systems: An Overview of the State of the Art

对系统的小变化进行持续测试已被证明是有用的，并在软件系统的开发中被广泛采用。为此，软件在尽可能接近生产环境的环境中进行测试。在测试物联网系统时，这种方法会遇到独特的挑战，这些挑战来自于通常的大规模部署、节点异构性、具有挑战性的网络特性以及与环境的紧密集成等。物联网测试环境通过模拟可以执行物联网应用程序的节点、网络和可能的域环境，为这些挑战提供了一种可能的解决方案。本文概述了物联网测试的最新技术水平。我们得出了物联网测试环境的理想特征，比较了18种可用于这方面的工具，并对该领域的未来趋势进行了研究展望。

2021-12-17cs.DCcs.SE

物联网设备的服务虚拟化：技术与挑战

Service Virtualisation of Internet-of-Things Devices: Techniques and Challenges

服务虚拟化是一种使用虚拟化环境在类似生产环境的条件下自动测试企业服务的方法。已经提出了许多技术来为企业服务提供这样一个现实的环境。物联网（IoT）是一个新兴领域，它使用各种协议通过不同的传输层连接各种设备。配置物联网设备的虚拟测试床可以通过启用自动化测试而无需持续连接到物理设备来加速物联网应用程序开发。一种解决方案是将现有的企业服务虚拟化扩展到物联网环境。这两个环境之间存在各种结构差异，应考虑为物联网实施适当的服务虚拟化。本文探讨了各种物联网协议和企业协议之间的结构差异，并确定了在物联网环境中实施服务虚拟化需要解决的关键技术挑战。

2017-05-16cs.SE

为IoT提出基于多代理的智能环境

Proposal of a multiagent-based smart environment for the IoT

这项工作涉及到属于物联网网络的事物的上下文感知。被理解为优先选择的偏好被认为是这样的系统的动态偏好模型的建立。偏好模型基于形式逻辑，并且它们由软件代理观察用户/居民的行为并收集关于以逻辑规范表示的偏好的知识来动态地构建。已经引入了一个3级代理结构来支持物联网推理。这些智能体基于系统知识的图形表示进行协作。这样的系统的一个例子。

2014-07-11cs.SE

IoTRepair：系统地解决商品IoT中的设备故障（扩展文件）

IoTRepair: Systematically Addressing Device Faults in Commodity IoT (Extended Paper)

物联网设备是分散的，部署在不稳定的环境中，这导致它们容易出现各种故障，例如设备故障和网络中断。然而，目前的物联网平台需要程序员手动处理故障，这是一项复杂且容易出错的任务。在本文中，我们提出了一个物联网故障处理系统IoTRepair，它（1）集成了一个故障识别模块来跟踪故障设备，（2）提供了一个故障处理函数库，用于有效地处理不同的故障类型，（3）在库的顶部提供了一个故障处理程序，用于自主物联网故障处理，用户和开发人员配置作为输入。通过在模拟实验室环境中使用各种故障注入方法进行评估，将IoTRepair与当前的故障处理解决方案进行了比较。故障处理程序平均减少了50.01%的错误状态，这对应于较少的不安全和不安全的设备状态。总体而言，通过物联网故障处理程序的系统化设计，我们为用户提供了处理复杂物联网故障处理的灵活性和便利性，从而实现更安全的物联网环境。

2020-02-17cs.PFcs.SE

更多相关论文收起更多论文

弹性物联网应用的架构设计决策模型

An Architectural Design Decision Model for Resilient IoT Application

针对物联网应用易受威胁且缺乏弹性建模机制的问题，提出一种架构设计决策模型，以降低设计弹性物联网应用的难度，并通过案例验证其价值。

2023-06-17cs.SE

iGateLink：用于连接IoT、边缘、雾和云计算环境的网关库

iGateLink: A Gateway Library for Linking IoT, Edge, Fog and Cloud Computing Environments

近年来，物联网（IoT）越来越受欢迎，物联网网关扮演着越来越重要的角色，调解了大量异构物联网设备和云服务之间的交互。在本文中，我们介绍了iGateLink，这是一个开源的Android库，可以简化Android应用程序的开发，作为物联网设备和边缘/雾/云计算环境之间的网关。由于其可插拔的设计，提供与作为数据源或雾/云框架的许多设备的连接的模块可以很容易地重复用于不同的应用程序。在两个案例研究中使用iGateLink复制了医疗保健和图像处理领域的先前工作，与使用传统方法相比，该库被证明在适应不同场景和加速网关应用程序开发方面是有效的。

2019-11-16cs.DCcs.SEeess.SP

IoT边缘设备安全攻击的形式化辅助建模与测试方法

A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices

随着物联网设备数量的快速增长，这些系统的安全性成为一个主要问题。由于这些设备资源有限，安全措施难以在边缘实施。我们提出了一种基于形式化建模和突变测试的物联网设备攻击检测新方法。也就是说，我们将运动传感器和RFID阅读器等小型物联网设备的行为建模为具有超时的状态机。我们还对基本的物联网攻击进行了建模，即电池耗尽、睡眠剥夺、数据伪造、重放和中间人攻击，作为这些规范的特殊突变体。我们还考虑用于检测实际物理设备操作的测试。然后使用突变测试来导出将这些攻击与原始规范区分开的测试。通过对这些突变体进行测试，在真实环境中测试它们的行为。我们的实验表明，派生的攻击突变体和测试的数量是小的，因此这些测试可以执行多次，在物理设备上的开销有限。因此，我们的方法不会受到传统突变检测相关高成本的阻碍。此外，我们还表明，通过我们的方法得出的测试覆盖了所有物联网攻击，但没有提供使用传统的基于突变代码的算子得出的突变体的良好覆盖率，这表明需要使用我们的方法。一个框架，实现我们的方法，以及其他一些相关的案例研究。

2022-10-11cs.CRcs.SE

从机电组件到工业自动化产品--信息物理制造系统的IoT模型

From Mechatronic Components to Industrial Automation Things - An IoT model for cyber-physical manufacturing systems

物联网被认为是第四次工业革命的关键技术之一，即工业4.0。在本文中，我们认为机电一体化组件作为系统组成层次结构中的最低级别，紧密集成了机械与电子和软件所需的机械转换为智能（智能）对象提供定义良好的服务，其环境。为了将这个机电一体化组件集成到基于物联网的工业自动化环境中，需要在其上添加一个软件层，以将其传统接口转换为符合物联网的接口。这一层，我们称之为IoTwrapper，将传统的机电组件转换为工业自动化产品（IAT）。IAT是在制造领域这项工作的背景下专门开发的物联网模型的关键要素。该模型与现有的物联网模型进行了比较，并讨论了其主要差异。提出了一种模型到模型的转换器Transformer，用于将传统机电组件自动转换为准备集成在基于IoT的工业自动化环境中的IAT。UML 4 IoT配置文件以领域特定建模语言的形式使用，以自动化此转换。使用C和Contiki操作系统的工业自动化的原型实现证明了所提出的方法的有效性。

2016-06-03cs.SE

特定领域建模（DSM）作为物联网和服务的服务

Domain Specific Modeling (DSM) as a Service for the Internet of Things & Services

在本文中，我们提出了一种新的方法来开发感知计算控制（SCC）的物联网和服务（IOTS）的应用程序模型驱动的软件工程（MDSE）的方法。我们回顾了最近的MDSE方法，并认为特定领域的建模（DSM）套房我们的需求非常好。然而，根据最近云计算的趋势和物联网的出现，我们认为DSM创建工具和通过这些工具创建的DSM解决方案也应该通过物联网中的云以面向服务的方式提供给各自的用户。在这项工作中，我们专注于后者，即，通过DSM创建工具创建的DSM解决方案。我们认为，这是有意义的DSM解决方案的所有者在一个域中提供他们的DSM解决方案作为一种服务，以下众所周知的软件即服务（SaaS）模型，通过物联网感兴趣的客户。我们提出的方法集中在这样的DSM解决方案，用于在物联网中开发SCC应用程序。然而，这个想法也可以应用于其他领域的DSM解决方案。

2020-09-22cs.SE

智能IoT服务模型驱动工程的数据分析和机器学习方法、技术和工具

Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT Services

Technical University of Munich（慕尼黑工业大学）

本博士论文提出了一种新的方法来加强物联网（IoT）和智能网络物理系统（CPS）的智能服务的发展。所提出的方法提供了抽象和自动化的软件工程过程，以及数据分析（DA）和机器学习（ML）的做法。这是以集成和无缝的方式实现的。我们通过扩展一个名为ThingML的开源建模工具来实现和验证所提出的方法。ThingML是一种特定于领域的语言和建模工具，可为IoT/CPS领域生成代码生成。ThingML和任何其他IoT/CPS建模工具都不支持建模级别的DA/ML。因此，作为博士论文的主要贡献，我们将有关DA/ML方法和技术的必要语法和语义添加到ThingML的建模语言中。此外，我们支持多个ML库和框架的API，用于自动生成Python和Java中目标软件的源代码。我们的方法支持独立于平台的模型以及特定于平台的模型。此外，我们通过在后台（专家模式）提供自动化ML（AutoML），并通过在设计时进行模型检查约束和提示，来帮助执行半自动化DA/ML任务。最后，我们考虑了来自网络安全、智能能源系统和能源交易市场领域的三个用例场景。

2021-02-12cs.LGcs.SE

为智能IoT适配设计框架

Designing a Framework for Smart IoT Adaptations

物联网（IoT）是连接多个设备的科学，这些设备协调提供相关服务。物联网环境复杂、动态、快速变化且资源受限。因此，主动地使设备适应上下文波动成为一个问题。为了提出合适的配置，应该可以从设备中感测信息，分析数据并相应地重新配置它们。应用于环境服务中，一系列设备可以监测环境指标并对其进行控制，以便提出最佳解决方案或防止资源过度消耗等风险（例如，水和能源）。本文介绍了我们的方法，在设计一个框架的监测和多实例化的连接对象的舰队。首先通过识别车队的特殊性，然后通过将连接的对象指定为动态软件产品线（DSPL），能够在运行时重新调整。

2017-09-25cs.SE

在DevOps-enabled软件开发环境中增强IoT-Systems安全性的实用方法

Creating it from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-enabled Software Development Environment

DevOps描述了一种重新组织软件工程中不同学科协同工作的方式以加快软件交付的方法。然而，将DevOps方法引入组织是一项复杂的任务。一个成功的介绍会产生一组结构化的过程描述。尽管结构，这个过程留下了错误的余地：特别是安全问题是在各个阶段解决的，没有考虑相互依赖性。此外，将DevOps方法应用于分布式实体（如物联网（IoT））是困难的，因为该架构是为桌面和云资源量身定制的。在这项工作中，介绍了DevOps流程各阶段中使用的工具的概述。在安全性或对物联网的适用性方面存在差距。基于这些差距，在研究项目SCRATCh的过程中正在开发的解决方案，并在DevOps环境的好处方面进行了讨论。

2020-10-28cs.NIcs.SE

IoTEdu：学术物联网网络中的访问控制、检测与自动事件响应

IoTEdu: Access Control, Detection, and Automatic Incident Response in Academic IoT Networks

IComp, Universidade Federal do Amazonas (UFAM)（IComp，亚马逊联邦大学）；AI Horizon Labs, Programa de Pós-Graduação em Engenharia de Software (PPGES) Universidade Federal do Pampa (UNIPAMPA)（AI Horizon Labs，软件工程硕士项目，潘帕斯联邦大学）

IoTEdu通过集成访问控制、事件检测和自动阻断技术，提升学术物联网网络的安全性与响应效率。

2025-11-28cs.AIcs.CRcs.NI