Towards a modeling and analysis environment for industrial IoT systems
This work addresses the need for robust methodologies in IIoT development, which is crucial for researchers and engineers in safety-critical domains, though it appears incremental as it builds on existing modeling approaches.
The paper tackles the lack of tools for early analysis and verification in complex, safety-critical Industrial IoT systems by presenting CHESSIoT, a model-driven environment that supports design and analysis, demonstrated through an industrial real-time safety use case.
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.