CSP-Based Sensor Network Architecture for Reconfigurable Measurement Systems

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.