Using Double-Check Mechanism in IoT Software Environments

This paper presents the possibility to add asserts, validation and security checks in Internet of Things (IoT) software environments based on executable choreographies. These techniques can be applied to any software system that uses Node.JS (javascript on servers) as programming platform. Double-check is a Node.JS module that puts together mechanisms like logging, exception handling, asserts, checks, and other type of semantic checks. The main functions of the module and few examples are presented in the paper and for more examples and an updated version the PrivateSKY github page can be accessed.