The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Hajj is defined as a yearly Islamic pilgrimage to the holy place, Makkah. It is a religious obligation for Muslims who are financially and physically capable to perform. Hajj is one of the five pillars of Islam. The gathering of people during Hajj can be considered as the largest yearly gathering in the world. Every year, thousands of Muslims from all over the world will gather at the holy place during...
In a message-passing system (MPS), components communicate through messages. However, both the time and order in which messages are delivered depend on the execution environment. The resulting nondeterminism may lead to concurrency defects such as message races, making it difficult to thoroughly test and debug MPS. This paper presents a new framework for testing components of an MPS for faults that...
Trends in industrial automation systems are placing more importance on using streams of digitized data to perform various automation functions in real-time, e.g., power, process, and factory automation. To ensure high reliability and availability, individual devices or (sub-)systems thereof need to be tested with respect to their expected real-time behavior in the system context at various stages...
In this paper, we present a real-time drone detection and monitoring system, that users can easily utilize in daily life to detect drones using sound data. This system performs FFT on the sampled real-time data and performs drone detection using the transformed data through two different methods, Plotted Image Machine Learning (PIL) and K Nearest Neighbors (KNN). The PIL uses image data from the visualized...
The aim of this study is to improve and facilitate the methods used to assess risk of falling at home among older people through the computation of a risk of falling in real time in daily activities. In order to increase a real time computation of the risk of falling, a closed-loop balance model is proposed and compared with One-Leg Standing Test (OLST). This balance model allows studying the postural...
We have designed and implemented water quality monitoring using Raspberry Pi3. This device is made to monitor the water quality of aquaculture, which uses an aeration in the form of a microbubble. Some water quality parameters that used in this monitoring are dissolved oxygen (DO), acidity (pH), and temperature. Data processing devices used Raspberry Pi3 and python program used to create a sensor...
A/B testing is one of the most successful applications of statistical theory in the Internet age. A crucial problem of Null Hypothesis Statistical Testing (NHST), the backbone of A/B testing methodology, is that experimenters are not allowed to continuously monitor the results and make decisions in real time. Many people see this restriction as a setback against the trend in the technology toward...
Footwear based activity monitoring systems are becoming popular in academic research as well as consumer industry segments. In our previous work, we had presented developmental aspects of an insole based activity and gait monitoring system-SmartStep, which is a socially acceptable, fully wireless and versatile insole. The present work describes the development of an Android application that captures...
Functional Coverage is a mechanism used in digital integrated circuits functional verification to measure whether the executed test set covered the declared functionality. It helps to examine test scenarios, by providing metrics that give information about the testcase or design-under-test (DUT) reached states (coverage points). SystemVerilog language provides dedicated syntax to make it possible,...
Active exploitation of the previously proposed Set Top Box testing framework has given rise to new requirements such as remote monitoring of test execution. The system described in this paper is web-based and receives periodic updates of each registered test station, thus being a real-time web application. The system displays the video output of each tested device as an MJPEG stream. The large number...
A multi-channel spectrum on-line auto-monitor method for satellite communications signal is designed, which is different from the traditional single-channel method based on the spectrum analyzer. To realize the novel method, a suitable signal monitoring point is selected firstly, a system architecture of "monitoring point & directional coupler & integrated matrix network & spectrum...
Model-based testing of embedded real-time systems is challenging because platform-specific details are often abstracted away to make the models amenable to various analyses. Testing an implementation to expose non-conformance to such a model requires reconciling differences arising from these abstractions. Due to stateful behavior, naive comparisons of model and system behaviors often fail causing...
Run-off test is performed in factory for first few limited production build machines. It verifies all the machine functions possible. The Virtual Vehicle Run-off test is new approach for automation test to perform first level product verification and validation in virtual environment to produce higher quality and productivity. Virtual Vehicle Run-off test helps to perform software PV&V in short...
The use of Information and Communication Technology (ICT)-based power system applications increases continually which poses new engineering challenges regarding the development, validation and management of both - the applications and the intertwined infrastructures. In this paper the need for a joint analysis of power and ICT systems for evaluating smart grid applications is discussed and a systematic...
The manufacturing industries tend to meet the ever increasing demands of people thus playing a major role in everyday life. On the other hand, there is a need for fast and safe manufacturing process as well. Large scale industries with better financial health can easily make use of SCADA (Supervisory Control and Data Acquisition) devices available in the market. SCADA helps to overlook the process...
A combination of several activities is required to solve a development task, but in the end, developer reports only part of it. It is difficult to understand whether all committed files were changed because of the reason in a given description. Software developers work on multiple tasks at once and often fail to distinguish them with separate commits because of their unknowingness, as well as of limitations...
This paper presents a tool, called PTTAC, that automatizes a formal framework to perform passive testing for systems where there is an asynchronous communications channel between the tester and the system. Given a property, the methodology allows us to check that a trace being observed satisfies that property. The proposed solution checks properties against traces in polynomial time, with a low need...
This work develops an automated household utility power monitoring system and data logging in real-time. It utilizes the Arduino Uno Rev3 Microcontroller board intended for use in conjunction with the ATmega328 chip. For monitoring these parameters, it will be connected to a current transformer through the current and voltage sensor circuit. The system will convert these raw data to digital input...
There is a continual growth of test and validation in high reliability product applications such as automotive, military and avionics. Principally this is driven by increased use and complexity of electronic systems installed in vehicles in addition to increased end user reliability expectations. Furthermore product development cycles continue to reduce, resulting in less available time to perform...
An opportunity exists for automated clinical decision support, in which raw source data from a conventional physiological monitoring system are continuously streamed to an independent analysis platform. Such a system would enable a wider range of functionality than offered by the source monitoring system. Although vendor solutions for this purpose are emerging, we developed our own system in order...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.