A Safety-Critical System is a System whose break-down may cause disastrous effects to the environment, damage the system, or cause loss of life. Sometimes loss or misuse of information can indirectly cause harmful impacts due to system failure. In this paper, we study the various components of a drone system and analyze the safety of this Safety-Critical System (SCS) by looking into the potential failure using Fault Tree Analysis (FTA). Drone system failure or crash has been specified and verified using the Temporal Logic of Actions (TLA+) tool. The TLA+ tool consists of mathematical notations to describe the system specification using discrete mathematical concepts or formal methods. We tried to build a TLA+ Specification and Verification for this drone system, parse it using the TLC model checker successfully, and observed the final number of states to justify the correctness of the specification.

There is an exponential increase in the use of Industrial Internet of Things (IIoT) devices for controlling and monitoring the machines in an automated manufacturing industry. Different temperature sensors, pressure sensors, audio sensors, and camera devices are used as IIoT devices for pipeline monitoring and machine operation control in the industrial environment. But, monitoring and identifying the machine malfunction in an industrial environment is a challenging task. In this article, we consider machines fault diagnosis based on their operating sound using the fog computing architecture in the industrial environment. The different computing units, such as industrial controller units or micro data center are used as the fog server in the industrial environment to analyze and classify the machine sounds as normal and abnormal. The linear prediction coefficients and Mel-frequency cepstral coefficients are extracted from the machine sound to develop and deploy supervised machine learning (ML) models on the fog server to monitor and identify the malfunctioning machines based on the operating sound. The experimental results show the performance of ML models for the machines sound recorded with different signal-to-noise ratio levels for normal and abnormal operations.

In this paper, we propose a novel HYBRID Bio-Inspired algorithm for task scheduling and resource management, since it plays an important role in the cloud computing environment. Conventional scheduling algorithms such as Round Robin, First Come First Serve, Ant Colony Optimization etc. have been widely used in many cloud computing systems. Cloud receives clients tasks in a rapid rate and allocation of resources to these tasks should be handled in an intelligent manner. In this proposed work, we allocate the tasks to the virtual machines in an efficient manner using Modified Particle Swarm Optimization algorithm and then allocation / management of resources (CPU and Memory), as demanded by the tasks, is handled by proposed HYBRID Bio-Inspired algorithm (Modified PSO + Modified CSO). Experimental results demonstrate that our proposed HYBRID algorithm outperforms peer research and benchmark algorithms (ACO, MPSO, CSO, RR and Exact algorithm based on branch-and-bound technique) in terms of efficient utilization of the cloud resources, improved reliability and reduced average response time.

In today's world we need to maintain safety and security of the people around us. So we need to have a well connected surveillance system for keeping active information of various locations according to our needs. A real-time object detection is very important for many applications such as traffic monitoring, classroom monitoring, security & rescue, and parking system. From past decade, Convolutional Neural Networks is evolved as a powerful models for recognizing images and videos and it is widely used in the computer vision related work for the best and most used approach for different problem scenario related to object detection and localization. In this work, we have proposed a deep convolutional network architecture to automate the parking system in smart campus with modified Single-shot Multibox Detector (SSD) approach. Further, we created our dataset to train and test the proposed computer vision technique. The experimental results demonstrated an accuracy of 71.2% for the created dataset.

Blindness disables a person from self-navigating outside well-known environments. It affects their ability to perform several jobs, duties, and activities. They are dependent on external assistance which can be provided by humans, dogs or special electronic devices for better decision making. This motivated us to create a prototype called “Smart cane for assisting visually impaired people” to overcome the problems they face in their daily life. Our device is a low cost and lightweight system that processes signals and alerts the visually impaired over any obstacle, potholes or water puddles through different beeping patterns. It senses the light intensity of the environment and illuminates the LED accordingly. These are accomplished by incorporating two ultrasonic sensors, a moisture sensor and a LDR sensor along with an Arduino Nano micro-controller. These are placed at specific positions of the cane for efficient guidance. Moreover, a GSM module is also added to the system so that the visually impaired person can send a message to the emergency contact number in case of distress. The developed model showed 89 percent accuracy and 80 percent of the users were satisfied with the developed prototype.

Internet of Thing (IoT) applications require an efficient platform for processing big data. Different computing techniques such as Cloud, Edge, and Fog are used for processing big data. The main challenge in the fog computing environment is to minimize both energy consumption and makespan for services. The service allocation techniques on a set of virtual machines (VMs) is the decidable factor for energy consumption and latency in fog servers. Hence, the service allocation in fog environment is referred to as NP-hard problem. In this work, we developed a hybrid algorithm using Genetic Algorithm (GA) and Particle Swarm Optimization (PSO) technique to solve this NP-hard problem. The proposed GA-PSO is used for optimal allocation of services while minimizing the total makespan, energy consumption for IoT applications in the fog computing environment. We implemented the proposed GA-PSO using customized C++ simulator, and the results demonstrate that the proposed GA-PSO outperforms both GA and PSO techniques when applied individually.

One of the major challenges in a smart classroom environment is to develop a computer vision based unobtrusive classroom attendance management system. Traditional classroom environment follows a manual attendance marking system either by calling the student's names or by forwarding an attendance sheet; both interrupts the teaching-learning process and also consume a lot of time. Further, it can be erroneous due to factors such as students' proxy etc. In this paper, we propose an unobtrusive face recognition based smart classroom attendance management system using the high definition rotating camera for capturing the faces of students. The proposed system uses Max-Margin Face Detection (MMFD) technique for the face detection and the model is trained using the Inception-V3 CNN technique for the students' identification. The proposed smart classroom system was tested for a classroom with 20 students at National Institute of Technology Karnataka Surathkal, Mangalore, India and we got the experimental results demonstrate the train and test accuracy of 97.67% and 96.66%, respectively.

Nowadays, analysing the students' engagement using non-verbal cues is very popular and effective. There are several web camera based applications for predicting the students' engagement in an e-learning environment. But there are very limited works on analyzing the students' engagement using the video surveillance cameras in a teaching laboratory. In this paper, we propose a Convolutional Neural Networks based methodology for analysing the students' engagement using video surveillance cameras in a teaching laboratory. The proposed system is tested on five different courses of computer science and information technology with 243 students of NITK Surathkal, Mangalore, India. The experimental results demonstrate that there is a positive correlation between the students' engagement and learning, thus the proposed system outperforms the existing systems.

With the exponential growth in areas of machine intelligence, the world has witnessed promising solutions to the personalized content recommendation. The ability of interactive learning agents to take optimal decisions in dynamic environments has been very well conceptualized and proven by Reinforcement Learning (RL). The learning characteristics of Deep-Bidirectional Recurrent Neural Networks (DBRNN) in both positive and negative time directions has shown exceptional performance as generative models to generate sequential data in supervised learning tasks. In this paper, we harness the potential of the said two techniques and strive to create personalized video recommendation through emotional intelligence by presenting a novel context-aware collaborative filtering approach where intensity of users' spontaneous non-verbal emotional response towards recommended video is captured through system-interactions and facial expression analysis for decision-making and video corpus evolution with real-time data streams. We take into account a user's dynamic nature in the formulation of optimal policies, by framing up an RL-scenario with an off-policy (Q-Learning) algorithm for temporal-difference learning, which is used to train DBRNN to learn contextual patterns and generate new video sequences for the recommendation. Evaluation of our system with real users for a month shows that our approach outperforms state-of-the-art methods and models a user's emotional preferences very well with stable convergence.

A perceptually motivated method is proposed for solving the permutation ambiguity of frequency-domain independent component analysis when the mixing environment is noisy and reverberant. In this method, perceptually irrelevant frequencies are removed from the speech spectrum using block based perceptual masking (simultaneous frequency masking) and then independent component analysis is applied. After source separation in frequency domain, a physical property of the mixing matrix, i.e., the coherency in adjacent frequencies, is utilized to solve the permutation ambiguity. From the simulation results it appears that the perceptual masking avoids the permutation problem.