A Control-Oriented System Requirement Description Language Based on Directed Acyclic Graph

摘要

This paper introduces a requirement description language called CosRDL for modeling and analyzing of the time series embedded control systems. The behavior of control system is composed with a set of operations for process the specific events. Designers extract the features of environment and system state to build the CosRDL model. The requirement model and system model of the CosRDL are proposed in the paper. The requirement model of CosRDL is built by directed acyclic graph (DAG) to describe the system behavior. The system model is translated from the requirement model by five tuple elements. Meanwhile, a case study is presented to illustrate our approach to requirement modeling in the development of event-driven control systems.