Modeling

Cyber-Physical
Systems
Prof. Dr. Ir. Harmein Nasution, MSIE/ Andri Nasution, ST., MT

Sumber: Gabor Karsai, Institute for Software-Integrated Systems

Vanderbilt University
 What is a Cyber-Physical System?
 Sistem rekayasa yang mengintegrasikan komponen fisik dan cyber, dimana fungsi
relevan diwujudkan melalui interaksi antara bagian fisik dan cyber.

 Physical = some tangible, physical device + environment

 Cyber = computational + communicational

 Cyber
Physical
Systems
• Memonitor posisi koper
• Mengarahkan koper pada konveyor bandara
memasuki pesawat yang benar
CPS Examples
CPS Examples
 The Good News…
Jaringan dan komputasi
memberikan presisi yang
unik dan fleksibilitas dalam
interaksi dan koordinasi
Computing/ Integrated CPS
communication
• Model waktu • Koordinasi detail dari proses fisik
• Jenis interaksi baru diperpanjang • Sistem yang sangat meningkat
• dimensi spasial/temporal dengan dapat dikontrol, perilaku stabil
• Fleksibel, mekanisme komunikasi • Arsitektur adaptif yang dinamis
dinamis • Adaptif, sistem otonom
• Varian waktu, perilaku nonlinear • Memonitor secara mandiri, Dapat
• Introspeksi, pembelajaran, menyembuhan diri
Penalaran • Arsitektur sistem dan lebih baik
jaminan keselamatan/keamanan.
 and the Challenges
Computing/ Integrated CPS
communication
Menyatukan jaringan dan • Kerentanan cyber • Perilaku fisik system dapat
dimanipulasi
komputasi dengan proses • Jenis interaksi baru diperpanjang
fisik, membawa masalah • Kurangnya teori komposisi untuk
• dimensi spasial/temporal
sistem heterogen, banyak masalah
baru • Fleksibel, mekanisme komunikasi yang belum terpecahkan
dinamis
• Sangat meningkat kompleksitas
• Varian waktu, perilaku nonlinear dan muncul perilaku
• Introspeksi, pembelajaran, • ▪ Kurangnya fondasi teoritis untuk
Penalaran dinamika CPS
• ▪ Verifikasi, sertifikasi, prediksi
tantangan baru
Example for a CPS Approach
Ide Utama: Kelola kompleksitas desain dengan membuat
lapisan abstraksi dalam aliran desain.
Abstraction layers: SW-RTS
Dalam CPS, properti sistem penting, seperti:
stabilitas, keselamatan, kinerja yang dinyatakan
dalam
ketentuan perilaku fisik
f : Program reaktif.
Eksekusi program membuat pemetaan antara waktu yang
masuk akal pada input dan output.

f R : Sistem real-time.
Program dikemas ke dalam komponen yang berinteraksi.
Scheduler mengontrol akses ke sumber daya komputasi
dan komunikasi sesuai batasan waktu P
Abstraction layers: PHY-SW-RTS
Tujuan yang Ditentukan Ulang:
• Verifikasi komposisi atas properti dinamika yang
esensial
− stabilitas
− keselamatan
•Dapatkan dinamika – penawaran ketahanan
terhadap perubahan implementasi dan
ketidakpastian yang disebabkan oleh kesalahan
dan serangan cyber
− kesalahan / gangguan yang diinduksi
konfigurasi ulang SW/HW
− ketidakpastian jaringan (Paket jatuh,
keterlambatan)
•Mengurangi verifikasi kompleksitas
 Why is CPS Hard?

• Batas-batas disiplin perlu diselaraskan kembali

• Fundamental baru perlu dibuat
• Teknologi dan alat baru perlu dikembangkan
• Pendidikan dan pelatihan perlu direstrukturisasi
 CPS Layers and Interactions

Tantangan: Bagaimana mengintegrasikan model sehingga interaksi lintas domain dapat dipahami dan dikelola?
 Model Integration for CPS
• Tujuan: Untuk mendukung desain berbasis model CPS
• Mewakili desain: fisik dan cyber, dan antarmuka

• Izinkan analisis desain

• Evaluasi berbasis simulasi
• Menemukan interaksi yang tidak disengaja
• Verifikasi formal

• Mendorong implementasi desain

• Kompilasi ke kode, kendarai yang luar biasa

Kunci: memahami antarmuka dan interaksi lintas domain

Example of Interface
Service Integration Platform
Model-Based Design
Ide Utama:
Gunakan model dalam alur desain
khusus domain dan pastikan
bahwa model desain akhir cukup kaya
untuk memungkinkan produksi
dengan sifat yang cukup dapat
diprediksi

Dampak:
peningkatan produktivitas yang
signifikan dalam teknologi desain
 Formalization of Semantics –Behavioral
PerilakuSemantik, mendefinisikan perilaku model yang digambarkan dengan
 Menentukan terjemahan ke domain dengan semantik operasional yang dipahami dengan baik
 Menentukan terjemahan ke domain matematika yang mendefinisikan perilaku secara denotasi (

Penggunaan Semantik pada perilaku Spesifikasi:

 Memvalidasi/memahami perilaku melalui simulasi
 Menghasilkan perilaku menggunakan "semantik referensi" dan alat pengujian
 Pemeriksaan invarian
 Formalisasi → langkah pertama menuju bukti
 Melacak ketergantungan dalam rangkaian alat
Structure of the Semantic Backplane
 Summary
 Memahami benar batas desain konstruksi yang terjadi saat ini . menggunakan
verifikasi berbasis model
 Skalabilitas yang signifikan bahkan dalam sistem sederhana (tetapi nyata)
 Verifikasi yang dapat diskalakan, memerlukan pembatasan yang kuat pada abstraksi
pemodelan (misalnya dinamika hibrida linier, pengurangan pesanan) dan harus
mentolerir keakuratan data yang rendah
 Ketidakpastian yang dihasilkan adalah epistemik (sistematis, tidak diketahui dalam
praktiknya) dan tidak dapat dicirikan secara probabilistis
 Modeling Cyber Physical Systems: https://www.youtube.com/watch?v=8LpYQl4FBw0

The Ethics of Cyber-Physical Systems

https://www.youtube.com/watch?v=c5gu8xmmum4

Gabor Karsai
: Modeling Cyber-Physical Systems - Challenges & Recent Advances – YouTube ,
Modeling Cyber-Physical Systems: Challenges and Recent Advances (uconn.edu)