面向工业物联网系统的建模与分析环境
软件工程
2021-06-04 v2 编程语言
摘要
工业物联网系统(IIoT)的开发需要足够鲁棒的工具来应对此类系统的复杂性与异构性,这些系统应在安全关键条件下运行。支持早期分析、验证与确认的方法学的可用性仍是研究界的一个开放问题。早期实时可调度性分析有助于量化期望的系统时序性能最终可在多大程度上实现。在本文中,我们提出CHESSIoT,一种支持工业物联网系统设计与分析的模型驱动环境。CHESSIoT遵循多视图、基于组件的建模方法,并采用中间ThingML模型以全面方式对系统组件进行基于事件的建模以用于代码生成。为展示该扩展的能力,我们设计并分析了一个工业实时安全用例。
引用
@article{arxiv.2105.14136,
title = {Towards a modeling and analysis environment for industrial IoT systems},
author = {Felicien Ihirwe and Davide Di Ruscio and Silvia Mazzini and Alfonso Pierantonio},
journal= {arXiv preprint arXiv:2105.14136},
year = {2021}
}
备注
7 figures, 10 pages