TY - GEN
T1 - A formal framework for aspect-oriented specification of cyber physical systems
AU - Zhang, Lichen
AU - He, Jifeng
PY - 2011
Y1 - 2011
N2 - Cyber physical systems consist of three parts: the dynamics and control (DC) parts, the communication part and computation part. In this paper, we propose an aspect-oriented specification framework for cyber physical systems. The proposed aspect-oriented formal framework is such a formwork. On the one hand, it can deal with continuous-time systems based on sets of ordinary differential equations. On the other hand, it can deal with discrete-event systems, without continuous variables or differential equations. We present a combination of the formal methods Timed-CSP, ZimOO and differential (algebraic) equations or differential logic. Each method can describe certain aspects of a cyber physical system: CSP can describe communication, concurrent and real-time requirements; ZimOO expresses complex data operations; differential (algebraic) equations model the dynamics and control (DC) parts. This aspect oriented formal specification framework simplifies the requirement analysis process of cyber physical systems. A case study of train control system illustrates the specification process of aspect-oriented formal specification for cyber physical systems.
AB - Cyber physical systems consist of three parts: the dynamics and control (DC) parts, the communication part and computation part. In this paper, we propose an aspect-oriented specification framework for cyber physical systems. The proposed aspect-oriented formal framework is such a formwork. On the one hand, it can deal with continuous-time systems based on sets of ordinary differential equations. On the other hand, it can deal with discrete-event systems, without continuous variables or differential equations. We present a combination of the formal methods Timed-CSP, ZimOO and differential (algebraic) equations or differential logic. Each method can describe certain aspects of a cyber physical system: CSP can describe communication, concurrent and real-time requirements; ZimOO expresses complex data operations; differential (algebraic) equations model the dynamics and control (DC) parts. This aspect oriented formal specification framework simplifies the requirement analysis process of cyber physical systems. A case study of train control system illustrates the specification process of aspect-oriented formal specification for cyber physical systems.
KW - Aspect-oriented
KW - Cyber Physical Systems
KW - Differential Logic
KW - Timed-CSP
KW - ZimOO
UR - https://www.scopus.com/pages/publications/80053453035
U2 - 10.1007/978-3-642-24106-2_50
DO - 10.1007/978-3-642-24106-2_50
M3 - 会议稿件
AN - SCOPUS:80053453035
SN - 9783642241055
T3 - Communications in Computer and Information Science
SP - 391
EP - 398
BT - Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Proceedings
T2 - 5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011
Y2 - 22 September 2011 through 24 September 2011
ER -