Systemy Wbudowane 2014

Środa 13¹⁵ - 15⁰⁰ A-1/204 wykład

Czwartek 17⁰⁵ - 18⁴⁵ Tp C-4/34 ćwiczenia - mgr inż. Przemysław Błaśkiewicz

Piątek 9¹⁵ - 11⁰⁰ TN C-4/34 ćwiczenia - mgr inż. Przemysław Błaśkiewicz

Piątek 9¹⁵ - 11⁰⁰ TP C-4/34 ćwiczenia - mgr inż. Przemysław Błaśkiewicz

Poniedziałek 11¹⁵ - 13⁰⁰ TN D-1/317.4 laboratorium - mgr inż. Przemysław Błaśkiewicz

Wtorek 7³⁰ - 9⁰⁰ TN D-1/317.3 laboratorium - mgr inż. Przemysław Błaśkiewicz

Wtorek 7³⁰ - 9⁰⁰ TP D-1/317.3 laboratorium - mgr inż. Przemysław Błaśkiewicz

Wtorek 9¹⁵ - 11⁰⁰ TN D-1/317.3 laboratorium - mgr inż. Przemysław Błaśkiewicz

Wtorek 9¹⁵ - 11⁰⁰ TP D-1/317.3 laboratorium - mgr inż. Przemysław Błaśkiewicz

Egzamin: pierwszy termin - poniedziałek 23 czerwca, 18⁰⁰-20⁰⁰, A-1/329; drugi termin - wtorek 1 lipca, 18¹⁵-20⁰⁰, A-1/329.

Przykładowe zadania na egzamin
Egzamin z zeszłego roku

Wyniki egzaminu(Prace można obejrzeć w piątek między 8:00 a 9:00)
Wyniki II egzaminu

Literatura

1. Frank Vahid, Tony D. Givargis: Embedded System Design: A Unified Hardware/Software Introduction. Wiley, 2001, ISBN 0471386782
2. Peter Marwedel: Embedded System Design. Springer, 2005, ISBN 0387292373
3. Studia Informatyczne - Systemy wbudowane (http://wazniak.mimuw.edu.pl/)

Ogólna tematyka kursu

• Ogólne cechy systemów wbudowanych.
• Wyzwania związane z budową systemów wbudowanych.
• Zrozumienie kluczowych elementów systemu wbudowanego oraz ich interakcji.
• Wybranie odpowiedniego modelu do projektowania i analizowania systemu wbudowanego.
• Prowadzenie małego projektu i przedstawienie jego wyników.

Tematy wykładów (w przybliżeniu)

1. Wprowadzenie. Ogólne wiadomości o architekturze systemów wbudowanych. (26-02-2014)
2. Układy logiczne i ich projektowanie. (5-03-2014)
3. Procesor jednozadaniowy. (12-03-2014)
4. Urządzenia peryferyjne. Gospodarka pamięcią. (19-03-2014)
5. Specyfikacja i modele obliczeń. Automaty. (26-03-2014)
6. StateCharts. (2-04-2014)
7. Sieci Petriego. (9-04-2014)
8. Sieci Petriego. (23-04-2014)
9. Sieci Petriego. (30-04-2014)
10. Sieci Petriego. (7-05-2014)
11. Data Flow Models - Kahn process networks. (14-05-2014)
12. Message Sequence Charts. (21-05-2014)
13. Systemy czasu rzeczywistego. (28-05-2014)
14. Systemy czasu rzeczywistego. (4-06-2014)
15. Podsumowanie wykładu. (11-06-2014)

Zasady zaliczenia grupy kursów

Aby zdać grupę kursów konieczne jest spełnienie następujących warunków:

• uzyskać pozytywną ocenę za laboratorium,
• uzyskać pozytywną ocenę za k-t kartkówek, gdzie k oznacza całkowitą liczbę kartkówek, k i t będą ogłoszone przez p. Blaśkiewicza,
• uzyskania pozytywnej oceny podczas kolokwium egzaminacyjnego.

Każdy z tych warunków musi być spełniony.

Do oceny końcowej grupy kursów (egzaminu) bierzemy następujące wagi: laboratorium - 0,5, kartkówki - 0,25, kolokwium egzaminacyjne - 0,25. Ocena jest zaokrąglana w górę do najbliższej zgodnej z regulaminem studiów.

Dla kartkówek nie przewiduje się poprawiania. Punktacja z kartkówek jest następująca:

• 2 - za pełną i poprawną odpowiedź, niektóre nieznaczne błędy lub braki są tolerowane,
• 1 - problem rozwiązany, ale z lukami i nie-krytycznymi błędami,
• 0 - w przeciwnym wypadku (w tym nieobecność na kartkówce).

Zdanie kartkówki to otrzymanie 1 punktu.

Na kartkówkach sprawdzane będzie rozumienie, umiejętność i zdolność rozwiązywania problemów.

Szczegółowe zasady zaliczenia laboratorium będą określone przez p. Błaśkiewicza.

Kolokwium odbędzie się w sesji egzaminacyjnej (stosuje się do niego zasady egzaminu z regulaminu studiów). W przypadku pisania kolokwium w dwóch terminach za ocenę przyjmuję się ocenę z drugiego terminu (nadpisanie oceny).

Na kolokwium egzaminacyjnym jedyną dopuszczalną pomocą naukową jest kartka formatu a4 podpisana w ten sposób aby z odległości 2 metrów dało się ustalić jej właściciela. Oprócz tego student nie ma prawa mieć żadnych innych kartek, książek i innych pomocy. Kartki z treścią zadań i miejscem na rozwiązania oraz brudnopisy dostarcza wykładowca.