DocumentCode
1791458
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
fYear
2014
fDate
14-16 Oct. 2014
Firstpage
1053
Lastpage
1057
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Image and Signal Processing (CISP), 2014 7th International Congress on
Conference_Location
Dalian
Type
conf
DOI
10.1109/CISP.2014.7003935
Filename
7003935
Link To Document