Research on modeling and analysis of CPS

Authors:
Zhang Yu;Dong Yunwei;Zhang Fan;Zhang Yunfeng
Affiliations:
School of Computer Science and Technology, Northwestern Polytechnical University, Xi'an, China;School of Computer Science and Technology, Northwestern Polytechnical University, Xi'an, China;School of Computer Science and Technology, Northwestern Polytechnical University, Xi'an, China;School of Computer Science and Technology, Northwestern Polytechnical University, Xi'an, China
Venue:
ATC'11 Proceedings of the 8th international conference on Autonomic and trusted computing
Year:
2011

Citing 8
Cited 0

A theory of timed automata

Theoretical Computer Science
Formal verification of embedded systems based on CFSM networks

DAC '96 Proceedings of the 33rd annual Design Automation Conference
Formal Description Technique Lotos: Results of the Esprit Sedos Project

Formal Description Technique Lotos: Results of the Esprit Sedos Project
Modeling and Simulating Critical Infrastructures and Their Interdependencies

HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 2 - Volume 2
Tutorial on agent-based modeling and simulation

WSC '05 Proceedings of the 37th conference on Winter simulation
Model-Integrated Development of Cyber-Physical Systems

SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research

COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
CPS foundations

Proceedings of the 47th Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Cyber-Physical Systems (CPS) are physical and engineered systems whose operations are integrated, monitored, and controlled by embedded computational cores that are often distributed and reconfigurable online. Due to the criticality of CPS, high-confidence CPS are critical to the infrastructure of our society. We research on modeling and analysis of CPS. We propose a hierarchical and compositional modeling approach based on AADL to solve the tight coupling between physical and cyber world. We extend AADL by annex and separate the component abstraction of CPS model into three categories. And we propose basic transformation rules to translate the CPS model into the networks of timed automata. Then we use model checker UPPAAL to analysis system qualities. We present a case study about analysis of automatic collision avoidance system derived from vehicle in the end.