Systemy Informatyczne Czasu Rzeczywistego - 2013/2014 Wydział Elektroniki Specjalność ASI

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

„Wnukówki”

1. Testy trwają trzy minuty, i odbywają się w dowolnym momencie wykładu.
2. Obejmują materiał z bieżącego oraz ewentualnie poprzedniego wykładu (jeśli jest kontynuowany).
3. Nie można korzystać z żadnych pomocy, książek, notatek ani urządzeń elektronicznych.
4. Testy będą 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. Łączny wynik z wszystkich testów zostanie obliczony z odrzuceniem jednego najwyższego i jednego najniższego zapracowanego wyniku (czyli wynik 0 za nieobecność nigdy nie jest odrzucany).

Uzyskanie wyniku z wnukówek minimum 60% punktów daje prawo do zwolnienia z kolokwium z oceną 4.0. Niższy wynik z wnukówek nic nie daje.

Oceny zaliczenia kolokwium na podstawie punktacji z wnukówek:

Kolokwium

Wyniki