A very basic and intuitive explanation for our project -- the architectural approach to cyber-physical systems. Video of me explaining it: http://www.youtube.com/watch?v=f48Xlt92Vts

1. An Architectural Approach to
Heterogeneous Modeling and
Verification of Cyber-Physical Systems
Ivan Ruchkin et al.
1

2. Cyber-Physical System (CPS): Smart Intersection
2

3. Heterogeneous Models
Source code
Software model
Hybrid model
Control model
Physical model
3

4. Inconsistencies
?
Source code
Hybrid model
?
Software model
Control model
Physical model
4

5. Verification
⊨safe?
Source code
Software model
Hybrid model
Control model
Physical model
5

6. Architectural Approach to CPS
Views
Hybrid model
Source code
Software model
Control model
Physical model
6

7. Case Studies
STARMAC Quadrotor
CICAS Stop Sign Assist
Robot Collision Avoidance
7

8. Thank you!
■ Find out more at cps-vo.org
8