Cel kształcenia i wykaz literatury

Główny cel kształcenia: przekazywanie zaawansowanych kompetencji dotyczących projektowania systemów czasu rzeczywistego, które można wykorzystać w badaniach naukowych

Ogólne informacje o zajęciach: moduł jest prowadzony na czwartym lub piątym semestrze studiów doktoranckich na kierunku informatyka

Wykaz literatury, wymaganej do zaliczenia zajęć

Literatura wykorzystywana podczas zajęć wykładowych

1	Motet G., Szmuc T.	Specyfikacja i projektowanie oprogramowania systemów czasu rzeczywistego	Wyd. AGH.	2000
2	Ułasiewicz J.	Systemy czasu rzeczywistego QNX6 Neutrino	BTC.	2006
3	Colnaric M., Verber D., Halang W.	Distributed Embedded Control Systems - Improving Dependability with Coherent Design	Springer.	2008

Literatura do samodzielnego studiowania

1	Weiss Z., Gruźlewski T.	Programowanie współbieżne w zadaniach i przykładach	WNT.	2007
2	Lal K., Rak T., Orkisz K.	RTLinux. System czasu rzeczywistego	Helion.	2003
3	Burns A., Wellings A.	Real-Time Systems and Programming Languages (3rd Ed.)	Pearson Educ. Ltd..	2001
4		Norma IEC 61131-3	PN-EN.	2012
5		Materiały corocznych konferencji Systemy Czasu Rzeczywistego	.

Wymagania wstępne w kategorii wiedzy/umiejętności/kompetencji społecznych

Wymagania formalne: rejestracja na czwarty lub piąty semestr studiów

Wymagania wstępne w kategorii Wiedzy: wiedza na poziomie studiów drugiego stopnia z informatyki i matematyki

Wymagania wstępne w kategorii Umiejętności: umiejętność korzystania z zaawansowanych środowisk programistycznych

Wymagania wstępne w kategorii Kompetencji społecznych:

Efekty kształcenia dla zajęć

MEK	Doktorant, który zaliczył zajęcia	Formy zajęć/metody dydaktyczne prowadzące do osiągnięcia danego efektu kształcenia	Metody weryfikacji każdego z wymienionych efektów kształcenia	Związki z KEK	Związki z OEK
01	Potrafi sformułować problemy z obszaru systemów czasu rzeczywistego (SCR) i wskazać sposoby ich rozwiązywania.	wykład	egzamin	K_W002++ K_K001++	W01++ K01+
02	Zna zasady projektowania systemów SCR, metody ich specyfikacji i modelowania, oraz ma pogląd na języki programowania.	wykład	egzamin	K_W002+ K_U001+	W01+ U01+
03	Orientuje się w zespole zagadnień składających się na programowanie współbieżne i algorytmy szeregowania.	wykład	egzamin	K_W002++ K_U001++	W01++ U01++
04	Zna zasady funkcjonowania systemów operacyjnych czasu rzeczywistego, mechanizmy programistyczne i sposoby ich użycia.	wykład	egzamin	K_W002++ K_U001+ K_K001+	W01++ U01+ K01+
05	Potrafi sformułować sposoby tworzenia procesów w środowisku rozproszonym i komunikacji między nimi.	wykład	egzamin	K_W002++ K_U001+++ K_K003+	W01++ U01+++ K01+

Uwaga: W zależności od sytuacji epidemicznej, jeżeli nie będzie możliwości weryfikacji osiągniętych efektów uczenia się określonych w programie studiów w sposób stacjonarny w szczególności zaliczenia i egzaminy kończące określone zajęcia będą mogły się odbywać przy użyciu środków komunikacji elektronicznej (w sposób zdalny).

Treści kształcenia dla zajęć

Sem.	TK	Treści kształcenia	Realizowane na	MEK
4	TK01	Specyfika systemów czasu rzeczywistego (SCR), twarde i miękkie ograniczenia czasowe, aplikacje krytyczne, cykl życia, przykłady aplikacji SCR.	W01	MEK01
4	TK02	Metody projektowania systemów SCR, specyfikacja - diagramy SysML, modelowanie - MDD, czasowe sieci Petri - TPN, uniwersalne i dedykowane języki programowania, ADA, C, IEC 61131-3 (nowa norma).	W02	MEK02
4	TK03	Programowanie współbieżne, procesy - priorytety - przerwania - wyjątki, przegląd algorytmów szeregowania, komunikacja między procesami, synchronizacja, uruchamianie procesów i wątków.	W03	MEK03
4	TK04	Systemy operacyjne czasu rzeczywistego, standard POSIX, system QNX - architektura jądra, procesy współbieżne i komunikacja w QNX, mechanizmy systemowe, przegląd systemów VxWorks, Win CE, RT-Linux.	W04	MEK04
4	TK05	Procesy w środowisku rozproszonym, obwody wirtualne, nazwy globalne, struktury obsługi przerwań, współpraca z procesami systemowymi, przykłady.	W05	MEK05

Nakład pracy doktoranta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 4)		Godziny kontaktowe: 15.00 godz./sem.	Uzupełnienie/studiowanie notatek: 7.50 godz./sem. Studiowanie zalecanej literatury: 15.00 godz./sem.
Konsultacje (sem. 4)	Przygotowanie do konsultacji: 2.50 godz./sem.	Udział w konsultacjach: 1.00 godz./sem.
Egzamin (sem. 4)	Przygotowanie do egzaminu: 30.00 godz./sem.	Inne: 1.00 godz./sem.

Sposób wystawiania ocen składowych zajęć i oceny końcowej

Forma zajęć	Sposób wystawiania oceny podsumowującej
Wykład	Egzamin ustny na oceny 3, 4, egzamin praktyczny na ocenę 5.
Ocena końcowa	Ocena z egzaminu.

Przykładowe zadania

Wymagane podczas egzaminu/zaliczenia
(-)

Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
(-)

Inne
(-)

Czy podczas egzaminu/zaliczenia student ma możliwość korzystania z materiałów pomocniczych : tak

Dostępne materiały : notatki własne i materiały przekazane przez prowadzących moduł

Treści zajęć powiazane są z prowadzonymi badaniami naukowymi: nie