SPARDL: a requirement modeling language for periodic control system

  • Authors:

  • Zheng Wang;Jianwen Li;Yongxin Zhao;Yanxia Qi;Geguang Pu;Jifeng He;Bin Gu

  • Affiliations:

  • Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;Beijing Institute of Control Engineering, Beijing, China;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;Beijing Institute of Control Engineering, Beijing, China

  • Venue:
  • ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.