Title :
A formal description for protocols in WSN based on STeC language
Author :
Wang Na ; Liu DongQian ; He KangLi
Author_Institution :
Sch. of Comput. & Inf., Shanghai Second Polytech. Univ., Shanghai, China
Abstract :
Sensors are usually used in real-time system Since time constraint is an important requirement in real-time system, it is necessary to formalize the protocols in WSN by emphasizing on consistence of temporal and spatial. STeC is a language looking like an extension of process systems CSP and CCS including actions and communication. But it stresses the spatial-temporal consistence of real-time systems. This spatial-temporal consistence means that agents do its tasks when it arrives at required location or time. These locations may be physical spaces or states that agents stay. The time concept here stresses at what time it executes and how long it maintains. STeC can easily describe the protocols in WSN with no attention on its location parameter.
Keywords :
formal languages; formal specification; protocols; real-time systems; spatiotemporal phenomena; wireless sensor networks; STeC language; WSN; formal description; location parameter; process system CCS; process system CSP; protocols; real-time system; spatial-temporal consistence; time concept; wireless sensor networks; Educational institutions; Frequency synchronization; Lead; Performance analysis; Protocols; Synchronization; Wireless sensor networks; STeC; formal description; protocols; temporal; wireless sensor network;
Conference_Titel :
Computer Science & Education (ICCSE), 2013 8th International Conference on
Conference_Location :
Colombo
Print_ISBN :
978-1-4673-4464-7
DOI :
10.1109/ICCSE.2013.6554043
