Dokuz Eylül Üniversitesi Ders Katoloğu / Bilgi Paketi

Ders Bilgileri

Ders Kodu	Ders Adı	Ders Türü	D	U	L	AKTS
CSC 5051	Siber-Fiziksel Sistemler	SEÇMELİ	3	0	0	8

Dersi Veren Birim

Fen Bilimleri Enstitüsü

Dersin Düzeyi

Yüksek Lisans

Ders Koordinatörü

DR. ÖĞR. ÜYESİ BARIŞ TEKİN TEZEL

Dersi Alan Birimler

Bilgisayar Bilimleri Doktora (İngilizce)
Bilgisayar Bilimleri Yüksek Lisans

Dersin Amacı

Bu ders fiziksel süreçlerle bütünleşmiş karmaşık hesaplama sistemlerinin tasarımı ve analizi için geniş bir perspektif sağlamayı amaçlamaktadır.

Dersin Öğrenme Kazanımları

1	Siber-fiziksel sistemlerin uygulama alanlarını, alana özgü ve alanlararası paydaş işletmelerini belirlemek
2	Birçok akıllı uygulama alanının kendi içinde ve birbirleri arasındaki geliştirme ve gerçekleştirme faaliyetlerini yönetme doğrultusunda siber-fiziksel sistemlerin temel özelliklerini tanımlamak
3	Siber-fiziksel sistem modelleri ve simülasyonları tasarlamak ve geliştirmek
4	Daha verimli otomasyon ve veri aktarım çerçeve ve yöntemleri sağlamak için akıllı sistemlerin gerçek zamanlı ve eşzamanlı gerçekleşen davranışlarını analiz etmek
5	Üst düzey hedefler ve işlevsel gereksinimleri, tasarım, uygulama ve işletim faaliyetleriyle ilişkilendirerek, siber-fiziksel sistemlerin kavramsallaştırma ve gerçekleştirme safhalarını bütünleştirmek

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

Yok

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta	Konular	Açıklama
1	Siber-Fiziksel Sistemler (SFS) çerçevesi
2	Gömülü sistem tasarımı, SFS uygulama alanları
3	SFS kavramsallaştırma, Amaçlar, işlevsel gereksinimler ve SFS organizasyonu
4	Sistem modelleme yazılım uygulamaları
5	Hesaplama modelleri, Sonlu durum makineleri, İşlem ağları, Veri akışı, Petri ağları, Zaman uyumlu tepki veren (Senkron Reaktif) sistemler, Melez sistemler
6	SFS gerçekleştirimi, SFS anahtar performans göstergeleri	Ödev 1
7	Sanal laboratuvarlar, Simülasyon modelleri, Ödünleşme analizleri
8	Robotik ve kontrol sistemlerinin benzetimi, Fiziksel dinamiklerin modellenmesi
9	Eşzamanlı hesaplama modelleri, Gerçek zamanlı işletim sistemleri, Çizelgeleme algoritmaları ve anomaliler	Ödev 2
10	Üretim teknolojilerinde otomasyon ve veri akışı, Endüstri 4.0
11	Vaka çalışması sunumları
12	SFSlerin ölçeklenebilirliği, Şeylerin interneti, Siber-Fiziksel sistemlerin sosyal ağlar, mobil ve bulut bilişim ve büyük veri analitik uygulamalarıyla entegrasyonu
13	Akıllı ve bağlı topluluklar, Akıllı şebekeler
14	Genel tekrar

Ders İçin Önerilen Kaynaklar

Ana kaynak: P. Marwedel, Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, Springer, 2nd edition, 2011.
Yardımcı kaynaklar: CPS Public Working Group, Framework for Cyber-Physical Systems Release 1.0, US National Institute of Standards and Technology (NIST), 2016.
E.A. Lee, and S.A. Seshia, Introduction to Embedded Systems: A Cyber Physical Systems Approach, LeeSashia, 2nd edition, 2015.
C. Baier, and J.P. Katoen, Principles of Model Checking, MIT Press, 2008.

Öğrenme ve Öğretme Yöntemleri

Ders, anlatım, sınıf sunumu ve tartışma biçiminde öğretilecek.

Değerlendirme Yöntemleri

SIRA NO	KISA KOD	UZUN ADI	FORMUL
1	ODV	ÖDEV
2	SUN	SUNUM
3	YSBN	YIL SONU BAŞARI NOTU	ODV * 0.50 + SUN * 0.50

Değerlendirme Yöntemlerine İliskin Aciklamalar

Yok

Değerlendirme Kriteri

Ödev ve sunumların değerlendirilmesi

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar

İlan edilecektir

Dersin Öğretim Üyesi İletişim Bilgileri

can.atilgan@deu.edu.tr

Ders Öğretim Üyesi Görüşme Gün ve Saatleri