Title :
Petri based formal verification of device management protocol for a lighting control system
Author :
Yujian Jiang ; Jingjing Zhang ; Wei Jiang ; Hui Ren
Author_Institution :
Sch. of ST, Commun. Univ. of China, Beijing, China
Abstract :
A Protocol Strategy of Device Management for lighting control system in ACN is analyzed. Through Petri based formal verification, a Petri model of DMP is built. The rationality of the model is validated. The reliability and circulation characteristics are also proved. Through Rationality, Reliability and circulation characteristics, we prove that DMP is reachable. The Protocol Strategy of Device Management for lighting control system is feasible.
Keywords :
Petri nets; lighting control; protocols; ACN; Architecture for Control Networks; DMP; Petri based formal verification; Petri net; device management protocol; lighting control system; Formal verification; Lighting; Lighting control; Mathematical model; Protocols; Reliability; Subscriptions; DMP; Lighting Control; Petri; Protocol;
Conference_Titel :
Image and Signal Processing (CISP), 2014 7th International Congress on
Conference_Location :
Dalian
DOI :
10.1109/CISP.2014.7003935
