@inproceedings{6ea3f8f285934e409e49c8a247ecfc4b,
title = "An Event-B interpretation for SPARDL model",
abstract = "Real time systems consisting of periodic behaviors together with the mode transition mechanism are largely applied in the development of control systems for spacecrafts and automobiles in industry. We have proposed a requirement modeling language called SPARDL for modeling and analyzing such periodic control systems in [11]. In this paper, we specify an Event-B interpretation for the SPARDL model. The semantics of SPARDL is presented by Event-B and a refinement framework is introduced to develop the Event-B models based on the features of the SPARDL model. Furthermore, a case study is analyzed to show the effectiveness of our proposed approach to modeling and validation of the SPARDL model by Event-B.",
keywords = "Event-B, Requirement analysis, SPARDL",
author = "Jianwen Li and Zheng Wang and Yongxin Zhao and Geguang Pu and Yanxia Qi and Bin Gu",
year = "2011",
doi = "10.1109/HASE.2011.27",
language = "英语",
isbn = "9780769546155",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
pages = "41--48",
booktitle = "Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011",
note = "13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011 ; Conference date: 10-11-2011 Through 12-11-2011",
}