CSP-based sensor network architecture for reconfigurable measurement systems

Szilárd Jaskó, G. Simon

Research output: Article

6 Citations (Scopus)

Abstract

A reconfigurable sensor-networking architecture is proposed, which is constructed from lightweight functional elements running on small virtual machines. The proposed architecture provides a flexible measurement framework that is easily adaptable to changing system requirements in run-time. The system is based on Communicating Sequential Processes and thus provides the possibility of verification and checking of system correctness in order to produce provably robust and reliable measurement systems. The structural deadlock-free property of the network is formally proven.

Original languageEnglish
Article number5733411
Pages (from-to)2104-2117
Number of pages14
JournalIEEE Transactions on Instrumentation and Measurement
Volume60
Issue number6
DOIs
Publication statusPublished - jún. 2011

Fingerprint

Network architecture
Sensor networks
Computer systems
communicating
sensors
requirements
Sensors
Virtual machine

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Instrumentation

Cite this

CSP-based sensor network architecture for reconfigurable measurement systems. / Jaskó, Szilárd; Simon, G.

In: IEEE Transactions on Instrumentation and Measurement, Vol. 60, No. 6, 5733411, 06.2011, p. 2104-2117.

Research output: Article

@article{1c77cef3a26e42e29c7611854988ccfd,
title = "CSP-based sensor network architecture for reconfigurable measurement systems",
abstract = "A reconfigurable sensor-networking architecture is proposed, which is constructed from lightweight functional elements running on small virtual machines. The proposed architecture provides a flexible measurement framework that is easily adaptable to changing system requirements in run-time. The system is based on Communicating Sequential Processes and thus provides the possibility of verification and checking of system correctness in order to produce provably robust and reliable measurement systems. The structural deadlock-free property of the network is formally proven.",
keywords = "Communicating Sequential Processes (CSP), intelligent sensors, multisensor systems, reconfigurable architectures, reliability",
author = "Szil{\'a}rd Jask{\'o} and G. Simon",
year = "2011",
month = "6",
doi = "10.1109/TIM.2011.2117210",
language = "English",
volume = "60",
pages = "2104--2117",
journal = "IEEE Transactions on Instrumentation and Measurement",
issn = "0018-9456",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "6",

}

TY - JOUR

T1 - CSP-based sensor network architecture for reconfigurable measurement systems

AU - Jaskó, Szilárd

AU - Simon, G.

PY - 2011/6

Y1 - 2011/6

N2 - A reconfigurable sensor-networking architecture is proposed, which is constructed from lightweight functional elements running on small virtual machines. The proposed architecture provides a flexible measurement framework that is easily adaptable to changing system requirements in run-time. The system is based on Communicating Sequential Processes and thus provides the possibility of verification and checking of system correctness in order to produce provably robust and reliable measurement systems. The structural deadlock-free property of the network is formally proven.

AB - A reconfigurable sensor-networking architecture is proposed, which is constructed from lightweight functional elements running on small virtual machines. The proposed architecture provides a flexible measurement framework that is easily adaptable to changing system requirements in run-time. The system is based on Communicating Sequential Processes and thus provides the possibility of verification and checking of system correctness in order to produce provably robust and reliable measurement systems. The structural deadlock-free property of the network is formally proven.

KW - Communicating Sequential Processes (CSP)

KW - intelligent sensors

KW - multisensor systems

KW - reconfigurable architectures

KW - reliability

UR - http://www.scopus.com/inward/record.url?scp=79955945550&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79955945550&partnerID=8YFLogxK

U2 - 10.1109/TIM.2011.2117210

DO - 10.1109/TIM.2011.2117210

M3 - Article

AN - SCOPUS:79955945550

VL - 60

SP - 2104

EP - 2117

JO - IEEE Transactions on Instrumentation and Measurement

JF - IEEE Transactions on Instrumentation and Measurement

SN - 0018-9456

IS - 6

M1 - 5733411

ER -