Modelowanie i analiza systemów Kierunek studiów: Informatyka
Kod programu: 08-S2INIA15.2019

Nazwa modułu: Modelowanie i analiza systemów
Kod modułu: 08-IN-S2-MiAS
Kod programu: 08-S2INIA15.2019
Semestr: semestr letni 2019/2020
Język wykładowy: angielski
Forma zaliczenia: zaliczenie
Punkty ECTS: 4
Opis:
Celem przedmiotu jest zapoznanie studenta z metodami i technikami projektowania, analizy, modelowania, testowania i wdrażania systemów cyfrowych, informatycznych i procesów biznesowych, w szczególności językami opisu sprzętu VHDL, Verilog, sieciami Petriego oraz standardowymi notacjami lub językami opisu projektu oprogramowania: UML, OCL, BPMN, BPEL i dokumentowania systemów informatycznych. Zapewnienie wiarygodności systemów, ich niezawodności, dyspozycyjności, zabezpieczenia, bezpieczeństwa, wymaga znajomości metod i technik weryfikacji, walidacji, testowania i diagnostyki, modelowania i analizy systemów, które stanowią uzupełnienie zakresu przedmiotowego kursu. Tematyka przedmiotu obejmuje również modelowanie systemów współbieżnych, rozwiązywanie typowych problemów współbieżności oraz znaczenie jakości kodu źródłowego oprogramowania, utrzymania systemów informatycznych i inżynierii oprogramowania.
Wymagania wstępne:
(brak informacji)
Literatura podstawowa:
(brak informacji)
Efekt modułowy Kody efektów kierunkowych do których odnosi się efekt modułowy [stopień realizacji: skala 1-5]
Potrafi myśleć i tworzyć w sposób kreatywny. [MiAS -K_8]
 K_K01 [2/5]
Umie pracować indywidualnie i w zespole. [MiAS -K_9]
 K_U02 [1/5]
Potrafi zaprojektować system cyfrowy oraz zastosować procedurę jego testowania. Umie opracować testy diagnostyczne, projektować generatory testów i układy kompakcji danych. Stosuje metody i techniki zwiększające wiarygodność systemów. Posługuje się językami opisu sprzętu VHDL lub Verilog, potrafi wykonać symulację działania systemu cyfrowego. Stosuje narzędzia do projektowania układów cyfrowych, umie zwiększyć testowalność projektowanego układu cyfrowego oraz uwzględnia wpływ systemu cyfrowego na jego otoczenie. [MiAS -U_4]
 K_U03 [2/5] K_U05 [2/5] K_U06 [1/5] K_U08 [3/5] K_U09 [4/5] K_U10 [4/5] K_U13 [4/5] K_U14 [4/5] K_U20 [3/5]
Potrafi projektować, analizować, modelować, testować i wdrażać oprogramowanie. Sprawnie posługuje się narzędziami do projektowania, modelowania i testowania systemów. Stosuje metodyki i techniki projektowania UML, OCL, BPML i BPEL do analizy i modelowania systemów informatycznych. Umie opracować specyfikację systemu i jego dokumentację. Potrafi tworzyć kod źródłowy oprogramowania o pożądanych cechach jakościowych oraz stosować inżynierię wsteczną. [MiAS -U_5]
 K_U02 [3/5] K_U03 [4/5] K_U07 [2/5] K_U12 [2/5] K_U13 [4/5] K_U14 [4/5] K_U15 [4/5] K_U19 [3/5] K_U20 [4/5]
Potrafi zaprojektować sieć Petriego do modelowania uogólnionego systemu, wykonać symulację funkcjonowania takiej sieci. Umie modelować działanie systemu współbieżnego oraz rozwiązywać typowe problemy przetwarzania współbieżnego. [MiAS -U_6]
 K_U07 [3/5] K_U08 [3/5]
Potrafi przygotować i przedstawić prezentację projektu oraz wykonać sprawozdania [MiAS -U_7]
 K_U03 [3/5] K_U04 [3/5]
Rozumie znaczenie niezawodności, dyspozycyjności, bezpieczeństwa i zabezpieczenia systemów oraz zna środki zapewniające wiarygodność systemów. Dysponuje wiedzą dotyczącą naruszeń wiarygodności: uszkodzeń, błędów i defektów, zna ich wzajemne relacje. Rozumie potrzebę zapobiegania uszkodzeniom, tolerowania i usuwania uszkodzeń oraz ich prognozowanie. Zna metody i techniki weryfikacji, walidacji i testowania oraz diagnostyki sprzętu i oprogramowania. Umie opisać system cyfrowy w standardowych językach opisu sprzętu VHDL i Verilog, wykonać symulację oraz proces testowania systemu. [MiAS -W_1]
 K_W01 [4/5] K_W04 [1/5] K_W20 [4/5] K_W21 [2/5]
Zna i stosuje metody oraz techniki projektowania, analizy, modelowania, testowania i wdrażania systemów. Rozumie notację UML, OCL, BPMN i BPEL i stosuje ją w projektowaniu systemów informatycznych i biznesowych. Zna zasady tworzenia dokumentacji projektowej systemu informatycznego. Rozumie znaczenie jakości kodu w aspekcie utrzymania oprogramowania, stosuje wzorce projektowe, zna techniki programowania obiektowego, komponentowego i zdarzeniowego oraz podstawy inżynierii oprogramowania. [MiAS -W_2]
 K_W10 [4/5] K_W12 [2/5] K_W13 [2/5] K_W14 [3/5] K_W20 [3/5]
Zna funkcjonalność sieci Petriego i podstawy modelowania systemów za pomocą tych sieci oraz stosuje techniki ich symulacji. Rozumie działanie systemu współbieżnego i równoległego, problemy wielowątkowości i wieloprocesorowości, dostępu do wspólnych zasobów, szeregowania zadań, techniki synchronizacji wątków i zapewnienia integralności danych. Rozumie potrzebę optymalizacji funkcjonowania systemów oraz oddziaływanie systemu na środowisko jego otoczenia. [MiAS -W_3]
 K_W01 [2/5] K_W03 [2/5] K_W07 [3/5] K_W09 [3/5] K_W21 [1/5]
Typ Opis Kody efektów modułowych do których odnosi się sposób weryfikacji
Egzamin [MiAS _w_1]
Weryfikacja wiedzy w formie zadań do rozwiązania.
 MiAS -W_1 MiAS -W_2 MiAS -W_3
Prace sprawdzające [MiAS _w_2]
Systematyczne sprawdziany wiedzy i umiejętności nabytych na zajęciach wykładowych i laboratoryjnych.
 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -W_1 MiAS -W_2 MiAS -W_3
Sprawozdania [MiAS _w_3]
Systematyczne wykonywanie sprawozdań z przebiegu prac laboratoryjnych.
 MiAS -K_8 MiAS -K_9 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -U_7
Projekt [MiAS _w_4]
Wykonanie projektu semestralnego w zakresie przyjętych w module efektów kształcenia.
 MiAS -K_8 MiAS -K_9 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -W_1 MiAS -W_2 MiAS -W_3
Prezentacja [MiAS _w_5]
Przedstawienie prezentacji audiowizualnej na forum grupy studentów, dyskusja założeń i przyjętej metody rozwiązania określonego problemu, analiza i ocena realizacji celu projektu.
MiAS -K_8 MiAS -K_9 MiAS -U_7
Rodzaj prowadzonych zajęć Praca własna studenta Sposoby weryfikacji
Typ Opis (z uwzględnieniem metod dydaktycznych) Liczba godzin Opis Liczba godzin
wykład [MiAS _fs_1]
Treści kształcenia modułu z użyciem środków audiowizualnych.
 15
Samodzielne studiowanie tematyki wykładu i zalecanej literatury
 15 Egzamin [MiAS _w_1]
laboratorium [MiAS _fs_2]
Praktyczna realizacja treści kształcenia modułu polegająca m.in. na nabyciu umiejętności i doświadczenia sprawnego posługiwania się narzędziami do projektowania, modelowania, testowania systemów. Zajęcia odbywają się przy wykorzystaniu stanowisk komputerowych i odpowiedniego oprogramowania.
 30
Samodzielne przygotowanie do zajęć laboratoryjnych oraz cykliczne sprawozdania z przebiegu prac projektowych. Systematyczne wykonywanie sprawozdań z poszczególnych tematów realizowanych w ramach laboratorium Samodzielne lub w grupie kilkuosobowej wykonanie projektu i jego dokumentacji Przygotowanie prezentacji w formie audiowizualnej na temat zrealizowanego projektu i jej przedstawienie na forum grupy studentów
60 Prace sprawdzające [MiAS _w_2] Sprawozdania [MiAS _w_3] Projekt [MiAS _w_4] Prezentacja [MiAS _w_5]
Załączniki
Opis modułu (PDF)
Informacje o sylabusach mogą ulec zmianie w trakcie trwania studiów.
Sylabusy (USOSweb)
Semestr Moduł Język wykładowy
(brak danych)