An Architectural Approach to Heterogeneous Modeling and Verification of Cyber-Physical Systems Ivan Ruchkin et al. 1
May 06, 2015
An Architectural Approach to Heterogeneous Modeling and
Verification of Cyber-Physical Systems
Ivan Ruchkin et al.
1
Cyber-Physical System (CPS): Smart Intersection
2
Heterogeneous Models
3
Source code
Software model Control model Physical model
Hybrid model
Inconsistencies
4
Source code
Software model Control model Physical model
Hybrid model
?
?
Verification
5
Source code
Software model Control model Physical model
Hybrid model
⊨safe?
Architectural Approach to CPS
6
Source code
Software modelControl model Physical model
Hybrid model
Views
Case Studies
7
STARMAC Quadrotor
CICAS Stop Sign Assist
Robot Collision Avoidance
Thank you!
■ Find out more at cps-vo.org
8