C. Damian, Cosmin Ursache, S. Alboaie, Rafael Maştaleru, Andrei Panu, L. Alboaie
{"title":"在物联网软件环境中使用双重检查机制","authors":"C. Damian, Cosmin Ursache, S. Alboaie, Rafael Maştaleru, Andrei Panu, L. Alboaie","doi":"10.1109/ICEPE.2018.8559800","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":343896,"journal":{"name":"2018 International Conference and Exposition on Electrical And Power Engineering (EPE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Using Double-Check Mechanism in IoT Software Environments\",\"authors\":\"C. Damian, Cosmin Ursache, S. Alboaie, Rafael Maştaleru, Andrei Panu, L. Alboaie\",\"doi\":\"10.1109/ICEPE.2018.8559800\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":343896,\"journal\":{\"name\":\"2018 International Conference and Exposition on Electrical And Power Engineering (EPE)\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 International Conference and Exposition on Electrical And Power Engineering (EPE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICEPE.2018.8559800\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 International Conference and Exposition on Electrical And Power Engineering (EPE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICEPE.2018.8559800","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.