Automated configuration,simulation and verification platform for event-driven home automation IoT system by Qiuping ZHANG, Xizao WANG, Siyuan SHEN, Shiyu ZHANG, Lei BU, Xuandong LI

“…The IFTTT style event-driven programming paradigm benefits normal users to build their own customized home automation Internet of things (IoT) system,meanwhile,it also brings serious safety and security risks.To handle this problem,Menshen was designed and implemented,an automated configuration,simulation and verification platform for event-driven home automation IoT system based on model checking.Users can easily set up their own smart home systems in Menshen,and conduct simulation and verification in a push-button style.Menshen could further demonstrate the error trace to help users to understand the behavior of the system and increase the safety and security of the system.An experiment with a large number of cases is carried out,and the results show that 86.7% cases are error-prone,and the verification only took 0.7 seconds in average.…”
Get full text

Ludwig: A Training Simulator of the Safety Operation of a CANDU Reactor by Gustavo Boroni, Alejandro Clausse

“…The design of the application was performed using the object-oriented programming paradigm, incorporating an event-driven process to reflect the action of the human operators and the automatic control system. …”
Get full text

A Binary Cuckoo Search Big Data Algorithm Applied to Large-Scale Crew Scheduling Problems by José García, Francisco Altimiras, Alvaro Peña, Gino Astorga, Oscar Peredo

“…In this article, we propose a cuckoo search binary algorithm using the MapReduce programming paradigm implemented in the Apache Spark tool. …”
Get full text

Peer-to-Peer Jini for Truly Service-Oriented WSNs by António Pereira, Nuno Costa, Carlos Serôdio

“…The new software stack offers a truly service-oriented approach to design and implement applications and follows a widely accepted programming language and programming paradigm.…”
Get full text

Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning by Sangwoo Park, Osvaldo Simeone

“…Quantum machine learning is a promising programming paradigm for the optimization of quantum algorithms in the current era of noisy intermediate-scale quantum computers. …”
Get full text

Improving the Performance of Whale Optimization Algorithm through OpenCL-Based FPGA Accelerator by Qiangqiang Jiang, Yuanjun Guo, Zhile Yang, Zheng Wang, Dongsheng Yang, Xianyu Zhou

“…In this paper, field programmable gate array (FPGA) is used as an accelerator, of which the high-level synthesis utilizes open computing language (OpenCL) as a general programming paradigm for heterogeneous System-on-Chip. With above platform, a novel parallel framework of WOA named PWOA is presented. …”
Get full text

Modeling a Heterogeneous Embedded System in Coloured Petri Nets by Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun

“…Interactions of different devices require programmers to master programming paradigms in all related languages. So, a defect may occur if differences in systems' behaviors are ignored. …”
Get full text