Title: Intra-vehicular verification and control: a two-pronged approach

Authors: Atif Alvi; Zubair Nabi; David J. Greaves; Rashid Mehmood

Addresses: Department of Computer Science, Lahore University of Management Sciences, Lahore 54792, Pakistan. ' Department of Computer Science, Lahore University of Management Sciences, Lahore 54792, Pakistan. ' Computer Laboratory, University of Cambridge, Cambridge CB3 0FD, UK. ' School of Engineering, University of Swansea, Swansea SA2 8PP, UK

Abstract: Modern vehicles are equipped with hundreds of embedded networked components with computational, sensory and actuation powers. Reliable functioning and interaction of these components are vital for the safety of the vehicle and its passengers. We present an architecture that deals with the intra-vehicular network at both component and system levels. At the component level, our technique formally verifies compatibility of each component with the rest of the system. At the system level, we provide means to define overall behaviour by using first-order logic rules in an ontological space. Overall, we eliminate the hazards associated with integrating heterogeneous components in a car network domain and enable a knowledgeable user to define network behaviour easily.

Keywords: vehicular networks; pervasive computing; real-time systems; ontology; rule-based control; verification; feature interaction; vehicle safety; component integration.

DOI: 10.1504/IJVICS.2011.044265

International Journal of Vehicle Information and Communication Systems, 2011 Vol.2 No.3/4, pp.248 - 268

Published online: 14 Dec 2011 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article