TY - GEN
T1 - A type system for SPARDL
AU - Wang, Zheng
AU - Pu, Geguang
AU - Li, Jianwen
AU - Gu, Bin
PY - 2012
Y1 - 2012
N2 - SPARDL is a domain-specific modeling language for periodic control systems, which are widely used in embedded systems. Periodic control systems are usually driven by the given period. A periodic control system can be decomposed into different modes or sub-modes, and each mode represents a system state observed from outside. We believe that introducing static checking will extend the power of SPARDL. In this paper, we develop a type system for SPARDL. To make the contributions of this paper convincible and easy to understand, we apply the traditional approaches to construct the type system for SPARDL. An operational semantics is proposed as the basic explanation of SPARDL. And then some type safety theorems are proved under such semantics. We apply the type system to an industrial case from China Academy of Space Technology(CAST) to evaluate the effectiveness of our approach in practice, and then eight type errors are revealed.
AB - SPARDL is a domain-specific modeling language for periodic control systems, which are widely used in embedded systems. Periodic control systems are usually driven by the given period. A periodic control system can be decomposed into different modes or sub-modes, and each mode represents a system state observed from outside. We believe that introducing static checking will extend the power of SPARDL. In this paper, we develop a type system for SPARDL. To make the contributions of this paper convincible and easy to understand, we apply the traditional approaches to construct the type system for SPARDL. An operational semantics is proposed as the basic explanation of SPARDL. And then some type safety theorems are proved under such semantics. We apply the type system to an industrial case from China Academy of Space Technology(CAST) to evaluate the effectiveness of our approach in practice, and then eight type errors are revealed.
KW - Operational Semantics
KW - Periodic Control System
KW - SPARDL
KW - Type System
UR - https://www.scopus.com/pages/publications/84866947196
U2 - 10.1109/TASE.2012.47
DO - 10.1109/TASE.2012.47
M3 - 会议稿件
AN - SCOPUS:84866947196
SN - 9780769547510
T3 - Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
SP - 209
EP - 216
BT - Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
T2 - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
Y2 - 4 July 2012 through 6 July 2012
ER -