Sistem Cyber-Fisik

Sistem Cyber-Fisik (CPS) adalah integrasi dari komputasi, jaringan, dan

proses fisik. Komputer dan jaringan yang tertanam memantau dan mengontrol proses
fisik, dengan loop umpan balik di mana proses fisik memengaruhi komputasi dan
sebaliknya. Potensi ekonomi dan sosial dari sistem semacam itu jauh lebih besar
daripada yang telah direalisasikan, dan investasi besar sedang dilakukan di seluruh
dunia untuk mengembangkan teknologinya.

Teknologi ini dibangun di atas disiplin yang lebih lama (tetapi masih sangat
muda) dari sistem embedded, komputer dan perangkat lunak yang tertanam dalam
perangkat yang misi utamanya bukanlah komputasi, seperti mobil, mainan, perangkat
medis, dan instrumen ilmiah. CPS mengintegrasikan dinamika proses fisik dengan
perangkat lunak dan jaringan, menyediakan abstraksi dan pemodelan, desain, dan
teknik analisis untuk keseluruhan yang terintegrasi.

Tujuan Proyek Ptolemy

Proyek Ptolemy mempelajari pemodelan, simulasi, dan desain embedded, real-time,
embedded system. Fokusnya adalah pada perakitan komponen bersamaan. Prinsip
dasar yang mendasari dalam proyek ini adalah penggunaan model perhitungan yang
ditentukan dengan baik yang mengatur interaksi antar komponen. Masalah utama
yang sedang ditangani adalah penggunaan campuran heterogen model komputasi.
Sistem perangkat lunak yang disebut Ptolemy II sedang dibangun di Jawa.

Kelas sistem yang ditangani oleh proyek kadang-kadang disebut sistem reaktif.
Sistem reaktif adalah sistem yang berinteraksi dengan lingkungannya dengan
kecepatan lingkungan. Mereka sering kali merupakan sistem yang tertanam, dan telah
dikontraskan dengan sistem interaktif, yang bereaksi dengan lingkungan dengan
kecepatan mereka sendiri, dan sistem transformasional, yang memproses kumpulan
data input untuk menghasilkan kumpulan data keluaran. Sistem reaktif biasanya
mencakup elemen pemrosesan sinyal, komunikasi, dan kontrol waktu nyata. Mereka
biasanya diimplementasikan dengan teknologi campuran, mungkin termasuk
perangkat lunak tertanam, perangkat keras digital khusus, perangkat keras yang dapat
dikonfigurasi, sirkuit analog, sirkuit microwave, dan sistem microelectromechanical
systems (MEMS).

Prinsip utama dalam proyek Ptolemy adalah penggunaan berbagai model komputasi
dalam lingkungan desain yang heterogen hirarkis. Premis dalam karya ini adalah
bahwa tidak ada model komputasi tujuan umum tunggal yang akan muncul dalam
waktu dekat yang akan memberikan apa yang dibutuhkan desainer. Pemodelan
beragam teknologi implementasi dan interaksinya tidak masuk akal dalam lingkungan
yang homogen. Pertimbangkan perangkat lunak DSP tertanam yang mengendalikan
perangkat MEMS, misalnya. Perangkat MEMS memerlukan pemodelan fisik
menggunakan persamaan diferensial, teknik pemodelan yang sepenuhnya tidak pantas
untuk perangkat lunak DSP. Selain itu, kemampuan untuk memvalidasi desain dan
mensintesis implementasi berkualitas tinggi dari model abstrak tingkat tinggi
dikompromikan secara umum dalam kerangka pemodelan.

Proyek ini bertujuan untuk mengembangkan teknik yang mendukung pemodelan

heterogen, termasuk "meta-model" formal dan laboratorium perangkat lunak untuk
bereksperimen dengan pemodelan heterogen. Dalam konteks ini, ia telah
mengeksplorasi metode berdasarkan aliran data dan jaringan proses, sistem acara
diskrit, bahasa sinkron / reaktif, mesin negara-terbatas, dan mengkomunikasikan
proses berurutan. Ini telah membuat kontribusi mulai dari semantik dasar hingga
sintesis perangkat lunak tertanam dan perangkat keras khusus.

Pendekatan proyek Ptolemy saat ini meliputi:

Penggunaan konsep bahasa pemrograman seperti semantik, teori jenis, refleksi, dan
teori konkurensi dalam desain tingkat sistem sistem elektronik.
Fokus pada pemodelan domain spesifik dan masalah desain sehingga perancang
dapat fokus pada masalah, bukan alat.
Penekanan pada pemahaman sistem, yang dipromosikan oleh representasi visual,
model yang dapat dieksekusi, dan verifikasi.
Penggunaan Java, pola desain, UML, dan praktik rekayasa perangkat lunak modern
yang disesuaikan dengan realitas penelitian akademik.

Perangkat lunak Ptolemy menyediakan laboratorium untuk sisi eksperimental proyek.

Ini mendukung interaksi beragam model komputasi dengan menggunakan prinsip
berorientasi objek polimorfisme dan penyembunyian informasi. Misalnya,
menggunakan perangkat lunak Ptolemy, model aliran data tingkat tinggi dari sistem
pemrosesan sinyal dapat dihubungkan ke simulator perangkat keras yang pada
gilirannya dapat dihubungkan ke model kejadian-diskrit dari jaringan komunikasi.