Transcript
![Page 1: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/1.jpg)
An Architectural Approach to Heterogeneous Modeling and
Verification of Cyber-Physical Systems
Ivan Ruchkin et al.
1
![Page 2: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/2.jpg)
Cyber-Physical System (CPS): Smart Intersection
2
![Page 3: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/3.jpg)
Heterogeneous Models
3
Source code
Software model Control model Physical model
Hybrid model
![Page 4: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/4.jpg)
Inconsistencies
4
Source code
Software model Control model Physical model
Hybrid model
?
?
![Page 5: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/5.jpg)
Verification
5
Source code
Software model Control model Physical model
Hybrid model
⊨safe?
![Page 6: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/6.jpg)
Architectural Approach to CPS
6
Source code
Software modelControl model Physical model
Hybrid model
Views
![Page 7: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/7.jpg)
Case Studies
7
STARMAC Quadrotor
CICAS Stop Sign Assist
Robot Collision Avoidance
![Page 8: Architectural Approach to CPS Modeling: The Intuition](https://reader033.vdocuments.site/reader033/viewer/2022052618/5549ce62b4c9051c778b4a20/html5/thumbnails/8.jpg)
Thank you!
■ Find out more at cps-vo.org
8