Systemy Wbudowane 2013

Środa 7³⁰ - 9⁰⁰ A-1/204 wykład

Środa 13¹⁵ - 14⁰⁰ C-13/4.03 ćwiczenia - mgr inż. Przemysław Błaśkiewicz

Środa 14¹⁵ - 15⁰⁰ C-13/4.03 ćwiczenia - mgr inż. Przemysław Błaśkiewicz

Poniedziałek 19⁵⁰ - 20³⁵ C-13/4.03 ćwiczenia - mgr inż. Przemysław Błaśkiewicz

Wtorek 11¹⁵ - 12⁰⁰ D-1/317.4 laboratorium - mgr inż. Witold Waligóra

Wtorek 12¹⁵ - 13⁰⁰ D-1/317.4 laboratorium - mgr inż. Witold Waligóra

Wtorek 13¹⁵ - 14⁰⁰ D-1/317.4 laboratorium - mgr inż. Witold Waligóra

Wtorek 14¹⁵ - 15⁰⁰ D-1/317.4 laboratorium - mgr inż. Witold Waligóra

Czwartek 12¹⁵ - 13⁰⁰ D-1/317.4 laboratorium - mgr inż. Witold Waligóra

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. (20-02-2013)
2. Procesory jednozadaniowe i ich architektura. (27-02-2013)
3. Projektowanie procesora jednozadaniowego. (6-03-2013)
4. Urządzenia peryferyjne. Gospodarka pamięcią. (13-03-2013)
5. Specyfikacja i modele obliczeń. Automaty. (20-03-2013)
6. StateCharts. (27-03-2013)
7. Sieci Petriego. (3-04-2013)
8. Sieci Petriego. (10-04-2013)
9. Sieci Petriego. (17-04-2013)
10. Sieci Petriego. (24-04-2013)
11. Data Flow Models - Kahn process networks. (8-05-2013)
12. Message Sequence Charts. (15-05-2013)
13. Podsumowanie modeli obliczeń. (22-05-2013)
14. ...

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. Waligórę.

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.