Facial reconstruction

Search LJMU Research Online

Browse Repository | Browse E-Theses

Rail Internet of Things: An Architectural Platform and Assured Requirements Model

Hashem Eiza, M, Randles, M, Johnson, P, Shone, N, Pang, J and Bhih, A (2015) Rail Internet of Things: An Architectural Platform and Assured Requirements Model. In: 15th IEEE International Conference on Computer and Information Technology (CIT-2015) . pp. 364-370. (15th IEEE International Conference on Computer and Information Technology (CIT-2015), 26th - 28th October 2015, Liverpool).

[img]
Preview
Text
PID3904841.pdf - Accepted Version

Download (429kB) | Preview

Abstract

Given the plethora of individual preferences and requirements of public transport passengers for travel, seating, catering, etc., it becomes very challenging to tailor generic services to individuals’ requirements using the existing service platforms. As tens of thousands of sensors have been already deployed along roadsides and rail tracks, and on buses and trains in many countries, it is expected that the introduction of IP networking will revolutionise the functionality of public transport in general and rail services in particular. In this paper, we propose a new communication paradigm to improve rail services and address the requirement of rail service users: the Rail Internet of Things (RIoT). To the best of our knowledge, it is the first work to define the RIoT and design an architectural platform that includes its components and the data communication channels. Moreover, we develop an assured requirements model using the situation calculus modelling to represent the fundamental requirements for adjustable, decentralised feedback control mechanisms necessary for the RIoT-ready software systems. The developed formal model is applied to demonstrate the design of passenger assistance software that interacts with the RIoT ecosystem and provides passengers with real-time information that is tailored to their requirements with runtime adaptability.

Keywords—Assistance; Assured model; Inclusive; IoT; Rail
Internet of Things (RIoT); Situation Calculus

Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Computer Science & Mathematics
Publisher: IEEE
Date Deposited: 25 Sep 2015 13:52
Last Modified: 13 Apr 2022 15:13
URI: https://researchonline.ljmu.ac.uk/id/eprint/2080
View Item View Item