Formal Specification of a Truck Geo-Location Big-Data Application
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2017, Vol 8, Issue 4
Abstract
In the last few year’s social networks, e-commerce, mobile commerce, and sensor networks have resulted into an exponential increase in data size. This data comes in all formats i.e. structured, un-structured and semi-structured. To efficiently extract useful information from these huge data sources is important. This information can play a central role in making future decisions and strategies. A truck geo-location big-data application integrated with formal model is proposed. The truck geo-location data is un-structured and it is accessed and manipulated by Hadoop query engine. Labelled transition system based formal model of the application is proposed to ensure safety and liveness properties of correctness.
Authors and Affiliations
Ayman Naseem, Nadeem Akhtar, Malik Saad Missen
Keywords
Related Articles
- EP ID EP258362
- DOI 10.14569/IJACSA.2017.080447
- Views 81
- Downloads 0
The Modelling Process of a Paper Folding Problem in GeoGebra 3D
In this research; a problem situation, which requires the ability of thinking in three dimensions, was developed by the researchers. As the purpose of this paper is producing a modeling task suggestion, the problem was v...
An Adaptive Key Exchange Procedure for VANET
VANET is a promising technology for intelligent transport systems (ITS). It offers new opportunities aiming at improving the circulation of vehicles on the roads and improving road safety. However, vehicles are interconn...
CryptoROS: A Secure Communication Architecture for ROS-Based Applications
Cyber-attacks are a growing threat to future robots. The shift towards automatization has increased relevance and reliance on robots. Securing robots has been secondary or ternary priority and thus robots are vulnerable...
UHF RFID Reader Antenna using Novel Planar Metamaterial Structure for RFID System
An Ultra High Frequency (UHF) half-loop antenna used in Radio Frequency Identification (RFID) systems is proposed with a planar patterned metamaterial structure of compact size. The size of the planar patterned metamater...
Analysis of the SNR Estimator for Speech Enhancement Using a Cascaded Linear Model
Elimination of tainted noise and improving the overall quality of a speech signal is speech enhancement. To gain the advantage of individual algorithms we propose a new linear model and that is in the form of cascade ada...