Systemy Informatyczne Czasu Rzeczywistego - 2015/2016 Wydział Elektroniki Specjalność ASI

UWAGA:
2015-12-12
W formularzu wyników są już wyniki zaliczenia wykładu na podstawie wnukówek.
Osoby które nie mają tam pozytywnej oceny muszą pisać kolokwium.
Ewentualne reklamacje są możliwe w godzinach konsultacji (czwartek 9-11).

UWAGA:
2015-12-12
W formularzu wyników są już wyniki wszystkich czterech wnukówek.

Tematy i materiały do wykładów

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	Planowanie w systemach czasu rzeczywistego
3	Funkcje systemów operacyjnych czasu rzeczywistego
4	Niezawodność i odporność na błędy systemów informatycznych
5	Mechanizmy czasu rzeczywistego w systemie Xenomai

Literatura

• 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:

• Systemy Czasu Rzeczywistego, Katedra Inżynierii Systemów Sterowania, Politechnika Gdańska
• Real-time and Embedded Systems, Colin Perkins, University of Glasgow
• Xenomai General (zestaw ćwiczeń z obszernym wprowadzeniem i kodami źródłowymi), Harco Kuppens (i inni), Radboud University Nijmegen

Zaliczenie wykładu

Kolokwium

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”

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

Zwolnienie z kolokwium

Oceny zaliczenia kolokwium na podstawie punktacji z wnukówek:

Wyniki