Early model-driven timing validation of IoT-compliant use cases

Several IoT platforms, with support for a rich set of device libraries, facilitate rapid development of embedded IoT applications. But, none of the approaches deal with the analysis of performance characteristics. An example is the early timing validation of IoT use cases in specialized timing analysis tools. Addressing this gap, a generic workflow for a quick, early model-driven, system-level timing validation of IoT compliant hand-written code in specialized timing analysis tools, such as SymTA/S, is proposed in this paper. A prototype implementation of the workflow and its experimental evaluation in a novel, IoT-compliant real-time emission monitoring use case is presented. The main benefit of the proposed workflow is the early feedback regarding performance characteristics of the embedded IoT application, under varying timing constraints.

[1]  Dorina C. Petriu,et al.  Software Model‐based Performance Analysis , 2013 .

[2]  Matthias Jarke,et al.  IoT Link: An Internet of Things Prototyping Toolkit , 2014, 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops.

[3]  Christian Prehofer,et al.  From Internet of Things Mashups to Model-Based Development , 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

[4]  Cinzia Cappiello,et al.  A NFP Model for Internet of Things applications , 2014, 2014 IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

[5]  Kleanthis Thramboulidis,et al.  IoT-based integration of IEC 61131 industrial automation systems: The case of UML4IoT , 2016, 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE).

[6]  Padma Iyenghar,et al.  End-to-end path delay estimation in embedded software involving heterogeneous models , 2016, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).

[7]  Padma Iyenghar,et al.  A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems , 2016, Software Quality Journal.

[8]  Padma Iyenghar,et al.  A novel approach towards model-driven reliability analysis of Simulink models , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).