Towards a modeling and analysis environment for industrial IoT systems

Abstract

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.

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

“…Note that a CHESSIoT user will not need ThingML knowledge to generate code. For full access to the CHESSIoT approach, please consult our previous work [2]. IV.…”

“…Even though there are some model-driven engineering approaches and tools to help with the development of IoT systems, few of them provide developers with analysis features [2]. In this paper, we present the CHESSIoT environment, a domain-specific modeling environment for complex IoT applications.…”