Search

This paper describes a methodological study carried out between 2018 and 2022, at Rey Juan Carlos University, focused on the subject monitoring and control systems within a master's program in Industrial Engineering. The study proposes an innovative teaching strategy using problem‐based learning and project‐based learning methodologies. The projects undertaken are based on Internet of Things (IoT) systems aimed at enhancing weather stations, services and facilitating real‐time decision‐making. Inspired by our experience in the development of Industry 4.0 projects, we have designed a methodological strategy for this subject that focuses on providing students with the necessary knowledge and skills in the field of Control and Monitoring Systems and the IoT to develop real monitoring and control systems. The approach emphasizes interdisciplinary problem‐solving, with students working collaboratively in stable teams. Throughout the 16‐week course, tasks of increasing complexity are completed, resulting in the development of a complete system. The practical approach of the course and its relation to real applications motivates students, resulting in better performance. The acquired techniques and skills from the course are broadly applicable across engineering disciplines. [ABSTRACT FROM AUTHOR]

Although the market demand for smart devices (SDs) in the Internet of Things (IoT) era is surging, the corresponding thunderstorm protection measures have rarely attracted attention. This paper presents a thunderstorm prediction method with elevation correction, to reduce the thunderstorm damage to SDs by visually tracking thunderstorm activities. First, a self‐made three‐dimensional atmospheric electric field apparatus (3DAEFA) deployed in IoT is developed to collect real‐time AEF data. A 3DAEFA‐based localization model is established, and the localization formula after correction is derived. AEF data predicted by the bi‐directional long short‐term memory (BiLSTM) model are input to this formula to obtain thunderstorm point charge localization results. Then, the localization skill is evaluated. Finally, the proposed method is assessed in experiments, under single and multiple point charge conditions. There are significant reductions of at least 33.1% and 8.8% in ranging and elevation angle errors, respectively. Particularly, this post‐prediction correction reduces the deviation of fitted point charge moving paths by at most 0.189 km, demonstrating excellent application effects. Comparisons with radar charts and existing methods testify that this method can effectively predict thunderstorms. [ABSTRACT FROM AUTHOR]

With the rapid popularization of smart devices, the applications and technologies of the Internet of Things (IoT) are in high demand worldwide, especially in improving development efficiency and ensuring system quality, reliability, and security. Formal methods have been successfully used to specify, verify, and analyze software and hardware systems, effectively alleviating the above problems in these systems. However, most of the existing works mainly focus on the practical applications of IoT, and there is a lack of research on modeling and analyzing IoT systems from the perspective of formal methods. In this paper, we first propose a secure mobile real‐time process calculus for specifying and reasoning about IoT systems, called SMrCaIT, which supports not only value‐passing communication but also name‐passing communication. In addition, this calculus can strictly separate process actions and mobility modeling by providing parametric mobility models. Subsequently, we present the operational semantics of this calculus, in particular, the rules on how to secure channel communication by closing the scope of a channel and handling scope extrusion. Taking vehicle ad hoc network (VANET) as a case, the application details of SMrCaIT and its operational semantics are fully demonstrated. By using the rewrite engine Real‐Time Maude, we further implement SMrCaIT and its operational semantics and verify some properties of the VANET case to indicate the effectiveness of our calculus in real‐world scenes. [ABSTRACT FROM AUTHOR]

Summary: The cloud computing systems, such as the Internet of Things (IoT), are usually introduced with a three‐layer architecture (IoT‐Fog‐Cloud) for the task offloading that is a solution to compensate for resource constraints in these systems. Offloading at the right location is the most significant challenge in this field. It is more appropriate to offload tasks to fog than to cloud based on power and performance metrics, but its resources are more limited than the resources of the cloud. This paper tries to optimize these factors in the fog by specifying the number of usable servers in the fog. For this purpose, we model a fog computing system using the queueing theory. Furthermore, binary search and reinforcement learning algorithms are proposed to determine the minimum number of servers with the lowest power consumption. We evaluate the cost of the fog in different scenarios. By solving the model, we find that the proposed dispatching policy is very flexible and outperformed the known policies by up to 31% and in no case is it worse than either of them, and the overall offloading cost increases when fog rejects tasks with a high probability. Our offloading method is more effective than running all fog servers simultaneously, based on simulation results. It is evident from the similarities between the simulation results and those derived from the analytical method that the model and results are valid. [ABSTRACT FROM AUTHOR]