	Systemy Informatyczne Czasu Rzeczywistego - 2017/2018 Wydział Elektroniki Specjalność ASI

Systemy Informatyczne Czasu Rzeczywistego - 2017/2018

Wydział Elektroniki
Specjalność ASI

UWAGA:
2017-12-01
Są już dostępne wszystkie wyniki wnukówek, włącznie z ostatecznymi wynikami zwolnienia z kolokwium. Pozytywna ocena oznacza zwolnienie z kolokwium. Osoby, które mają ocenę 0.0 muszą pisać kolokwium.
Zakres materiału na kolokwium obejmuje wszystko co było na wykładzie, a zatem to co jest zawarte w PDF-ach z wykładu. Jest to tylko zakres materiału, czyli ten materiał trzeba znać i rozumieć.
Ewentualne reklamacje, pytania, wątpliwości, itp. - zapraszam na konsultacje w tygodniu 4-8.XII.
Dalsze szczegóły dotyczące kolokwium (forma, itp.) podam w poniedziałek 4.XII. Jeśli nie podam to proszę mi przypomnieć.

UWAGA:
2017-11-20
Na wykładzie w dniu 17.XI został uzgodniony termin kolokwium zaliczeniowego na 8 grudnia w godz.8:30-10:00. Proszę zarezerwować ten termin.

Tematy i materiały do wykładów

W tym miejscu dla ułatwienia pracy i wygody studentów wykładowca udostępni przygotowane przez siebie materiały wykorzystywane na wykładzie. Celem ich udostępnienia jest wyłącznie uniknięcie konieczności robienie odręcznych notatek na wykładach. To nie jest internetowy podręcznik do samodzielnego studiowania!! Dodatkowe odnośniki do materiałów źródłowych znajdują się w sekcji Literatura.

Materiały udostępnione za pomocą poniższej tabelki objęte są prawami autorskimi. Można je wykorzystywać wyłącznie do własnych prywatnych celów, i nie wolno ich w żaden sposób rozpowszechniać, na przykład przez umieszczenie na ogólnie dostępnych stronach internetowych, ani w żaden inny sposób.

nr	temat wykładu	slajdy
1	Mechanizmy komunikacji i synchronizacji standardu POSIX
2	Szeregowanie zadań w systemach czasu rzeczywistego
3	Funkcje systemów operacyjnych czasu rzeczywistego
4	Komunikacja w systemach czasu rzeczywistego
5	Niezawodność i odporność na błędy systemów informatycznych

Literatura

Podręczniki:

Alan Burns and Andy Wellings: Real-Time Systems and Programming Languages, Third Edition, Addison-Wesley 2001
Giorgio C. Buttazzo: Hard Real-time Computing Systems, Third Edition, Springer 2011
Hermann Kopetz: Real-time systems: Design principles for distributed embedded applications, 2nd Edition, Springer 2011
Philip A. Laplante: Real-time systems design and analysis, Third Edition, IEEE Press 2004
Qing Li, Caroline Yao: Real-Time Concepts for Embedded Systems, QMP 2003
Jane W.S. Liu: Real-Time Systems, Prentice-Hall 2000
Steve Schneider: Concurrent and Real-time Systems, Wiley 2000
Jędrzej Ułasiewicz: Systemy czasu rzeczywistego QNX6 Neutrino, Wydawnictwo BTC 2007

Literatura uzupełniająca:

Sacha, "Systemy czasu rzeczywistego", Oficyna wyd. Politechniki Warszawskiej, Warszawa 1999
Lal, Rak, Orkisz: "RTLinux - system czasu rzeczywistego", HELION, 2003
Wnuk, "OS-9 - modulowy, wielozadaniowy system czasu rzeczywistego", Raport ICT SPR 31/94, Wydawnictwo PWr., Wroclaw 1994

Materiały internetowe:

Dokumentacja

Xenomai: Real-Time Framework for Linux

Kursy systemów czasu rzeczywistego:

Zaliczenie wykładu

Warunkiem zaliczenia wykładu jest: (1) pozytywne zaliczenie laboratorium, i (2) pomyślne napisanie kolokwium zaliczeniowego, które odbędzie się pod koniec semestru. Ocena z wykładu wpisana do indeksu będzie średnią ważoną oceny z laboratorium (waga 0.6) i oceny z kolokwium (waga 0.4), zaokrągloną do najbliższej oceny połówkowej.

Kolokwium

Zgodnie z ustaleniami na wykładzie, kolokwium zaliczeniowe odbędzie się w dniu 8 grudnia 2017 w godzinach 8:30-10:00 w sali 40/C-4.

Kolokwium jest obowiązkowe dla wszystkich, którzy nie uzyskają zwolnienia zgodnie z zasadami podanymi poniżej. Ostateczne wyniki dotyczące zwolnienia z kolokwium będą dostępne w sekcji Wyniki.

„Wnukówki”

Na wykładach będą się odbywały pisemne testy tzw. „wnukówki”, które:

Nie są obowiązkowe i negatywny wynik do niczego się nie wlicza.
Pozytywny wynik uprawnia do zwolnienia z kolokwium.
Są pisemne, trwają trzy minuty, i odbywają się w dowolnym momencie wykładu.
Obejmują materiał z bieżącego oraz ewentualnie poprzedniego wykładu (jeśli jest kontynuowany).
Są oceniane w skali 1-3 punktów, z 1 punktem za czystą kartkę.
Nieobecność na teście oznacza 0 punktów. Testu nie można odrobić, i nie ma żadnych usprawiedliwień.
Nie można korzystać z żadnych pomocy, książek, notatek ani urządzeń elektronicznych.

Zwolnienie z kolokwium

Uzyskanie minimum 60% punktów z wnukówek daje prawo do zwolnienia z kolokwium z oceną 4.0. Niższy niż 60% wynik z wnukówek nic nie daje i do niczego się nie wlicza.

Oceny zaliczenia kolokwium na podstawie punktacji z wnukówek:

punkty[%]	60.00	73.33	86.66
ocena	4.0	4.5	5.0

Wyniki

Poniższy formularz pozwala sprawdzać wyniki "wnukówek". Pisownia imion i nazwisk dokładnie jak w systemie Edukacja. Podwójne imiona i wieloczłonowe nazwiska muszą być wprowadzone z oddzielającymi podkreślnikami, jak: Manuel_Antonio, albo de_la_Vega. Numery indeksu sześciocyfrowe.

Imię:		Nazwisko:
Numer indeksu:

Licznik odwiedzin strony od 20 września 2011: licznik

Aktualizacja: Tuesday, 12-Dec-2017 00:10:27 CET