MUTUAL EXCLUSION IN CYBER-PHYSICAL SYSTEMS

Sumeet Gujrati, Gurdip Singh

2012

Abstract

Distributed computing problems such as mutual exclusion have been studied extensively for traditional distributed systems. In traditional systems, a strict layered approach is taken wherein a set of users (application processes) U1; : : : ;Un is layered on top of a mutual exclusion algorithm with processes P1; : : : ;Pn. User Ui interacts with process Pi to request access to resources which are modeled as tokens, and users rely entirely on mutual exclusion algorithm to regulate access to the resources. In a cyber-physical system, users (physical entities) may themselves possess capabilities such as sensing, observing and mobility using which they may also attempt to locate physical resources such as wheelchairs. Thus, a mutual exclusion algorithm in a cyber-physical system must contend with the behavior of users. This paper proposes a graph-based model for cyber-physical systems which is used to describe mutual exclusion algorithm as well as user behavior. Based on this model, we present several solutions for the mutual exclusion problem. We have also conducted an extensive simulation study of our algorithms using OMNeT++ discrete event simulation system.

Paper Citation

in Harvard Style

Gujrati S. and Singh G. (2012). MUTUAL EXCLUSION IN CYBER-PHYSICAL SYSTEMS . In Proceedings of the 1st International Conference on Sensor Networks - Volume 1: SENSORNETS, ISBN 978-989-8565-01-3, pages 73-79. DOI: 10.5220/0003834800730079

in Bibtex Style

@conference{sensornets12,
author={Sumeet Gujrati and Gurdip Singh},
title={MUTUAL EXCLUSION IN CYBER-PHYSICAL SYSTEMS},
booktitle={Proceedings of the 1st International Conference on Sensor Networks - Volume 1: SENSORNETS,},
year={2012},
pages={73-79},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003834800730079},
isbn={978-989-8565-01-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Sensor Networks - Volume 1: SENSORNETS,
TI - MUTUAL EXCLUSION IN CYBER-PHYSICAL SYSTEMS
SN - 978-989-8565-01-3
AU - Gujrati S.
AU - Singh G.
PY - 2012
SP - 73
EP - 79
DO - 10.5220/0003834800730079