当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Towards a modeling and analysis environment for industrial IoT systems
arXiv - CS - Programming Languages Pub Date : 2021-05-28 , DOI: arxiv-2105.14136
Felicien IhirweInnovation Technology Services Lab, Intecs Solutions Spa, Pisa, ItalyDepartment of Information Engineering Computer Science and Mathematics, University of L'Aquila, L'Aquila, Italy, Davide Di RuscioDepartment of Information Engineering Computer Science and Mathematics, University of L'Aquila, L'Aquila, Italy, Silvia MazziniInnovation Technology Services Lab, Intecs Solutions Spa, Pisa, Italy, Alfonso PierantonioDepartment of Information Engineering Computer Science and Mathematics, University of L'Aquila, L'Aquila, Italy

The development of Industrial Internet of Things systems (IIoT) requires tools robust enough to cope with the complexity and heterogeneity of such systems, which are supposed to work in safety-critical conditions. The availability of methodologies to support early analysis, verification, and validation is still an open issue in the research community. The early real-time schedulability analysis can help quantify to what extent the desired system's timing performance can eventually be achieved. In this paper, we present CHESSIoT, a model-driven environment to support the design and analysis of industrial IoT systems. CHESSIoT follows a multi-view, component-based modelling approach with a comprehensive way to perform event-based modelling on system components for code generation purposes employing an intermediate ThingML model. To showcase the capability of the extension, we have designed and analysed an Industrial real-time safety use case.

中文翻译:

面向工业物联网系统的建模和分析环境

工业物联网系统 (IIoT) 的开发需要足够强大的工具来应对此类系统的复杂性和异构性,这些系统应该在安全关键条件下工作。支持早期分析、验证和验证的方法的可用性仍然是研究界的一个悬而未决的问题。早期的实时可调度性分析可以帮助量化最终可以实现所需系统时序性能的程度。在本文中,我们介绍了 CHESSIoT,这是一个模型驱动的环境,用于支持工业物联网系统的设计和分析。CHESSIoT 遵循多视图、基于组件的建模方法,采用综合方法对系统组件执行基于事件的建模,以使用中间 ThingML 模型生成代码。
更新日期:2021-06-01
down
wechat
bug