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.
@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}
}