TY - GEN
T1 - SPARDL
T2 - 4th International Symposium on Leveraging Applications, ISoLA 2010
AU - Wang, Zheng
AU - Li, Jianwen
AU - Zhao, Yongxin
AU - Qi, Yanxia
AU - Pu, Geguang
AU - He, Jifeng
AU - Gu, Bin
PY - 2010
Y1 - 2010
N2 - This paper develops a requirement modeling language called SPARDL for modeling and analyzing periodic control systems. The system consists of periodic behaviors together with a mode transition mechanism for different behavioral patterns, which is largely applied in the development of control systems of spacecrafts and automobiles. SPARDL can specify the features such as periodic driven behaviors, procedure invocations, timed guard, and mode transition, etc. Each mode in SPARDL can also contain complex activities such as controlling behaviors and data processing. To understand system behaviors precisely, a structural operational semantics is proposed for SPARDL. To analyze periodic control systems in SPARDL, a requirement prototype generation algorithm is proposed to simulate and test the requirements. Meanwhile, a case study is presented to illustrate our approach to requirement modeling and simulation in the development of control systems.
AB - This paper develops a requirement modeling language called SPARDL for modeling and analyzing periodic control systems. The system consists of periodic behaviors together with a mode transition mechanism for different behavioral patterns, which is largely applied in the development of control systems of spacecrafts and automobiles. SPARDL can specify the features such as periodic driven behaviors, procedure invocations, timed guard, and mode transition, etc. Each mode in SPARDL can also contain complex activities such as controlling behaviors and data processing. To understand system behaviors precisely, a structural operational semantics is proposed for SPARDL. To analyze periodic control systems in SPARDL, a requirement prototype generation algorithm is proposed to simulate and test the requirements. Meanwhile, a case study is presented to illustrate our approach to requirement modeling and simulation in the development of control systems.
KW - Control System
KW - Prototype Generation
KW - Requirement Modeling Language
UR - https://www.scopus.com/pages/publications/78650300421
U2 - 10.1007/978-3-642-16558-0_48
DO - 10.1007/978-3-642-16558-0_48
M3 - 会议稿件
AN - SCOPUS:78650300421
SN - 3642165575
SN - 9783642165573
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 594
EP - 608
BT - Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings
Y2 - 18 October 2010 through 21 October 2010
ER -