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