SPARDL

SPARDL，是一種用於控制系統的需求建模語言，尤其適用於基於模式的、有著混合的( 連續的/離散的) 狀態、有限的周期行為和通信特徵的控制系統。

在每個周期中，系統都會並且只會精確地處在一個模式下，它可以停留在這個模式或者根據它現在的狀態轉換到另一個模式。

SPARDL是一個輕量級的形式化語言。它可以在需求階段消除不確定性，從而保證控制系統設計的正確性。